5843 search results - page 364 / 1169 » Software Security in Practice |
176
click to vote
ICDCIT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
215
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper, we formally prove that padding the plaintext with a random bit-string provides the semantic security against chosen plaintext attack (IND-CPA) for the McEliece (and ...
178
click to vote
SUTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Recently proposed usage control concept and models extend traditional access control models with features for contemporary distributed computing systems, including continuous acce...
180
click to vote
TCC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
176
click to vote
EUROCRYPT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We propose a simple and efficient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...