1256 search results - page 39 / 252 » A Simple E-Voting Protocol |
148
Voted
ACOM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
113
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
95
Voted
EUROCRYPT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
108
click to vote
IJCAI
2003
15 years 2 months ago
2003
An agent communication protocol specifies the “rules of encounter” governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negoti...
85
Voted
CORR
2006
Springer
15 years 25 days ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...