3115 search results - page 53 / 623 » Synthesizing Secure Protocols |
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
IEEEARES
2008
IEEE
14 years 3 months ago
2008
IEEE
IEEEARES
2007
IEEE
14 years 3 months ago
2007
IEEE
SP
1996
IEEE
14 years 1 months ago
1996
IEEE
: This paper examines the Zhou-Gollmann fair non-repudiation protocol as well as its modified version of Kim et al. We describe how these protocols are vulnerable to an attack by a...
CRYPTO
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...