Formal Verification of Cardholder Registration in SET-Reference-Cited by-同舟云学术

Formal Verification of Cardholder Registration in SET

Published:2000 Issue: Volume: Page:159-174
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bella Giampaolo,Massacci Fabio,Paulson Lawrence C.,Tramontano Piero

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10722599_10

Reference22 articles.

1. Bella, G.: Message reception in the inductive approach. Research Report 460, University of Cambridge – Computer Laboratory (1999)

2. Lecture Notes in Computer Science;G. Bella,2000

3. Lecture Notes in Computer Science;G. Bella,1998

4. Brackin, S.: Automatic formal analyses of two large commercial protocols. In: Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols (September 1997), Available on the web at http://www.arca.com/proj_papers/brackin/dimacs.pdf

5. Brackin, S.: Automatically detecting authentication limitations in commercial security protocols. In: Proceedings of the 22nd National Conference on Information Systems Security (October 1999), Available on the web at http://www.arca.com/proj_papers/brackin/Nissc99.pdf

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SoK: Directions and Issues in Formal Verification of Payment Protocols;Lecture Notes on Data Engineering and Communications Technologies;2024

2. Formal Verification of Challenge Flow in EMV 3-D Secure;Lecture Notes in Computer Science;2024

3. Towards Verifying Voter Privacy through Unlinkability;Lecture Notes in Computer Science;2013

4. An e-payment Architecture Ensuring a High Level of Privacy Protection;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2013

5. Historical Background and Further Reading;Operational Semantics and Verification of Security Protocols;2012