47 search results - page 6 / 10 » A framework for compositional verification of security proto... |
124
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition allows for sequential composition of protocols. Damg...
125
click to vote
TCC
2005
Springer
15 years 8 months ago
2005
Springer
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...
135
click to vote
ESORICS
2002
Springer
16 years 2 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
ASIACRYPT
2007
Springer
15 years 9 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...
140
click to vote
TRIDENTCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...