1059 search results - page 86 / 212 » Modeling Security Protocols as Games |
94
Voted
ACNS
2004
Springer
15 years 5 months ago
2004
Springer
Cryptographic protocol design in a two-party setting has often ignored the possibility of simultaneous message transmission by each of the two parties (i.e., using a duplex channe...
88
Voted
ACNS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We examine the problem of message recognition by reviewing the definitions and the security model in the literature. In particular, we examine the Jane Doe protocol, whi...
121
click to vote
ACMICEC
2003
ACM
15 years 5 months ago
2003
ACM
A multi-agent marketplace, MAGNET (Multi AGent Negotiation Testbed), is a promising solution to conduct online combinatorial auctions. The trust model of MAGNET is somewhat diffe...
117
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
106
click to vote
AAI
2004
15 years 10 days ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...