Secrecy in multiagent systems
Authors:
- 25 June 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A general theory of composition for trace sets closed under selective interleaving functions2002
- CSP and determinism in security modelling2002
- Possibilistic definitions of security-an assembly kit2002
- Classification of Security Properties2001
- Process algebra and non-interference1999
- A logical approach to multilevel security of probabilistic systemsDistributed Computing, 1998
- A Classification of Security Properties for Process Algebras1Journal of Computer Security, 1995
- Knowledge, probability, and adversariesJournal of the ACM, 1993
- Security models and information flow1990
- Security Policies and Security Models1982