Untrusted hosts and confidentiality

This publication has 22 references indexed in Scilit:

• Protecting privacy using the decentralized label model
  ACM Transactions on Software Engineering and Methodology, 2000
• Enforceable security policies
  ACM Transactions on Information and System Security, 2000
• From system F to typed assembly language
  ACM Transactions on Programming Languages and Systems, 1999
• Multilevel security in the UNIX tradition
  Software: Practice and Experience, 1992
• Fine-grained mobility in the Emerald system
  ACM Transactions on Computer Systems, 1988
• A Randomized Protocol for Signing Contracts
  Published by Springer Nature ,1983
• Certification of programs for secure information flow
  Communications of the ACM, 1977
• A lattice model of secure information flow
  Communications of the ACM, 1976
• Security Kernel validation in practice
  Communications of the ACM, 1976
• Memoryless subsystems
  The Computer Journal, 1974