Type-based distributed access control

This publication has 23 references indexed in Scilit:

• Robust declassification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Logical relations for encryption
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Authenticity by typing for security protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Cryptographic types
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Decentralized trust management
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Secure composition of untrusted code: wrappers and causality types
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Untrusted hosts and confidentiality
  Published by Association for Computing Machinery (ACM) ,2001
• Trust and partial typing in open systems of mobile agents
  Published by Association for Computing Machinery (ACM) ,1999
• Access Flow: A Protection Model which Integrates Access Control and Information Flow
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• Certification of programs for secure information flow
  Communications of the ACM, 1977