A logic of knowledge and belief for reasoning about computer security
- 13 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Semantical Considerations on Modal LogicPublished by Springer Nature ,2012
- Analyzing encryption protocols using formal verification techniquesIEEE Journal on Selected Areas in Communications, 1989
- Reasoning About Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- 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 environmentPublished by Association for Computing Machinery (ACM) ,1984
- Nonmonotonic Logic IIJournal of the ACM, 1982
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978
- A lattice model of secure information flowCommunications of the ACM, 1976