1059 search results - page 38 / 212 » Modeling Security Protocols as Games |
149
Voted
CRYPTO
2012
Springer
13 years 6 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...
139
Voted
JSW
2008
15 years 3 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
154
Voted
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...
153
click to vote
INDOCRYPT
2003
Springer
15 years 8 months ago
2003
Springer
A solution for obtaining impartial random values in on-line gambling is presented in this paper. Unlike most previous proposals, our method does not require any TTP and allows e-ga...
148
Voted
ESORICS
1994
Springer
15 years 7 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...