A process algebraic approach to security policies

IFIP Advances in Information and Communication Technology

Volumn 128, Issue , 2003, Pages 301-312

  Ryan, Peter ^a   Arnesen, Ragni Ryvold ^a  

^a NONE

Author keywords

Access control policy; CSP; Process algebra; Security policy

Indexed keywords

ACCESS CONTROL; ALGEBRA; COMPUTATION THEORY; FORMAL METHODS; SEMANTICS;

ACCESS CONTROL POLICIES; ALGEBRAIC APPROACHES; HEALTH CARE INFORMATICS; MATHEMATICAL FRAMEWORKS; MODELS OF COMPUTATION; PROCESS ALGEBRAS; SECURITY POLICY; UNIFORM FRAMEWORK;

SECURITY SYSTEMS;

EID: 84904331028     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35697-6_23     Document Type: Conference Paper

References (10)

1. MJ. Butler, csp2B: A practical approach to combining CSP and B (www.ecs.soton.ac.uk/ mjb/csp2B/).
2. HARP Project (http://telecom.ntua.gr/HARPIHARPIHARP.htm).
3. C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.
4. A.W. Roscoe, The Theory and Practice of Concurrency, Prentice-Hall, 1997.
5. P.Y.A. Ryan, Mathematical models of computer security, Proceedings of the FOSAD Summer School, LNCS 2171, R. Gorrieri (ed.), Springer, 2000.
6. P.Y.A. Ryan et al., Modelling and Analysis of Security Protocols, Pearson Scientific, 2001.
7. P.Y.A. Ryan and S.A. Schneider, Process algebra and non-interference, Proceedings of the Computer Security Foundations Workshop, extended version in Journal of Computer Security, vol. 9(112), 2001.
8. F. Schneider, Enforceable policies, ACM Transactions on Information and System Security vol. 3(1), pp. 30-50.
9. S.A. Schneider, Security properties and CSP, Proceedings of the IEEE Symposium on Security and Privacy, 1996.
10. S.A. Schneider, Concurrent and Real-Time Systems: The CSP Approach, Wiley, 2000.