Verifying Smart Card Applications: An ASM Approach-Reference-Cited by-同舟云学术

Verifying Smart Card Applications: An ASM Approach

Published: Issue: Volume: Page:313-332
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Haneberg Dominik,Grandy Holger,Reif Wolfgang,Schellhorn Gerhard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73210-5_17.pdf

Reference39 articles.

1. Accorsi, R., Basin, D., Viganò, L.: Towards an awareness-based semantics for security protocol analysis. In: Goubault-Larrecq, J. (ed.) Workshop on Logical Aspects of Cryptographic Protocol Verification, Elsevier, Amsterdam (2001)

2. Lecture Notes in Computer Science;R.J. Anderson,1995

3. Burrows, M., Abadi, M., Needham, R.M.: A Logic of Authentication. Technical report, SRC Research Report 39 (1989)

4. Lecture Notes in Computer Science;G. Bella,2001

5. Lecture Notes in Computer Science;D. Basin,2003

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

1. Why Programming Must Be Supported by Modeling and How;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018

2. Verification of Money Atomicity in Digital Cash Based Payment System;Information Systems Security;2012

3. Formal Verification of Application-Specific Security Properties in a Model-Driven Approach;Lecture Notes in Computer Science;2010

4. A Systematic Verification Approach for Mondex Electronic Purses Using ASMs;Rigorous Methods for Software Construction and Analysis;2009

5. Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code;Lecture Notes in Computer Science