Distributed temporal logic for the analysis of security protocol models (Q549724): Difference between revisions

@@ Property / cites work @@
+Secure implementation of channel abstractions
@@ Property / cites work: Secure implementation of channel abstractions / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for compositional verification of security protocols
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+The reactive simulatability (RSIM) framework for asynchronous systems
+Normal rank
@@ Property / cites work @@
+Labelled Tableaux for Distributed Temporal Logic
@@ Property / cites work: Labelled Tableaux for Distributed Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542560
@@ Property / cites work: Q4542560 / rank @@
+Normal rank
@@ Property / cites work @@
+Protocols for authentification and key establishment
+Normal rank
@@ Property / cites work @@
+Q2848036
@@ Property / cites work: Q2848036 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
+Normal rank
@@ Property / cites work @@
+On the semantics of Alice \& Bob specifications of security protocols
+Normal rank
@@ Property / cites work @@
+Q4418589
@@ Property / cites work: Q4418589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798026
@@ Property / cites work: Q4798026 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804905
@@ Property / cites work: Q4804905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417886
@@ Property / cites work: Q4417886 / rank @@
+Normal rank
@@ Property / cites work @@
+Safely composing security protocols
@@ Property / cites work: Safely composing security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415247
@@ Property / cites work: Q4415247 / rank @@
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying communication in distributed information systems
+Normal rank
@@ Property / cites work @@
+Cryptographic Protocol Composition via the Authentication Tests
+Normal rank
@@ Property / cites work @@
+Authentication tests and the structure of bundles.
+Normal rank
@@ Property / cites work @@
+Q2767013
@@ Property / cites work: Q2767013 / rank @@
+Normal rank
@@ Property / cites work @@
+TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
+Normal rank
@@ Property / cites work @@
+Q3785913
@@ Property / cites work: Q3785913 / rank @@
+Normal rank
@@ Property / cites work @@
+The NRL Protocol Analyzer: An Overview
@@ Property / cites work: The NRL Protocol Analyzer: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Secure Pseudonymous Channels
@@ Property / cites work: Secure Pseudonymous Channels / rank @@
+Normal rank
@@ Property / cites work @@
+The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Protocol Composition Logic (PCL)
@@ Property / cites work: Protocol Composition Logic (PCL) / rank @@
+Normal rank
@@ Property / cites work @@
+A (restricted) quantifier elimination for security protocols
+Normal rank
@@ Property / cites work @@
+The CL-Atse Protocol Analyser
@@ Property / cites work: The CL-Atse Protocol Analyser / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank