Journals and books (co)edited by Giampaolo Bella
G.Bella
Formal Correctness of Security
Protocols
Springer-Verlag's 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.
IOS Journal of Computer Security, number in press.
Special issue featuring extended versions of best
papers from the Security Track @ ACM SAC 2006.
Giampaolo Bella and Peter Ryan editors
IOS Journal of Computer Security, Vol.13, No.5, 2005.
Special issue featuring extended versions of best
papers from the Security Track @ ACM SAC 2004.
Giampaolo Bella and Peter Ryan editors
Proceedings of the First International Workshop on
Applications of
Constraint Satisfaction and Programming to Computer Security
Problems (CPSec 05) - held in conjunction with the Eleventh
International Conference on Principles and Practice of Constraint
Programming (CP 05)
WILEY Concurrency and Computation: Practice & Esperience
Special issue on Computer Security, Vol.16, No.11, Sept. 2004,
Best papers from Security Track @ SAC 2003.
Giampaolo Bella and Ronaldo Menezes editors
Proceedings of the ACM Symposyum on Applied Computing (SAC)
2007: Giampaolo Bella and Peter Y. Ryan coeditors -
Security Track Chairs
2006:
Giampaolo Bella and Peter Y. Ryan coeditors -
Security Track Chairs
2005:
Giampaolo Bella and Peter Y. Ryan coeditors -
Security Track Chairs
2004:
Giampaolo Bella and Peter Y. Ryan coeditors -
Security Track Chairs
2003:
Giampaolo Bella and Ronaldo Menezes coeditors -
Security Track Chairs
2002:
Giampaolo Bella and Ronaldo Menezes and James Whittaker coeditors -
Security Track Chairs
Giampaolo
Bella / giamp@dmi.unict.it