469 search results - page 1 / 94 » On Adversary Models and Compositional Security |
172
Voted
IEEESP
2011
14 years 5 months ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
120
click to vote
ENTCS
2010
15 years 2 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
121
click to vote
CRYPTO
2005
Springer
15 years 7 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
ASIACRYPT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
130
click to vote
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...