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

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.

Comments or reviews  

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


Cite this publication