Device-enabled authorization in the grey system

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

Volumn 3650 LNCS, Issue , 2005, Pages 431-445

  Bauer, Lujo ^a   Garriss, Scott ^a   McCune, Jonathan M ^a   Reiter, Michael K ^a   Rouse, Jason ^a   Rutenbar, Peter ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

RESOURCE ALLOCATION; SOFTWARE ENGINEERING; VIRTUAL REALITY;

DEVICE-ENABLED AUTHORIZATION; GREY SYSTEM; GREY-ENABLED DEVICES; VIRTUAL RESOURCES;

COMPUTER SOFTWARE;

EID: 33645995393     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11556992_31     Document Type: Conference Paper

References (31)

1. M. Abadi. On SDSI's linked local name spaces. J. Computer Security, 1998.
2. M. Abadi, M. Burrows, B. Lampson, and G. D. Plotkin. A calculus for access control in distributed systems. ACM Trans. Prog. Lang. and Sys., Sept. 1993.
3. A. W. Appel and E. W. Felten. Proof-carrying authentication. In Proc. 6th ACM Conference on Computer and Communications Security, Nov. 1999.
4. A. W. Appel, N. Michael, A. Stump, and R. Virga. A trustworthy proof checker. J. Automated Reasoning, 31 (3-4):231-260, 2003.
5. D. Balfanz, D. Dean, and M. Spreitzer. A security infrastructure for distributed Java applications. In Proc. 21st IEEE Symposium on Security and Privacy, 2002.
6. L. Bauer, S. Garriss, J. M. McCune, M. K. Reiter, J. Rouse, and P. Rutenbar. Device-enabled authorization in the Grey system. Technical Report CMU-CS-05-111, Computer Science Department, Carnegie Mellon University, Feb. 2005.
7. L. Bauer, S. Garriss, and M. K. Reiter. Distributed proving in access-control systems. In Proc. 2005 IEEE Symposium on Security and Privacy, May 2005.
8. L. Bauer, M. A. Schneider, and E. W. Felten. A general and flexible access-control system for the Web. In Proc. 11th USENIX Security Symposium, Aug. 2002.
9. A. Beaufour and P. Bonnet. Personal servers as digital keys. In Proc. 2nd IEEE International Conference of Pervasive Computing and Communications, Mar. 2004.
10. M. Blaze, J. Feigenbaum, and M. Strauss. Compliance checking in the Policy-Maker trust-management system. In Proc. 2nd Financial Crypto Conference, 1998.
11. A. Church. A formulation of the simple theory of types. J. Symbolic Logic, 1940.
12. T. Coquand. An algorithm for testing conversion in type theory. In G. Huet and G. Plotkin, editors, Logical Frameworks, pages 255-280. 1991.
13. D. L. de Ipiña, P. Mendonça, and A. Hopper. TRIP: a low-cost vision-based location system for ubiquitous computing. Pers. and Ubiq. Comp., 6(3), 2002.
14. S. Dohrmann and C. Ellison. Public key support for collaborative groups. In Proc. First Annual PKI Research Workshop, Apr. 2002.
15. C. Ellison, B. Frantz, B. Lampson, R. Rivest, B. Thomas, and T. Ylonen. SPKI certificate theory. RFC 2693, Sept. 1999.
16. C. M. Ellison, B. Frantz, B. Lampson, and R. Rivest. Simple public key certificate. Internet Engineering Task Force Draft, July 1997.
17. I. Goldberg. Visual key fingerprint code. Available at http://www.cs.berkeley.edu/iang/visprint.c, 1996.
18. J. Y. Halpern and R. van der Meyden. A logic for SDSI's linked local name spaces. In Proc. 12th IEEE Computer Security Foundations Workshop, 1999.
19. R. Harper, F. Honsell, and G. Plotkin. A framework for defining logics. J. ACM, 40(1):143-184, Jan. 1993.
20. B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in distributed systems: Theory and practice. ACM Trans. Comp. Sys., 10(4):265-310, Nov. 1992.
21. R. Levin. PGP snowflake. Personal communication, 1996.
22. P. MacKenzie and M. K. Reiter. Networked cryptographic devices resilient to capture. International Journal of Information Security, 2(1):1-20, Nov. 2003.
23. J. M. McCune, A. Perrig, and M. K. Reiter. Seeing-is-believing: Using camera phones for human-verifiable authentication. In Proc. 2005 IEEE Symposium on Security and Privacy, May 2005.
24. A. Perrig and D. Song. Hash visualization: A new technique to improve real-world security. In Proc. 1999 Intern. Work. Crypto. Techn. and E-Comm., July 1999.
25. B. Ramsdell. Secure/multipurpose internet mail extensions (S/MIME) version 3.1: Message specification. RFC 3850, July 2004.
26. N. Ravi, P. Stern, N. Desai, and L. Iftode. Accessing ubiquitous services using smart phones. In Proc. 3rd Intern. Conf. Pervasive Comp. and Comm., 2005.
27. R. L. Rivest and B. Lampson. SDSI - A simple distributed security infrastructure. Presented at CRYPTO '96 Rumpsession, Apr. 1996.
28. M. Rohs and B. Gfeller. Using camera-equipped mobile phones for interacting with real-world objects. Advances in Pervasive Computing, pages 265-271, Apr. 2004.
29. D. Scott, R. Sharp, A. Madhavapeddy, and E. Upton. Using visual tags to bypass Bluetooth device discovery. Mobile Comp. and Comm. Review, 1(2), Jan. 2005.
30. A. Slawsby and A. Leibovitch. Worldwide mobile phone 2004-2008 forecast update and 1H04 vendor shares, Dec. 2004. http://www.idc.com/getdoc.jsp? containerId=32336.
31. E. Wobber, M. Abadi, M. Burrows, and B. Lampson. Authentication in the Taos operating system. ACM Trans. Comp. Sys., 12(1):3-32, Feb. 1994.