329 search results - page 24 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
105
click to vote
AINA
2006
IEEE
15 years 3 months ago
2006
IEEE
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...
106
click to vote
ENTCS
2010
14 years 11 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
107
click to vote
MICRO
2005
IEEE
15 years 5 months ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
PERCOM
2007
ACM
15 years 11 months ago
2007
ACM
In this work, we consider privacy in Radio Frequency IDentification (RFID) systems. Our contribution is threefold: (1) We propose a simple, formal definition of strong privacy usef...
WSS
2001
15 years 1 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...