175 search results - page 16 / 35 » The formal verification of a reintegration protocol |
115
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Safety critical applications for recently proposed vehicle to vehicle ad-hoc networks (VANETs) rely on a beacon signal, which poses a threat to privacy since it could allow a vehic...
236
click to vote
AMCS
2011
14 years 8 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
102
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
135
click to vote
ICFEM
2010
Springer
15 years 4 hour ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
113
click to vote
WWW
2002
ACM
16 years 2 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...