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

@@ Property / DOI @@
-.1016/j.tcs.2011.04.006
@@ Property / DOI: 10.1016/j.tcs.2011.04.006 / rank @@
-Normal rank
@@ Property / author @@
-David A. Basin
@@ Property / author: David A. Basin / rank @@
-Normal rank
@@ Property / author @@
+David A. Basin
@@ Property / author: David A. Basin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Casper
@@ Property / describes a project that uses: Casper / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NRL
@@ Property / describes a project that uses: NRL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AVISPA
@@ Property / describes a project that uses: AVISPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OFMC
@@ Property / describes a project that uses: OFMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+scyther
@@ Property / describes a project that uses: scyther / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.04.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2024006228
@@ Property / OpenAlex ID: W2024006228 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2011.04.006
@@ Property / DOI: 10.1016/J.TCS.2011.04.006 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:549724