Secure information flow by self-composition

This publication has 23 references indexed in Scilit:

• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• Noninterference for concurrent programs and thread systems
  Theoretical Computer Science, 2002
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
  International Journal of Foundations of Computer Science, 2002
• Information flow for Algol-like languages
  Computer Languages, Systems & Structures, 2002
• A semantic approach to secure information flow
  Science of Computer Programming, 2000
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978
• An axiomatic basis for computer programming
  Communications of the ACM, 1969