Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by F. Giunchiglia
A Logic of Belief and a Model Checking Algorithm for Security Protocols
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
