Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

A Program Logic for Handling JAVA CARD's Transaction Mechanism

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert and Wojciech Mostowski
In:6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), held as part of ETAPS 2003: the Joint European Conferences on Theory and Practice of Software
Publisher:Springer
Series:LNCS
Volume:2621
Year:2003
Pages:246-260

BibTeX

@InProceedings{BeckertMostowski03,
  author =       {Bernhard Beckert and Wojciech Mostowski},
  title  =       {A Program Logic for Handling {JAVA CARD}'s Transaction 
                  Mechanism},
  booktitle =    {6th International Conference on Fundamental Approaches
                  to Software Engineering ({FASE} 2003), held as part of
                  {ETAPS} 2003: the Joint European Conferences on Theory
                  and Practice of Software},
  editor        = {Mauro Pezz{\`{e}}},
  venue =        {Warsaw, Poland},
  pages =        {246--260},
  year =         {2003},
  eventdate =    {2003-04-07/2003-04-11},
  month =        apr,
  series =       {LNCS},
  volume =       {2621},
  publisher =    {Springer}
}