14824 search results - page 85 / 2965 » Security - Introduction |
101
click to vote
CRYPTO
2012
Springer
13 years 3 months ago
2012
Springer
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...
118
Voted
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Usability is the weakest link in the security chain of many prominent applications. A set of security usability principles should therefore be considered when designing and engine...
109
Voted
ESORICS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
92
Voted
CCS
2003
ACM
15 years 5 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
70
Voted
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Managing security projects is a delicate activity due to the evolution of attacks. In this paper, we develop a new methodology for estimating security effort based on algebraic...