×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [kab2a b]
Home >
kab2a b
A Logic of Belief and a Model Checking Algorithm for Security Protocols joint work with Massimo Benerecetti Fausto Giunchiglia University of Trento
[email protected]
.
214 views