27 search results - page 2 / 6 » On the Relationships Between Notions of Simulation-Based Sec... |
81
Voted
CSFW
1999
IEEE
15 years 2 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
75
Voted
IMA
2007
Springer
15 years 4 months ago
2007
Springer
Key establishment between two parties that uses only one message transmission is referred to as one-pass key establishment (OPKE). OPKE provides the opportunity for very efficient ...
TCS
2010
14 years 5 months ago
2010
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
100
Voted
CORR
2000
Springer
14 years 10 months ago
2000
Springer
We take a critical look at the relationship between the security of cryptographic schemes in the Random Oracle Model, and the security of the schemes that result from implementing...
83
Voted
CSL
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...