9821 search results - page 150 / 1965 » A Framework for the Development of Protocols |
135
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
132
click to vote
BROADNETS
2006
IEEE
15 years 10 months ago
2006
IEEE
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
130
click to vote
TGC
2005
Springer
15 years 10 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
129
Voted
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
154
click to vote
ADVIS
2000
Springer
15 years 9 months ago
2000
Springer
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...