Research publications (co)authored by Giampaolo Bella.



Book


gbellabook

G.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
http://www.springer.com/it/book/9783540681342
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
http://www.iospress.nl/flyers_b/fl9781586036782.pdf






Ph.D. Thesis





Journal Papers


Conference Papers (published proceedings)


Conference Papers (informal proceedings)


Technical Reports


Giampaolo Bella / giamp@dmi.unict.it