Go home now Header Background Image
Submission Procedure
share: |
Follow us

Giampaolo Bella
Computer Laboratory, University of Cambridge, UK

G. Bella, E. Riccobene:
Formal Analysis of the Kerberos Authentication System
page 1337 - 1381
Vol.3 / Issue 12
G. Bella:
What is Correctness of Security Protocols?
page 2083 - 2107
Vol.14 / Issue 12