2162 search results - page 212 / 433 » A Meta-Notation for Protocol Analysis |
203
Voted
MASS
2010
15 years 4 months ago
2010
The advancements of diverse radio technologies and emerging applications have spawned increasing heterogeneity in mobile ad hoc networks (MANETs). But the collaborative nature of c...
153
Voted
IFIP
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. This paper extends existing models for collaborative systems. We investigate how much damage can be done by insiders alone, without collusion with an outside adversary. I...
173
click to vote
MST
2010
15 years 27 days ago
2010
We consider the important problem of energy balanced data propagation in wireless sensor networks and we extend and generalize previous works by allowing adaptive energy assignment...
158
click to vote
SODA
2012
ACM
13 years 8 months ago
2012
ACM
The following distributed coalescence protocol was introduced by Dahlia Malkhi in 2006 motivated by applications in social networking. Initially there are n agents wishing to coal...
161
click to vote
TCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...