Research publications (co)authored by Giampaolo Bella.
(Conference papers are
available for download only on demand)
Book
G.Bella
Formal Correctness of
Security
Protocols
Springer Information Security and Cryptography series.
2007, XX, 274 p., 64 illus., Hardcover
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
G.Bella
Inductive
Verification
of Cryptographic Protocols
CUCL Technical Report 493 -
Cambridge University Computer Laboratory press, Sept. 2000.
Accepted for publication as LNCS
monograph by Springer in Jan.
2005 but never published as it was later extended as "Formal
Correcteness of Security Protocols", which was accepted for publication
in Springer's Information Security and Cryptography series in June 2006
(see above).
Journal
Papers
- G.Bella, G.Costantino,
J.Crowcroft, S.Riccobene
Enhancing Shortest-Path-First MANET Routing with Power
Awareness
Submitted for publication.
- G.Bella, R.Giustolisi, S.Riccobene
Enforcing
Privacy in E-Commerce by Balancing Anonimity and Trust
Elsevier Computers and Security, 30(8):705-718, 2011
- W.Arsac, G.Bella, X.Chantry, L.Compagna
Multi-Attacker
Protocol Validation
Springer
Journal of Automated Reasoning, 46(3-4):353-388, 2011.
- G.Bella
The
Principle of Guarantee Availability for Security Protocol Analysis
Springer
International Journal of Information Security, 9(2):83-97, 2010.
- G.Bella, G.Costantino, S.Riccobene
Evaluating the
Device
Reputation through Full Observation in MANETs
Dynamic Publishers Journal of Information Assurance and Security,
4(4):458-465,
2009.
- G.Bella, S.Bistarelli, F.Massacci
Retaliation
Against
Protocol
Attacks
Dynamic Publishers Journal of Information Assurance and Security,
3(4):313-325, 2008.
- G.Bella
What
is
Correctness of
Security Protocols?
Springer Journal of Universal Computer
Science, 14(12):2083-2107, 2008.
- G.Bella, L.C.Paulson
Accountability
Protocols:
Formalized and Verified
ACM
Transactions on Information and System Security, 9(2):138:161, 2006.
- G.Bella, F.Massacci, L.C.Paulson
Verifying
the
SET Purchase Protocols
Springer Journal of Automated Reasoning, 36(1-2):5-37,
2005.
- G.Bella, S.Bistarelli
Information
Assurance
for Security Protocols
Elsevier Computers and Security, 24(4):322-333, 2005.
Conference Papers (published proceedings)
- G.Bella, L.Coles-Kemp
Seeing the Full Picture: the Case for Extending Security Ceremony Analysis
9th Australian Information Security Management Conference, Dec 2011, Perth, Australia. Secau Security Research Centre Press.
- G.Bella, D.Butin, D.Gray
Holistic Analysis of Mix Protocols
IAS 2011, 7th International Symposium on Information Assurance and Security, Dec. 2011, Malacca, Malaysia. IEEE Press. In press.
- G.Bella, L.Coles-Kemp
Internet Users' Security and
Privacy while they Interact with Amazon
IEEE TrustID, International Workshop on Trust and Identity
in Mobile Internet, Computing and Communications, Nov 2011, Changsha,
China. IEEE Press.
- G.Bella
Inductive Analysis when
State Enumeration Explodes
Report of Dagstuhl Seminar 11151, April 2011, Dagstuhl, Germany.
R.Breitling et al.
(editors), Dagstuhl Reports, vol.1 no.4, Schloss
Dagstuhl--Leibniz-Zentrum fuer Informatik Press.
- G.Bella, L.Coles-Kemp, G.Costantino, S.Riccobene
Remote Management of
Face-to-Face
Written Authenticated Though Anonymous Exams
CSEDU
2011,
3nd International Conference on Computer Supported Education, May
2011, Noordwijkerhout, The Netherlands. INSTICC Press.
- G.Bella, P.Ryan, V.Teague
Virtually Perfect Democracy
IWSP 2010, 18th International Workshop on
Security Protocols, March
2010, Cambridge, UK
B.Christianson et al.
(editors), LNCS Series, Springer. In Press.
- G.Bella, G.Costantino, S.Riccobene
WATA: A System for
Written Authenticated Though Anonymous Exams
CSEDU
2010,
2nd International Conference on Computer Supported Education,
April 2010, Valencia, Spain.
J. Cordeiro and B.Shishkov (editors), pages 132-137, INSTICC Press.
- G.Bella, P.Liò
Formal Analysis of
the Genetic Toggle
CMSB
2009,
7th Conference on Computational Methods in Systems Biology, Sept.
2009, Bologna, Italy.
P.Degano and R.Gorrieri (editors), pages 96-110, LNBI 5688, Springer.
- G.Bella, P.Liò
Analysing the
microRNA-17-92/Myc/E2F/RB Compound Toggle Switch by Theorem Proving
NETTAB 2009, 9th Workshop on Network Tools and
Applications in Biology, June 2009, Catania, Italy.
P.Romano et al. (editors), pages 59-62, Liberodiscrivere.
- G.Bella, G.Costantino, S.Riccobene
Enforcing Collaboration in
MANET Routing Protocols
ICWMC
2009,
5th International Conference on Wireless and Mobile
Communications, Aug.
2009, Cannes, France. Pages 128-133, IEEE Press.
- W.Arsac, G.Bella, X.Chantry, L.Compagna
Attacking Each Other
IWSP 2009, 17th International Workshop on
Security Protocols, April
2009, Cambridge, UK
B.Christianson et al.
(editors), LNCS Series, Springer. In Press.
- W.Arsac, G.Bella, X.Chantry, L.Compagna
Validating Security Protocols under the General
Attacker
ARSPA-WITS
2009, Joint Workshop on Automated Reasoning for Security Protocol
Analysis and Issues in the Theory of Security, March 2009, York, UK.
P.Degano and L.Viganò
(editors), pages 34-51 LNCS 5511, Springer.
- G.Bella, G.Costantino, S.Riccobene
Spreading of Reputation values in a
Mobile Network
Workshop
on
Information and Communication Technologies, Sept.
2008, Split, Croatia.
N.Rozic and D.Begusic (editors), IEEE Press. In Press.
- G.Bella, F.Librizzi, S.Riccobene
A Privacy Paradigm that Tradeoffs
Anonymity and Trust
SoftCOM
2008,
International Conference on Software, Telecommunications and
Computer Networks, Sept.
2008, Split, Croatia.
N.Rozic and D.Begusic (editors), pages 384-388, IEEE Press.
- G.Bella, G.Costantino, S.Riccobene
Managing Reputation over MANETs
IAS
2008,
4th International Symposium on Information Assurance and
Security, Sept.
2008, Naples, Italy.
M.Rak et al. (editors), pages 255-260, IEEE Press.
- G.Bella, F.Librizzi, S.Riccobene
Realistic Threats to Self-Enforcing Privacy
IAS
2008,
4th International Symposium on Information Assurance and
Security, Sept.
2008, Naples, Italy.
M.Rak et al. (editors), pages 155-160, IEEE Press.
- S.Foley, G.Bella, S.Bistarelli
Security Protocol
Deployment Risk
IWSP 2008, 16th International Workshop on
Security Protocols, April
2008, Cambridge, UK
B.Christianson et al.
(editors), LNCS Series, Springer. In Press.
- G.Bella, S.Bistarelli,
P.Peretti,
S.Riccobene
Augmented Risk Analysis
VODCA
2006, 2nd International Workshop on Views on Designing Complex
Architectures, Sept. 2006, Bertinoro, Italy.
M. ter Beek and F.Gadducci (editors), pages 207-220, ENTCS 168,
Elsevier-Science.
- G.Bella, C.Pistagna, S.Riccobene
Locating Mobile Nodes within Logical Networks
PSC
2005,
International Conference on Pervasive Systems and Computing, June
2005, Las Vegas, USA.
M. Denko and J.Youn (editors), pages 54-62, CSREA Press.
- G.Bella, S.Bistarelli, S.Foley
Soft Constraints for Security (invited
paper)
VODCA
2004, 1st International Workshop on Views on Designing Complex
Architectures, Sept. 2004, Bertinoro, Italy.
M. ter Beek and F.Gadducci (editors), pages 11-29, ENTCS 142,
Elsevier-Science.
- G.Bella, C.Pistagna, S.Riccobene
Distributed Backup through Information Dispersal
VODCA
2004, 1st International Workshop on Views on Designing Complex
Architectures, Sept. 2004, Bertinoro, Italy.
M. ter Beek and F.Gadducci
(editors), pages 63-77, ENTCS 142, Elsevier-Science.
- S.Battiato, G.Bella, S.Riccobene
Should We Prove Security Policies Correct?
EGCDMAS
2004, 1st International Workshop on Electronic Government, and
Commerce: Design, Modeling, Analysis and Security, Sept. 2004, Setubal,
Portugal, pages 56-65, INSTICC Press.
- G.Bella, S.Bistarelli
Advancing Assurance for Secure Distributed
Communications
IEEE IAW 2004, 5th Annual IEEE Information Assurance Workshop, June
2004, New York, USA
Pages 306-313. IEEE Press.
- G.Bella, C.Longo, L.C.Paulson
Verifying Second-Level Security Protocols
TPHOLs 2003, 16th International Conference on Theorem Proving in Higher
Order Logic, Sept. 2003, Rome, Italy
D.Basin and B.Wolff (editors), pages 352-366, LNCS
2758, Springer.
- G.Bella, S.Bistarelli, F.Martinelli
Biometrics to Enhance Smartcard Security: Simulating MOC
using TOC
IWSP 2003, 11th International Workshop on Security Protocols, April
2003, Cambridge, UK
B.Christianson et al.
(editors), LNCS 3364, pages 324-335, Springer.
- G.Bella, S.Bistarelli, F.Massacci
A Protocol's Life after Attacks
IWSP 2003, 11th International Workshop on Security Protocols, April
2003, Cambridge, UK
B.Christianson et al. (editors) ,
LNCS 3364, pages 3-18, Springer.
- G.Bella, C.Longo, L.C.Paulson
Is The Verification Problem For Cryptographic
Protocols Solved?
IWSP 2003, 11th International Workshop on Security Protocols, April
2003, Cambridge, UK
B.Christianson et al. (editors),
LNCS 3364, pages 183-189, Springer.
- G.Bella
Availability of Protocol Goals
ACM SAC 2003, 18th ACM Symposium on Applied Computing, March 2003,
Melbourne FL, USA
B.Panda (editor), pages 312-317, ACM press.
- G.Bella, F.Massacci, L.C.Paulson
The Verification of an Industrial Payment
Protocol: the SET Purchase Phase
ACM CCS 2002, 10h ACM
Conference on Computer and Communications Security, Nov. 2002,
Washington, USA
V.Atluri (editor), pages 12-20, ACM press.
- G.Bella
Interactive Simulation of Security Policies
ACM SAC 2002, 17th ACM Symposium on Applied Computing, March 2002,
Madrid, Spain
B.Panda (editor), pages 247-252, ACM
press.
- G.Bella, L.C.Paulson
Analyzing Delegation Properties
IWSP 2002, 10th International Workshop on Security Protocols, April
2002, Cambridge, UK
B.Christianson et al. (editors), LNCS 2845, pages
120-127, Springer.
- G.Bella, S.Bistarelli
Confidentiality Levels and Deliberate/Indeliberate
Protocol Attacks
IWSP 2002, 10th International Workshop on Security Protocols, April
2002, Cambridge, UK
B.Christianson et al. (editors), LNCS 2845, pages
104-119, Springer.
- G.Bella, L.C.Paulson
Mechanical Proofs about a Non-Repudiation Protocols
TPHOLs 2001, 14th International Conference on Theorem Proving in Higher
Order Logic, Sept. 2001, Edimbugh, UK
R.J.Boulton and P.B.Jackson (editors), pages 91-104,
LNCS 2152, Springer.
- G.Bella
Mechanising a Protocol for Smart Cards
e-SMART 2001, 1st International Conference on Research in Smart Cards,
Sept. 2001, Cannes,
France
I.Attali and T.Jensen (editors), pages 19-33, LNCS 2140,
Springer.
- G.Bella, L.C.Paulson
A Proof of Non-Repudiation
IWSP 2001, 9th International Workshop on Security Protocols, April
2001, Cambridge, UK
B.Christianson et al. (editors), LNCS 2467,
pages 119-133, Springer.
- G.Bella, S.Bistarelli
Soft Constraints for Security Protocol Analysis:
Confidentiality
PADL 2001, 3rd International Symposium on Practical Aspects of
Declarative Languages, March 2001, Las Vegas, USA
I.V.Ramakrishnan (editor), pages 108-122,
LNCS 1990, Springer.
- G.Bella, F.Massacci, L.C.Paulson,
P.Tramontano
Formal Verification of Cardholder Registration in
SET
ESORICS 2000, 6th European Symposium on Research in Computer Security,
Oct. 2000, Toulouse, France
F.Cuppens et al. (editors), pages 159-174,
LNCS 1895, Springer.
- G.Bella
Lack of Explicitness Strikes Back
IWSP 2000, 8th International Workshop on Security Protocols, April
2000, Cambridge, UK
B.Christianson et al. (editors), LNCS 2133, pages 87-99,
Springer.
- G.Bella, F.Massacci, L.C.Paulson,
P.Tramontano
Making Sense of Specifications: the Formalization
of SET
IWSP 2000, 8th International Workshop on Security
Protocols, April 2000, Cambridge, UK
B.Christianson et al. (editors), LNCS 2133, pages 74-86,
Springer.
- G.Bella
Modelling Security Protocols based on Smart Cards
CrypTEC 1999, International Workshop on Cryptographic Techniques and
E-Commerce, July 1999, Hong Kong, China
M.Blum and C.H.Lee (editors), pages 139-146, Hong Kong CityU press.
- G.Bella
Modelling Agents' Knowledge Inductively
IWSP 1999, 7th International Workshop on Security Protocols, April
1999, Cambridge, UK
B.Christianson et al. (editors), LNCS 1796, pages 85-94, Springer.
- G.Bella, L.C.Paulson
Kerberos Version IV: Inductive Analysis of the
Secrecy Goals
ESORICS 1998, 5th European Symposium on Research in Computer Security,
Sept. 1998, Louvain la Neuve, Belgium
J.J.Quisquater et al. (editors), LNCS 1485, pages
361-375, Springer.
- G.Bella, L.C.Paulson
Mechanising BAN Kerberos by the Inductive Method
CAV 1998, 10th Conference on Computer Aided Verification, June 1998,
Vancouver, Canada
A.J.Hu and M.Y.Vardi (editors), LNCS 1427, pages 416-427, Springer.
- G.Bella, L.C.Paulson
Using Isabelle to Prove Properties of the Kerberos
Authentication System
DIMACS 1997, Workshop on Design and Formal Verification of Security
Protocols, Sept. 1997, New York, USA
H.Orman and C.Meadows (editors), on CD-ROM.
- G.Bella, E.Riccobene
The Validation of a Bidirectional Serial/Parallel
Shift Register by Evolving Algebras
AICA 1997, Congresso Annuale dell'Associazione Italiana per il Calcolo
Automatico, Sept. 1997, Milan, Italy
- G.Bella, E.Riccobene
Le Algebre Evolventi per la Validazione di Hardware
AICA 1996, Congresso Annuale dell'Associazione Italiana per il Calcolo
Automatico, Sept. 1996, Rome, Italy
Conference Papers (informal proceedings)
- G.Bella, S.Bistarelli
SCSPs for Modelling Attacks to Security Protocols
Workshop on Soft Constraints: Theory and Practice, F.Rossi (editor),
satellite event of
CP 2000, International Conference on Contraint Programming, Sept. 2000,
Singapore
- G.Bella, E.Riccobene
A Realistic Environment for Crypto-Protocol
Analyses by ASMs
5th International Workshop on Abstract State Machines, U.Glasser
(editor), satellite event of
INFORMATIK 2000, Sept. 1998, Magdeburg, Germany
Technical Reports
- G.Bella
Message Reception in the Inductive Approach
CUCL Technical Report 460 - Cambridge University Computer Laboratory
press, March 1999
- G.Bella, L.C.Paulson
Are Timestamps worth the Effort? A Formal Treatment
CUCL Technical Report 437 - Cambridge University Computer Laboratory
press, Sept. 1998
Giampaolo
Bella / giamp@dmi.unict.it