5488 search results - page 194 / 1098 » On the Secure Implementation of Security Protocols |
181
click to vote
FROCOS
2007
Springer
16 years 21 days 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...
162
click to vote
LPAR
2007
Springer
16 years 20 days 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...
187
click to vote
LPAR
2007
Springer
16 years 20 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
