27 search results - page 2 / 6 » On the Relationships Between Notions of Simulation-Based Sec... |
CSFW
1999
IEEE
13 years 9 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...
IMA
2007
Springer
13 years 11 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
12 years 11 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...
CORR
2000
Springer
13 years 4 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...
CSL
2010
Springer
13 years 6 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...