Implementing a multi-hat PDA

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4631 LNCS, Issue , 2007, Pages 295-307

  Johnson, Matthew ^a   Stajano, Frank ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTHENTICATION; BLUETOOTH; COMPUTER OPERATING SYSTEMS; GRAPHIC METHODS; MOBILE PHONES; SOFTWARE PROTOTYPING;

BLUETOOTH CELLPHONES;

PERSONAL DIGITAL ASSISTANTS;

EID: 38149068982     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77156-2_37     Document Type: Conference Paper

References (13)

1. Alkassar, A., Stüble, C., Sadeghi, A.-R.: Secure object identification-or: solving the Chess Grandmaster Problem. In: NSPW 2003. Proceedings of the 2003 workshop on New security paradigms, pp. 77-85. ACM Press, New York (2003)
2. Anonymous. Windows XP Technical Overview White Paper (May 2001), http://www.microsoft.com/technet/prodtechnol/winxppro/evaluate/ xptechov.mspx
3. Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., Warfield, A.: Xen and the art of virtualization. In: SOSP 2003. Proceedings of the nineteenth ACM symposium on Operating systems principles, pp. 164-177. ACM Press, New York (2003), http://www.cl.cam.ac.uk/ netos/papers/2003-xensosp.pdf
4. Beth, T., Desmedt, Y.: Identification Tokens-or: Solving the Chess Grandmaster Problem. In: Menezes, A.J., Vanstone, S.A. (eds.) CRYPTO 1990. LNCS, vol. 537, pp. 11-15. Springer, Heidelberg (1991)
5. Brands, S., Chaum, D.: Distance Bounding Protocols. In: Helleseth, T. (ed.) EUROCRYPT 1993. LNCS, vol. 765, pp. 302-9743. Springer, Heidelberg (1994), http://link.springer-ny.com/link/service/series/0558/papers/0765/ 07650344.pdf
6. Corner, M.D., Noble, B.D.: Zero-Interaction Authentication. In: The Eighth ACM Conference on Mobile Computing and Networking, ACM Press, New York (2002), http://mobility.eecs.umich.edu/papers/mobicom02.pdf
7. Kilpatrick, D., Salamon, W., Vance, C.: Securing The X Window System With SELinux. Tech. Rep. 03-006, NAI Labs (March 2003), http://www.nsa.gov/selinux/ papers/X11_Study.pdf
8. Loscocco, P., Smalley, S.: Integrating Flexible Support for Security Policies into the Linux Operating System. In: The 2001 USENIX Annual Technical Conference, USENIX Association (2001)
9. Richardson, T., Bennett, F., Hopper, A.: Teleporting in an X Window System Environment. IEEE Personal Communications Magazine 1(3), 6-12 (1994), http://www.uk.research.att.com/pub/docs/att/tr.94.4.ps.Z
10. Richardson, T., Stafford-Fraser, Q., Wood, K.R., Hopper, A.: Virtual Network Computing. IEEE Internet Computing 2(1), 33-38 (1998), http://www.uk.research.att.com/pub/docs/att/tr.98.1.pdf
11. Sastry, N., Shankar, U., Wagner, D.: Secure Verification of Location Claims. CryptoBytes 7(1), 17-29 (2004)
12. Stajano, F.: Security for Ubiquitous Computing. John Wiley and Sons, Chichester (2002), http://www-lce.eng.cam.ac.uk/fms27/secubicomp/
13. Stajano, F.: One user, many hats; and, sometimes, no hat-towards a secure yet usable PDA. In: The Twelfth International Workshop on Security Protocols, http://www-lce.eng.cam.ac.uk/fms27/papers/2004-stajano-hats.pdf (to appear, 2004)