A User Centric Security Model for Tamper-Resistant Devices

BIBLIOGRAPHY
[161] D. A. Basin, S. Friedrich, J. Posegga, and H. Vogt, Java Bytecode Verication by
Model Checking, in CAV '99: Proceedings of the 11th International Conference on
Computer Aided Verication. London, UK: Springer-Verlag, 1999, pp. 491494.
[162] D. A. Basin, S. Friedrich, and M. Gawkowski, Veried Bytecode Model Checkers, in
TPHOLs '02: Proceedings of the 15th International Conference on Theorem Proving
in Higher Order Logics. London, UK: Springer-Verlag, 2002, pp. 4766.
[163] X. Leroy, On-Card Bytecode Verication for Java Card, in E-SMART '01: Proceedings
of the International Conference on Research in Smart Cards. London, UK:
Springer-Verlag, 2001, pp. 150164.
[164] Smart Cards; Smart Card Platform Requirements Stage 1(Release 9), European
Telecommunications Standards Institute (ETSI), France, Technical Specication
ETSI TS 102 412 (V9.1.0), June 2009. Online Available: http://www.etsi.org/
deliver/etsi_ts/102400_102499/102412/09.01.00_60/ts_102412v090100p.pdf
[165] Y. Gasmi, A.-R. Sadeghi, P. Stewin, M. Unger, and N. Asokan, Beyond Secure
Channels, in STC '07: Proceedings of the 2007 ACM workshop on Scalable trusted
computing. New York, NY, USA: ACM, 2007, pp. 3040.
[166] L. Zhou and Z. Zhang, Trusted Channels with Password-Based Authentication and
TPM-Based Attestation, Communications and Mobile Computing, International
Conference on, vol. 1, pp. 223227, 2010.
[167] F. Armknecht, Y. Gasmi, A.-R. Sadeghi, P. Stewin, M. Unger, G. Ramunno, and
D. Vernizzi, An ecient implementation of trusted channels based on openssl, in
Proceedings of the 3rd ACM workshop on Scalable trusted computing, ser. STC '08.
New York, NY, USA: ACM, 2008, pp. 4150.
[168] G. Horn, K. M. Martin, and C. J. Mitchell, Authentication Protocols for
Mobile Network Environment Value-Added Services, in IEEE Transactions on
Vehicular Technology, vol. 51. IEEE, March 2002, pp. 383392. Online Available:
http://www.isg.rhul.ac.uk/cjm/apfmne2.pdf
[169] Remote Application Management over HTTP, Card Specication v 2.2 - Amendment
B, Online, GlobalPlatform Specication, September 2006. Online Available:
http://www.globalplatform.org/specicationscard.asp
[170] GlobalPlatform Card Technology: Secure Channel Protocol 03, Card Specication v 2.2
- Amendment D,, Online, GlobalPlatform Public Release GPC SPE 014, September
2009. Online Available: http://www.globalplatform.org/specicationscard.asp
[171] Smart Cards; Secured Packet Structure for UICC based Applications (Release 6),
European Telecommunications Standards Institute (ETSI), France, Technical Specication
ETSI TS 102 225 (V6.8.0), April 2006.
[172] Y. S. T. Tin, C. Boyd, and J. M. G. Nieto, Provably Secure Mobile Key
Exchange: Applying the Canetti-Krawczyk Approach, in Proceedings of the
8th Australasian conference on Information security and privacy, ser. ACISP'03.
Berlin, Heidelberg: Springer-Verlag, 2003, pp. 166179. Online Available:
http://portal.acm.org/citation.cfm?id=1760479.1760499
463