Bridging Language-Based and Process Calculi Security

This publication has 25 references indexed in Scilit:

• On the Secure Implementation of Security Protocols
  Published by Springer Nature ,2003
• Information flow analysis in a discrete-time process algebra
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Confidentiality for mobile code: the case of a simple payment protocol
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Classification of Security Properties
  Published by Springer Nature ,2001
• Secure Information Flow as Typed Process Behaviour
  Published by Springer Nature ,2000
• Protection in programming-language translations
  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
• A Classification of Security Properties for Process Algebras1
  Journal of Computer Security, 1995
• 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