12 search results - page 3 / 3 » Relating Strands and Multiset Rewriting for Security Protoco... |
ATVA
2006
Springer
13 years 9 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...