82 search results - page 1 / 17 » Deciding knowledge properties of security protocols |
TARK
2005
Springer
14 years 4 months ago
2005
Springer
LPAR
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
FROCOS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
AUSAI
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
CORR
2007
Springer
13 years 10 months ago
2007
Springer