A User Centric Security Model for Tamper-Resistant Devices

BIBLIOGRAPHY
[23] GlobalPlatform Device Technology: TEE System Architecture, GlobalPlatform,
Specication Version 0.4, October 2011.
[24] ISO/IEC 7816-5, "Information Technology - Identication cards - Integrated Circuit(s)
cards with contacts - Part 5: Numbering systems and registration procedure for
application identiers, International Organization for Standardization, International
Organization for Standardization (ISO) Std., 2004. Online Available: http://www.
iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=34259
[25] ISO/IEC 14443-1: Identication Cards - Contactless Integrated Circuit(s) Cards
- Proximity Cards, Part1: Physical Characteristics, Part 2: Radio Frequency
Power and Signal Interface, Part3: Initialization and Anticollision, Part 4:
Transmission Protocol, International Organization for Standardization (ISO) Std.,
Rev. 2nd Edition, June 2008. Online Available: http://www.iso.org/iso/iso_
catalogue/catalogue_tc/catalogue_detail.htm?csnumber=28728
[26] ETSI. Digital Cellular Telecommunications System, European Telecommunications
Standards Institution (ETSI) Std. Online Available: http://www.etsi.org/website/
Technologies/gsm.aspx
[27] ITSO Technical Specication 1000: Interoperable Public Transport Ticketing Using
Contactless Smart Customer Media, Online, Integrated Transport Smartcard
Organisation Std., Rev. V2.1.4, February 2010. Online Available: http:
//www.itso.org.uk/page49/ITSO%20Specication
[28] Java Card Platform Specication; Application Programming Interface, Runtime
Environment Specication, Virtual Machine Specication, Sun Microsystem Inc Std.
Version 2.2.2, March 2006. Online Available: http://java.sun.com/javacard/specs.
html
[29] Multos: The Multos Specication,, Online, Std. Online Available: http:
//www.multos.com/
[30] GlobalPlatform: GlobalPlatform Card Specication, Version 2.2,, GlobalPlatform
Std., March 2006. Online Available: http://www.globalplatform.org/
specicationscard.asp
[31] R. N. Akram, K. Markantonakis, and K. Mayes, User Centric Security Model for
Tamper-Resistant Devices, in the 8th IEEE International Conference on e-Business
Engineering (ICEBE 2011), J. Li and J.-Y. Chung, Eds. Beijing, China: IEEE
Computer Science, October 2011.
[32] R. N. Akram, K. Markantonakis, and K. Mayes, A Paradigm Shift in Smart Card
Ownership Model, in Proceedings of the 2010 International Conference on Computational
Science and Its Applications (ICCSA 2010), B. O. Apduhan, O. Gervasi,
A. Iglesias, D. Taniar, and M. Gavrilova, Eds. Fukuoka, Japan: IEEE Computer
Society, March 2010, pp. 191200.
[33] A. M. Brandenburger and B. J. Nalebu, Co-Opetition : A Revolution Mindset
That Combines Competition and Cooperation : The Game Theory Strategy That's
Changing the Game of Business, 1st ed. Doubleday Business, Dec. 1997. Online
452