Lujo Bauer, Scott Garriss, Jonathan M. McCune, Michael K. Reiter, Jason Rouse, Peter Rutenbar  Home/Search
Context Related
| cmu.edu/anon/2005/CMUCS05111.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/anon/2005/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe the design and implementation of Grey, a set of software extensions that convert an off-the-shelf smartphone-class device into a tool by which its owner exercises and delegates her authority to both physical and virtual resources. We describe the software architecture and user interfaces of Grey, and then detail two initial case studies in which we have converted infrastructure to accommodate requests from Grey-enabled devices. The first is two floors (nearly 30,000 square feet) of... (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
Non-Interference in Constructive Authorization Logic - Deepak Garg And (Correct)
Active bibliography (related documents): More All
1.0: D ej a Vu: A User Study Using Images for Authentication - Dhamija, Perrig (2000) (Correct)
0.8: Split Smart Messages: Middleware for Pervasive Computing.. - Ravi, Borcea, Iftode (Correct)
0.5: Using Camera-Phones to Interact With Context-Aware.. - Toye, Madhavapeddy, .. (2004) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
Related documents from co-citation: More All
5: Access Control for the Web via Proof-Carrying Authorization - Bauer - 2003
5: Proof-carrying authentication - Appel, Felten - 1999
5: A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
BibTeX entry: (Update)
L. Bauer, S. Garriss, J. M. McCune, M. K. Reiter, J. Rouse, and P. Rutenbar. Device-enabled authorization in the Grey system. In Proceedings of the 8th Information Security Conference (ISC'05), pages 431--445, Singapore, Sept. 2005. Springer Verlag LNCS 3650. http://citeseer.ist.psu.edu/bauer05deviceenabled.html More
@misc{ bauer05deviceenabled,
author = "L. Bauer and S. Garriss and J. McCune and M. Reiter and J. Rouse and P.
Rutenbar",
title = "Device-enabled authorization in the Grey system",
text = "L. Bauer, S. Garriss, J. M. McCune, M. K. Reiter, J. Rouse, and P. Rutenbar.
Device-enabled authorization in the Grey system. In Proceedings of the 8th
Information Security Conference (ISC'05), pages 431--445, Singapore, Sept.
2005. Springer Verlag LNCS 3650.",
year = "2005",
url = "citeseer.ist.psu.edu/bauer05deviceenabled.html" }
Citations (may not include all citations):434 A framework for defining logics - Harper, Honsell et al. - 1993
419 A formulation of the simple theory of types (context) - Church - 1940
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
156 SDSI---A simple distributed security infrastructure - Rivest, Lampson - 1996
143 Compliance checking in the PolicyMaker trust-management syst.. - Blaze, Feigenbaum et al. - 1998
132 SPKI certificate theory (context) - Ellison, Frantz et al. - 1999
101 Authentication in the Taos operating system - Wobber, Abadi et al. - 1994
96 An algorithm for testing conversion in type theory (context) - Coquand - 1991
57 Proof-carrying authentication - Appel, Felten - 1999
49 On SDSI's linked local name spaces - Abadi - 1998
21 Securing context-aware applications using environment roles (context) - Covington, Long et al. - 2001
18 A logic for SDSI's linked local name space - Halpern, van der Meyden - 1999
15 Networked cryptographic devices resilient to capture - MacKenzie, Reiter - 2003
14 A security infrastructure for distributed Java applications - Balfanz, Dean et al. - 2002
12 Measures and countermeasures for smart cards (context) - Quisquater, Samyde et al. - 2001
12 A trustworthy proof checker - Appel, Michael et al. - 2003
12 Digital signature algorithm (context) - Kravitz - 1993
11 TRIP: a low-cost vision-based location system for ubiquitous.. - de Ipina, Mendonca et al. - 2002
11 A general and flexible access-control system for the Web - Bauer, Schneider et al. - 2002
10 Distributed proving in access-control systems (context) - Bauer, Garriss et al. - 2005
10 Hash visualization: A new technique to improve real-world se.. - Perrig, Song - 1999
7 Hand-held computers can be better smart cards (context) - Balfanz, Felten - 1999
7 Protecting access to people location information - Hengartner, Steenkiste - 2003
7 Delegation of cryptographic servers for capture-resilient de.. - MacKenzie, Reiter - 2003
6 Cerberus: A context-aware security scheme for smart spaces (context) - Al-Muhtadi, Ranganathan et al. - 2003
5 Using camera-equipped mobile phones for interacting with rea.. - Rohs, Gfeller - 2004
5 A context-aware security architecture for emerging applicati.. (context) - Covington, Fogla et al. - 2002
5 Seeing-is-believing: Using camera phones for human-verifiabl.. (context) - McCune, Perrig et al. - 2005
4 Public key support for collaborative groups (context) - Dohrmann, Ellison - 2002
4 Using camera-phones to enhance human-computer interaction (context) - Madhavapeddy, Scott et al. - 2004
3 Personal servers as digital keys - Beaufour, Bonnet - 2004
2 Context-based secure resource access in pervasive computing .. (context) - Tripathi, Ahmed et al. - 2004
2 Personal communication (context) - Levien - 1996
2 Using visual tags to bypass Bluetooth device discovery (context) - Scott, Sharp et al. - 2005
2 Authentication method with impersonal token cards - Molva, Tsudik - 1993
2 Accessing ubiquitous services using smart phones (context) - Ravi, Stern et al. - 2005
2 Visual key fingerprint code (context) - Goldberg - 1996
2 Towards context-aware security: An authorization architectur.. (context) - Wullems, Looi et al. - 2004
2 SecureMultipurpose Internet Mail Extension (context) - Multipurpose, Extensions et al. - 2004
1 Internet Engineering Task Force Draft (context) - Ellison, Frantz et al. - 1997
1 Worldwide mobile phone (context) - Slawsby, Leibovitch - 2004
1 Public Key Infrastructure: Logotypes in X (context) - Santesson, Housley et al. - 2004
1 Secure smart homes using Jini and UIUS SESAME (context) - Al-Muhtadi, Anand et al. - 2000
1 Pervasive authentication domains for automatic pervasive dev.. (context) - Sailer, Giles - 2004
1 Smartphone' era to start next year (context) - News - 2004
1 public key infrastucture certificate and CRL profile (context) - Housley, Polk et al. - 2002
ftp://ftp.rsasecurity.com/pub/
Documents on the same site (http://reports-archive.adm.cs.cmu.edu/anon/2005/): More
Taxonomy and Effectiveness of Worm Defense Strategies - Brumley, Liu, Poosankam, Song (2005) (Correct)
Learning To Prevent Failure State for a Dynamically.. - Searock, Browning, Veloso (2005) (Correct)
A Lower Bound Framework for Binary - Search Trees With (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC