554 search results - page 44 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
110
Voted
ICDCSW
2000
IEEE
15 years 8 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
127
click to vote
ACSAC
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper concentrates on one particular aspect of providing communication security: rewalls between domains of trust. We argue that signaling support for providing scalable secu...
134
Voted
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
The architecture of two-tiered sensor networks, where storage nodes serve as an intermediate tier between sensors and a sink for storing data and processing queries, has been widel...
147
Voted
NOSSDAV
2009
Springer
15 years 10 months ago
2009
Springer
Peer-to-peer distributed virtual environments (DVE's) distribute state tracking and state transitions. Many DVE's - such as online games - require ways to fairly determi...
154
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...