A User Centric Security Model for Tamper-Resistant Devices

BIBLIOGRAPHY
and Messaging, GlobalPlatform, White Paper, April 2009. Online Available:
http://www.globalplatform.org/documents/GlobalPlatform_NFC_Mobile_
White_Paper.pdf
[75] 3D-Secure: Veried by Visa System Overview, Visa International Service Association,
External Version 1.0.2, December 2006.
[76] S. J. Murdoch and R. J. Anderson, Veried by Visa and MasterCard SecureCode:
Or, How Not to Design Authentication, in Financial Cryptography and Data Security,
14th International Conference, FC 2010, ser. LNCS, R. Sion, Ed., vol. 6052.
Springer, January 2010, pp. 336342.
[77] R. Anderson, Can We Fix the Security Economics of Federated Authentication? in
SPW 2011, 19th International Workshop on Security Protocols, J. A. Malcolm, Ed.
London, UK: Springer, March 2011.
[78] S. Drimer, S. J. Murdoch, and R. J. Anderson, Optimised to Fail: Card Readers
for Online Banking, in Financial Cryptography and Data Security, 13th International
Conference, FC 2009, R. Dingledine and P. Golle, Eds., vol. 5628. Barbados:
Springer, February 2009, pp. 184200.
[79] (Visited May, 2011) Sony's PlayStation Network Hack: When Did They Know?
Online. PCMagazine. Online Available: http://www.pcmag.com/article2/0,2817,
2384366,00.asp
[80] T. Moore, R. Clayton, and R. Anderson, The Economics of Online Crime, Journal
of Economic Perspectives, vol. 23, no. 3, pp. 320, Summer 2009.
[81] (Visited June, 2010) Barclaycard OnePulse. BarclayCard, Barclay Bank PLC.
United Kingdom. Online Available: http://www.barclaycard-onepulse.co.uk
[82] Z. Chen, Java Card Technology for Smart Cards: Architecture and Programmer's
Guide. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 2000.
[83] K. Markantonakis and K. Mayes, A Secure Channel Protocol for Multi-application
Smart Cards based on Public Key Cryptography, in CMS 2004 - Eight IFIP
TC-6-11 Conference on Communications and Multimedia Security, D. Chadwick and
B. Prennel, Eds. Springer, September 2004, pp. 7996. Online Available: http://
www.scc.rhul.ac.uk/public/A%20Secure%20Channel%20Protocol%20for%20Multi%
20application%20smart%20cards%20based%20on%20PK%20Crytpography.pdf
[84] G. Barthe, G. Dufay, L. Jakubiec, and a. M. d. Sousa, Sim A Formal Correspondence
between Oensive and Defensive JavaCard Virtual Machines, in VMCAI '02:
Revised Papers from the Third International Workshop on Verication, Model Checking,
and Abstract Interpretation. London, UK: Springer-Verlag, 2002, pp. 3245.
[85] R. N. Akram, K. Markantonakis, and K. Mayes, Simulator Problem in User Centric
Smart Card Ownership Model, in 6th IEEE/IFIP International Symposium on
Trusted Computing and Communications (TrustCom-10), H. Y. Tang and X. Fu,
Eds. HongKong, China: IEEE Computer Society, December 2010.
[86] D. Sauveron and P. Dusart, Which Trust Can Be Expected of the Common Criteria
Certication at End-User Level? Future Generation Communication and Network-
456