Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code-Reference-Cited by-同舟云学术

Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code

Published: Issue: Volume: Page:165-180
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Grandy Holger,Bischof Markus,Stenzel Kurt,Schellhorn Gerhard,Reif Wolfgang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68237-0_13.pdf

Reference38 articles.

1. Lecture Notes in Computer Science;M. Balser,1999

2. Banach, R., Jeske, C., Poppleton, M., Stepney, S.: Retrenching the purse: The balance enquiry quandary, and generalised and (1,1) forward refinements. Fundamenta Informaticae 77 (2006)

3. Lecture Notes in Artificial Intelligence,2007

4. Bicarregui, J., Hoare, C.A.R., Woodcock, J.C.P.: The verified software repository: a step towards the verifying compiler. Formal Aspects Computing 18(2), 143–151 (2006)

5. Börger, E.: The ASM Refinement Method. Formal Aspects of Computing 15(1–2), 237–257 (2003)

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

1. Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System;Logic, Computation and Rigorous Methods;2021

2. Execution of UML models: a systematic review of research and practice;Software & Systems Modeling;2018-04-10

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

4. KIV: overview and VerifyThis competition;International Journal on Software Tools for Technology Transfer;2014-04-16

5. Formal verification of security protocol implementations: a survey;Formal Aspects of Computing;2014-01