Device-Enabled Authorization in the Grey System

This publication has 21 references indexed in Scilit:

• Using visual tags to bypass Bluetooth device discovery
  ACM SIGMOBILE Mobile Computing and Communications Review, 2005
• A Trustworthy Proof Checker
  Journal of Automated Reasoning, 2003
• TRIP: A Low-Cost Vision-Based Location System for Ubiquitous Computing
  Personal and Ubiquitous Computing, 2002
• Compliance checking in the PolicyMaker trust management system
  Published by Springer Nature ,1998
• Authentication in the Taos operating system
  ACM Transactions on Computer Systems, 1994
• A calculus for access control in distributed systems
  ACM Transactions on Programming Languages and Systems, 1993
• A framework for defining logics
  Journal of the ACM, 1993
• Authentication in distributed systems
  ACM Transactions on Computer Systems, 1992
• An algorithm for testing conversion in type theory
  Published by Cambridge University Press (CUP) ,1991
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940