2 search results - page 1 / 1 » Efficient Decision Procedures for Message Deducibility and S... |
170
click to vote
IFIP
2010
Springer
15 years 17 days 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...
157
Voted
RTA
2009
Springer
16 years 8 days 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...