Glasgow, J. I., MacEwen, G. H., 'Reasoning About Knowledge in Multilevel Secure Distributed Systems', Proceedings of the IEEE Symposium on Security and Privacy, May 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Formal Semantics for Evaluating Cryptographic Protocols - Yasinsac (1996) (1 citation) (Correct)
....of constructs and simple, concise rules of inference, Chapter 2: Previous Research Regarding Cryptographic Protocol Verification 30 BAN Logic became the foundation for expansion by authors attempting to extend and improve the BAN Logic results. Among others that followed were [AT91] BEIB90] [GLAS88], GS91] GNY90] KG91] MB93] MOS89] RANG88] SNEK91] SYV90] SYV93a] and [vO93] Several of these are described later in this section. The logical systems that evolved differ in important ways. For instance, some of these logical systems are founded upon knowledge (epistemic ....
Janice I. Glasgow and Glenn H. MacEwen, "Reasoning About Knowledge in Multilevel secure Distributed Systems", in Proceedings of the 1988 IEEE Syposium on Security and Privacy, Washington (IEEE), 1988, pp. 122-128
A Formal Semantics for Evaluating Cryptographic Protocols - Yasinsac, Wulf (1993) (1 citation) (Correct)
....does not mean that errors do not exist [DIJK76] Accordingly, extensive effort has been focused upon finding methods to verify cryptographic protocols formally. There are many papers in the literature describing techniques proposed to meet the need that Needham and Schroeder identify, DOL83] [GLAS88], GNY90] KEM89] MEAD89] MEAD91] MIL87] MOS89] SYV91] RANG88] Many techniques are based on creation of an epistemic logic, a logic of knowledge and belief, used to reason about protocols. These logics are modal logics, concerned with truth and falsity in a possible worlds ....
Janice I. Glasgow and Glenn H. MacEwen, "Reasoning About Knowledge in Multilevel secure Distributed Systems", in Proceedings of the 1988 IEEE Syposium on Security and Privacy, Washington (IEEE), 1988, pp. 122-128
Specification and Verification of Security Policies - Peri (1996) (Correct)
No context found.
Glasgow, J. I., MacEwen, G. H., 'Reasoning About Knowledge in Multilevel Secure Distributed Systems', Proceedings of the IEEE Symposium on Security and Privacy, May 1988.
A Framework For A Cryptographic Protocol Evaluation Workbench - Yasinsac, Wulf (1999) (2 citations) (Correct)
No context found.
Janice I. Glasgow and Glenn H. MacEwen, "Reasoning About Knowledge in Multilevel secure Distributed Systems", in Proceedings of the 1988 IEEE Syposium on Security and Privacy, Washington (IEEE), 1988, pp. 122-128
Using Weakest Preconditions To Evaluate Cryptographic Protocols - Yasinsac, Wulf (1996) (2 citations) (Correct)
No context found.
Janice I. Glasgow and Glenn H. MacEwen, "Reasoning About Knowledge in Multilevel secure Distributed Systems", in Proceedings of the 1988 IEEE Syposium on Security and Privacy, Washington (IEEE), 1988, pp. 122-128
Evaluating Cryptographic Protocols - Yasinsac, Wulf (1993) (1 citation) (Correct)
No context found.
Janice I. Glasgow and Glenn H. MacEwen, "Reasoning About Knowledge in Multilevel secure Distributed Systems", in Proceedings of the 1988 IEEE Syposium on Security and Privacy, Washington (IEEE), 1988, pp. 122-128
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC