A Program Logic for Handling Java Card’s Transaction Mechanism-Reference-Cited by-同舟云学术

A Program Logic for Handling Java Card’s Transaction Mechanism

Published:2003 Issue: Volume: Page:246-260
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Beckert Bernhard,Mostowski Wojciech

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36578-8_18

Reference15 articles.

1. Lect Notes Comput Sci;W. Ahrendt,2002

2. Lect Notes Comput Sci;B. Beckert,2001

3. B. Beckert and B. Sasse. Handling JAVA’s abrupt termination in a sequent calculus for Dynamic Logic. In B. Beckert, R. France, R. Hähnle, and B. Jacobs, editors, Proceedings, IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development, Siena, Italy, pages 5–14. TR DII 07/01, Dipartimento di Ingegneria dell’Informazione, Università degli Studi di Siena, 2001.

4. Lect Notes Comput Sci;B. Beckert,2001

5. Lect Notes Comput Sci;J. C. Bradfield,2002

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

1. Combining State- and Event-Based Semantics to Verify Highly Available Programs;Formal Aspects of Component Software;2020

2. A Dynamic Logic with Traces and Coinduction;Lecture Notes in Computer Science;2015

3. A Case Study in Formal Verification Using Multiple Explicit Heaps;Formal Techniques for Distributed Systems;2013

4. Static Program Analysis of Multi-Applet JavaCard Applications;Software Engineering for Secure Systems;2011

5. Static Program Analysis for Java Card Applets;Smart Card Research and Advanced Applications;2008