Giampaolo Bella

Formal Correctness of Security Protocols (Information Security and Cryptography)

Innovative Security Solutions for Information Technology and Communications

Formal Correctness of Security Protocols

Formal Correctness of Security Protocols (Information Security and Cryptography)