12 search results - page 1 / 3 » Relating Strands and Multiset Rewriting for Security Protoco... |
CSFW
2000
IEEE
13 years 9 months ago
2000
IEEE
ENTCS
2000
13 years 4 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
CSFW
1999
IEEE
13 years 9 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
CSFW
2002
IEEE
13 years 9 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
CSFW
1999
IEEE
13 years 9 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...