401 search results - page 21 / 81 » Formal Analysis of Meeting Protocols |
100
Voted
FC
2005
Springer
15 years 5 months ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
76
Voted
ACSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
BROADNETS
2006
IEEE
15 years 5 months ago
2006
IEEE
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...