%0 Conference Paper %1 conf/esmart/EluardJD01 %A Éluard, Marc %A Jensen, Thomas P. %A Denney, Ewen %B E-smart %D 2001 %E Attali, Isabelle %E Jensen, Thomas P. %I Springer %K %P 95-110 %T An Operational Semantics of the Java Card Firewall. %U http://dblp.uni-trier.de/db/conf/esmart/esmart2001.html#EluardJD01 %V 2140 %@ 3-540-42610-8

@inproceedings{conf/esmart/EluardJD01, added-at = {2023-12-12T21:12:23.000+0100}, author = {Éluard, Marc and Jensen, Thomas P. and Denney, Ewen}, biburl = {https://www.bibsonomy.org/bibtex/2c021aa8f8f68d18e43fd31a9eddb9246/admin}, booktitle = {E-smart}, crossref = {conf/esmart/2001}, editor = {Attali, Isabelle and Jensen, Thomas P.}, ee = {https://doi.org/10.1007/3-540-45418-7_9}, interhash = {3ab0ce684fab6c5880a7c98cd68060b1}, intrahash = {c021aa8f8f68d18e43fd31a9eddb9246}, isbn = {3-540-42610-8}, keywords = {}, pages = {95-110}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:12:23.000+0100}, title = {An Operational Semantics of the Java Card Firewall.}, url = {http://dblp.uni-trier.de/db/conf/esmart/esmart2001.html#EluardJD01}, volume = 2140, year = 2001 }