A logic of knowledge and belief for reasoning about computer security
Author:
- L.E. MoserLML.E. Moser
- 13 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 47-63
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Analyzing encryption protocols using formal verification techniquesIEEE Journal on Selected Areas in Communications, 1989
- Reasoning About Security Models1987
- Factors Affecting Distributed System SecurityIEEE Transactions on Software Engineering, 1987
- Efficient and timely mutual authenticationACM SIGOPS Operating Systems Review, 1987
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Knowledge and common knowledge in a distributed environment1984
- Nonmonotonic Logic IIJournal of the ACM, 1982
- Modal Logic1980
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978
- A lattice model of secure information flowCommunications of the ACM, 1976