Noninterference for concurrent programs and thread systems

This publication has 19 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• Probabilistic noninterference for multi-threaded programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Noninterference for Concurrent Programs
  Published by Springer Nature ,2001
• Electronic Purse Applet Certification: extended abstract
  Electronic Notes in Theoretical Computer Science, 2000
• Secure Information Flow as Typed Process Behaviour
  Published by Springer Nature ,2000
• Transforming out timing leaks
  Published by Association for Computing Machinery (ACM) ,2000
• Information Flow vs. Resource Access in the Asynchronous Pi-Calculus (Extended Abstract)
  Published by Springer Nature ,2000
• Non Interference for the Analysis of Cryptographic Protocols
  Published by Springer Nature ,2000
• Secrecy by typing in security protocols
  Journal of the ACM, 1999
• JFlow
  Published by Association for Computing Machinery (ACM) ,1999