Type Based Discretionary Access Control

This publication has 15 references indexed in Scilit:

• safeDpi: A Language for Controlling Mobile Code
  Published by Springer Nature ,2004
• Information flow vs. resource access in the asynchronous pi-calculus
  ACM Transactions on Programming Languages and Systems, 2002
• Access Control: Policies, Models, and Mechanisms
  Published by Springer Nature ,2001
• Secrecy and Group Creation
  Published by Springer Nature ,2000
• Protecting privacy using the decentralized label model
  ACM Transactions on Software Engineering and Methodology, 2000
• Secure Information Flow as Typed Process Behaviour
  Published by Springer Nature ,2000
• Enforceable security policies
  ACM Transactions on Information and System Security, 2000
• Language primitives and type discipline for structured communication-based programming
  Published by Springer Nature ,1998
• Reasoning about cryptographic protocols in the spi calculus
  Published by Springer Nature ,1997
• Protection
  ACM SIGOPS Operating Systems Review, 1974