Research publications (co)authored by Giampaolo Bella.



Formal Correctness of Security Protocols
Springer Information Security and Cryptography series.
2007, XX, 274 p., 64 illus., Hardcover
ISBN: 978-3-540-68134-2
Based on Bella's Ph.D. thesis mentioned below, it entirely rewrites it and extends it with four new chapters.

Book Chapter

G.Bella, S.Bistarelli, F.Massacci
Retaliation: Can We Live with Flaws?
Chapter 1 in IOS "Information Assurance and Computer Security", Volume 6 of NATO Security through Science Series.
Editors: J.P. Thomas and M. Essaaidi
November 2006, 216 pp., Hardcover
ISBN: 1-58603-678-5

Ph.D. Thesis

Journal Papers

Conference Papers (published proceedings)

Conference Papers (informal proceedings)

Technical Reports

Giampaolo Bella /