Security properties consistent with the testing semantics for communicating processes
- 13 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Readies and Failures in the Algebra of Communicating ProcessesSIAM Journal on Computing, 1988
- Stating security requirements with tolerable setsACM Transactions on Computer Systems, 1988
- Extensional equivalences for transition systemsActa Informatica, 1987
- Introduction to the ISO specification language LOTOSComputer Networks and ISDN Systems, 1987
- Acceptance treesJournal of the ACM, 1985
- An improved failures model for communicating processesLecture Notes in Computer Science, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Unwinding and Inference ControlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- Secure Computer System: Unified Exposition and Multics InterpretationPublished by Defense Technical Information Center (DTIC) ,1976