Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees-Reference-Cited by-同舟云学术

Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees

Published:2007 Issue: Volume: Page:238-251
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Basagiannis Stylianos,Katsaros Panagiotis,Pombortsis Andrew

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-75101-4_22.pdf

Reference27 articles.

1. Dolev, D., Yao, A.: On the security of public-key protocols. IEEE Transactions on Information Theory 2/29, 198–208 (1983)

2. Woo, T.Y.C., Lam, S.S.: A semantic model for authentication protocols. In: Proc. of the IEEE Symposium on Research in Security and Privacy, IEEE Computer Society Press, Los Alamitos (1993)

3. Lecture Notes in Computer Science;C.A. Meadows,1995

4. Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Transaction on Computer Systems 8/1, 18–36 (1990)

5. Lecture Notes in Computer Science;P. Syverson,2001

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

1. Formal analysis and offline monitoring of electronic exams;Formal Methods in System Design;2017-06-01

2. Formal analysis for robust anti-SPIT protection using model checking;International Journal of Information Security;2012-02-12

3. Web Services Security Assessment: An Authentication-Focused Approach;IFIP Advances in Information and Communication Technology;2012

4. A Formally Verified Mechanism for Countering SPIT;Critical Information Infrastructures Security;2011

5. A New Method for Formalizing Optimistic Fair Exchange Protocols;Information and Communications Security;2010