CSP and determinism in security modelling
- 19 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 491, 114-127
- https://doi.org/10.1109/secpri.1995.398927
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Security properties consistent with the testing semantics for communicating processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Noninterference and the composability of security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A comparison of non-interference and non-deducibility using CSPPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Unbounded Non-determinism in CSPJournal of Logic and Computation, 1993
- An Alternative Order for the Failures ModelJournal of Logic and Computation, 1992
- An improved failures model for communicating processesLecture Notes in Computer Science, 1985
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982