Partial model checking and theorem proving for ensuring security properties
- 27 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1055, 44-52
- https://doi.org/10.1109/csfw.1998.683154
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Comparing two information flow security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Proving properties of security protocols by inductionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using temporal logic to specify and verify cryptographic protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verifying authentication protocols with CSPPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1997
- The Compositional Security Checker: a tool for the verification of information flow security propertiesIEEE Transactions on Software Engineering, 1997
- Modal and temporal logics for processesPublished by Springer Nature ,1996
- Characteristic Formulas for Processes with DivergenceInformation and Computation, 1994
- CCS expressions, finite state processes, and three problems of equivalenceInformation and Computation, 1990
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Secure Computer System: Unified Exposition and Multics InterpretationPublished by Defense Technical Information Center (DTIC) ,1976