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

BibTeX key:
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 and Reviews  

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


Cite this publication