BibSonomy :: publication :: An Operational Semantics of the Java Card Firewall.
URLDOITeX

An Operational Semantics of the Java Card Firewall.

Marc Éluard, Thomas P. Jensen, and Ewen Denney. E-smart, volume 2140 of Lecture Notes in Computer Science, page 95-110. Springer, (2001)

Links and resources

URL:http://dblp.uni-trier.de/db/conf/esmart/esmart2001.html#EluardJD01
BibTeX key:conf/esmart/EluardJD01
internal link:
?
You can use this internal link to create references to this post in your discussions. Just copy this internal link and paste it in your discussion text.
search on:

Comments or reviews  
(0)

There is no review or comment yet. You can write one!

Tags

  • Last update 2 years and 10 months ago
  • Created 2 years and 10 months ago

Cite this publication

An Operational Semantics of the Java Card Firewall.

Marc Éluard, Thomas P. Jensen, and Ewen Denney. E-smart, volume 2140 of Lecture Notes in Computer Science, page 95-110. Springer, (2001)