Marc Éluard Thomas P. Jensen Ewen Denney An Operational Semantics of the Java Card Firewall. 95-110 2001 conf/esmart/2001 E-smart http://link.springer.de/link/service/series/0558/bibs/2140/21400095.htm db/conf/esmart/esmart2001.html#EluardJD01