Secure Information Flow as Typed Process Behaviour

This publication has 28 references indexed in Scilit:

• Types and Subtypes for Client-Server Interactions
  Published by Springer Nature ,1999
• Control flow analysis for the π-calculus
  Published by Springer Nature ,1998
• The Compositional Security Checker: a tool for the verification of information flow security properties
  IEEE Transactions on Software Engineering, 1997
• Secrecy by typing in security protocols
  Published by Springer Nature ,1997
• On reduction-based process semantics
  Theoretical Computer Science, 1995
• Types for dyadic interaction
  Published by Springer Nature ,1993
• Probabilistic interference
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Linear logic
  Theoretical Computer Science, 1987
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• Certification of programs for secure information flow
  Communications of the ACM, 1977