8644 search results - page 384 / 1729 » On the Composition of Secure Systems |
240
click to vote
ECOOPW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
212
click to vote
SEDE
2010
15 years 5 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
187
click to vote
EUROCRYPT
2006
Springer
15 years 11 months ago
2006
Springer
We introduce a practical synchronous stream cipher with provable security named QUAD. The cipher relies on the iteration of a multivariate quadratic system of m equations in n <...
193
click to vote
ICONS
2009
IEEE
16 years 2 months ago
2009
IEEE
—As e-Business and e-Commerce applications are increasingly exposed to a variety of information security threats, corporate decision makers are increasingly forced to pay attenti...
204
Voted
IEEEIAS
2008
IEEE
16 years 2 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...