A User Centric Security Model for Tamper-Resistant Devices

BIBLIOGRAPHY
pp. 1414.
[186] R. N. Akram, K. Markantonakis, and K. Mayes, Firewall Mechanism in a User
Centric Smart Card Ownership Model, in Smart Card Research and Advanced Application,
9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, D. Gollmann,
J.-L. Lanet, and J. Iguchi-Cartigny, Eds., vol. 6035/2010. Passau, Germany:
Springer, April 2010, pp. 118132.
[187] M. Éluard, T. P. Jensen, and E. Denney, An Operational Semantics of the Java
Card Firewall, in E-SMART '01: Proceedings of the International Conference on
Research in Smart Cards. London, UK: Springer-Verlag, 2001, pp. 95110.
[188] C. Bernardeschi and L. Martini, Enforcement of Applet Boundaries in Java Card
Systems, in IASTED Conf. on Software Engineering and Applications, 2004, pp.
96101.
[189] M. Huisman, D. Gurov, C. Sprenger, and G. Chugunov, Checking Absence of Illicit
Applet Interactions: A Case Study, in Fundamental Approaches to Software Engineering,
FASE 2004, ser. Lecture Notes in Computer Science, no. 2984. Springer,
2004.
[190] W. Mostowski and E. Poll, Malicious Code on Java Card Smartcards: Attacks
and Countermeasures, in CARDIS '08: Proceedings of the 8th IFIP WG 8.8/11.2
international conference on Smart Card Research and Advanced Applications. Berlin,
Heidelberg: Springer-Verlag, 2008, pp. 116.
[191] M. Éluard and T. Jensen, Secure Object Flow Analysis for Java Card, in
CARDIS'02: Proceedings of the 5th conference on Smart Card Research and Advanced
Application Conference. Berkeley, CA, USA: USENIX Association, 2002,
pp. 1111.
[192] P. Bieber, J. Cazin, A. E. Marouani, P. Girard, J. L. Lanet, V. Wiels, and G. Zanon,
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow, in JavaCard
'00: Revised Papers from the First International Workshop on Java on Smart Cards:
Programming and Security. London, UK: Springer-Verlag, 2001, pp. 2537.
[193] National Strategy for Trusted Identities in Cyberspace, Department of
Homeland Security, USA, Draft Proposal, June 2010. Online Available:
http://www.dhs.gov/xlibrary/assets/ns_tic.pdf
[194] G. Barbu, H. Thiebeauld, and V. Guerin, Attacks on Java Card 3.0 Combining Fault
and Logical Attacks, in Smart Card Research and Advanced Application, 9th IFIP
WG 8.8/11.2 International Conference, CARDIS 2010, ser. LNCS, D. Gollmann,
J.-L. Lanet, and J. Iguchi-Cartigny, Eds., vol. 6035/2010, 2010, pp. 148163.
[195] J.-L. Lanet and J. Iguchi-Cartigny, Developing a Trojan applet in a Smart Card ,
Journal in Computer Virology, vol. 6, no. 1, 2009.
[196] R. Anderson and M. Kuhn, Low Cost Attacks on Tamper Resistant Devices, in Security
Protocols, B. Christianson, B. Crispo, M. Lomas, and M. Roe, Eds. Springer,
1998, vol. 1361, pp. 125136.
[197] P. C. Kocher, J. Jae, and B. Jun, Dierential Power Analysis, in CRYPTO '99:
465