Giampaolo Bella

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Multi-attacker protocol validation Journal of Automated Reasoning	2011-06-03	Paper
Validating Security Protocols under the General Attacker Foundations and Applications of Security Analysis	2009-10-22	Paper
Formal correctness of security protocols. Information Security and Cryptography	2007-03-09	Paper
Verifying the SET purchase protocols Journal of Automated Reasoning	2007-01-30	Paper
Soft constraint programming to analysing security protocols Theory and Practice of Logic Programming	2005-04-15	Paper
scientific article; zbMATH DE number 1947524 (Why is no real title available?)	2003-07-09	Paper
scientific article; zbMATH DE number 1863379 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1849111 (Why is no real title available?)	2003-01-06	Paper
scientific article; zbMATH DE number 1848375 (Why is no real title available?)	2003-01-05	Paper
scientific article; zbMATH DE number 1844576 (Why is no real title available?)	2002-12-12	Paper
scientific article; zbMATH DE number 1844578 (Why is no real title available?)	2002-12-12	Paper
scientific article; zbMATH DE number 1543079 (Why is no real title available?)	2001-02-26	Paper

Research outcomes over time

This page was built for person: Giampaolo Bella