610 search results - page 8 / 122 » Information-theoretically secure protocols and security unde... |
91
Voted
SP
2002
IEEE
14 years 9 months ago
2002
IEEE
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
IANDC
2008
14 years 9 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
TCC
2005
Springer
15 years 2 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...
82
Voted
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...