IEEE - Institute of Electrical and Electronics Engineers, Inc. - Towards the formal verification of electronic commerce protocols

Proceedings 10th Computer Security Foundations Workshop

Author(s): Bolignano, D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1997
Conference Location: Rockport, MA, USA, USA
Conference Date: 10 June 1997
Page(s): 133 - 146
ISBN (Paper): 0-8186-7990-5
ISSN (Paper): 1063-6900
DOI: 10.1109/CSFW.1997.596802
Regular:

Generalizes the approach defined by the author in Proc. 3rd ACM Conf. on Comput. & Commun. Security (1996) so as to be able to formally verify electronic payment protocols. The original approach... View More

Advertisement