Giampaolo Bella

Giampaolo Bella

Università degli Studi di Catania - Catania / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1805192
University of Catania
person_outline Giampaolo Bella's MOST POPULAR ARTICLES
1-) Kerberos version IV: Inductive analysis of the secrecy goalsG Bella, LC PaulsonEuropean Symposium on Research in Computer Security, 361-375, 19981921998
2-) Verifying the SET registration protocolsG Bella, F Massacci, LC PaulsonIEEE Journal on Selected Areas in Communications 21 (1), 77-87, 20031002003
3-) Formal Analysis of the Kerberos Authentication System.G Bella, E RiccobeneJ. Univers. Comput. Sci. 3 (12), 1337-1381, 1997931997
4-) The verification of an industrial payment protocol: The SET purchase phaseG Bella, LC Paulson, F MassacciProceedings of the 9th ACM Conference on Computer and Communications …, 2002952002
5-) Formal Correctness of Security ProtocolsG Bella882007