2162 search results - page 49 / 433 » A Meta-Notation for Protocol Analysis |
SP
2008
IEEE
14 years 3 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
STACS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
ICC
1997
IEEE
14 years 28 days ago
1997
IEEE
Abstract—Collision avoidance and resolution multiple access (CARMA) protocols establish a three-way handshake between sender and receiver to attempt to avoid collisions, and reso...
APWEB
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. In this paper we consider a distributed and efficient information dissemination and retrieval system for wireless sensor networks. In such a system each sensor node opera...
ICMAS
1998
13 years 10 months ago
1998
abstract, form of this problem, we use a mathematical analysis to show that three different messaging protocols result in varying message loads, depending on certain parameters suc...