401 search results - page 31 / 81 » Formal Analysis of Meeting Protocols |
CSFW
1997
IEEE
14 years 3 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
SASN
2003
ACM
14 years 4 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
INFOCOM
2003
IEEE
14 years 4 months ago
2003
IEEE
Abstract— Traditionally, reliable multicast protocols are deterministic in nature. It is precisely this determinism that tends to become their limiting factor when aiming at reli...
ASIACRYPT
2009
Springer
14 years 5 months ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...
DAGSTUHL
2003
14 years 5 days ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...