2 search results - page 1 / 1 » Efficient Decision Procedures for Message Deducibility and S... |
133
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
123
click to vote
RTA
2009
Springer
15 years 9 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...