Secrecy in multiagent systems

This publication has 16 references indexed in Scilit:

• A general theory of composition for trace sets closed under selective interleaving functions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• CSP and determinism in security modelling
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Possibilistic definitions of security-an assembly kit
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Classification of Security Properties
  Published by Springer Nature ,2001
• Process algebra and non-interference
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1999
• A logical approach to multilevel security of probabilistic systems
  Distributed Computing, 1998
• A Classification of Security Properties for Process Algebras1
  Journal of Computer Security, 1995
• Knowledge, probability, and adversaries
  Journal of the ACM, 1993
• Security models and information flow
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982