Searching for "A Logic for Reasoning About Security." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Reasoning about Resource-Bounded Knowledge: Theory and Application to Security Protocol Analysis
- …, but not so much in computer science. Secondly, we develop a logic for reasoning about security protocols…
- Cited by 1 (0 self) – Add To MetaCart
-
Revisiting the Foundations of Authentication Logics
- … of the logic We introduce a simple multimodal propositional logic for reasoning about security protocols. We…
- Cited by 1 (0 self) – Add To MetaCart
-
Modeling adversaries in a logic for security protocol analysis
- … of exclusive-or in some protocolimplementations [33]. A more refined logic for reasoning about security…
- Cited by 13 (1 self) – Add To MetaCart
-
Athena: a novel approach to efficient automatic security protocol analysis
- … and Model � In this section, we introduce a formal model and a logic to reason about security protocols…
- Cited by 51 (3 self) – Add To MetaCart
-
unknown title
- … formal model and a logic to reason about security protocolsusing the SSM representation, and show how…
- Add To MetaCart
-
Anonymity and Information Hiding in Multiagent Systems
- …] describe a logic for reasoning about security that includes both epistemic operators (for reasoning about…
- Cited by 46 (2 self) – Add To MetaCart
Showing 1 through 6.
