A Per Model of Secure Information Flow in Sequential Programs

This publication has 22 references indexed in Scilit:

• A probabilistic powerdomain of evaluations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A core calculus of dependency
  Published by Association for Computing Machinery (ACM) ,1999
• A Classification of Security Properties for Process Algebras1
  Journal of Computer Security, 1995
• Can you trust your data
  Published by Springer Nature ,1995
• A semantic model of binding times for safe partial evaluation
  Published by Springer Nature ,1995
• The specification and modeling of computer security
  Computer, 1990
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• An Axiomatic Approach to Information Flow in Programs
  ACM Transactions on Programming Languages and Systems, 1980
• Certification of programs for secure information flow
  Communications of the ACM, 1977
• A lattice model of secure information flow
  Communications of the ACM, 1976