Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap (Q3498468): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2108854243
@@ Property / OpenAlex ID: W2108854243 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of Alice \& Bob specifications of security protocols
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+A Framework for Automatically Checking Anonymity with μCRL
+Normal rank
@@ Property / cites work @@
+Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemology Without Knowledge and Without Belief
@@ Property / cites work: Epistemology Without Knowledge and Without Belief / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738471
@@ Property / cites work: Q4738471 / rank @@
+Normal rank
@@ Property / cites work @@
+Update semantics of security protocols
@@ Property / cites work: Update semantics of security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218094
@@ Property / cites work: Q4218094 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+CSP and anonymity
@@ Property / cites work: CSP and anonymity / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3498468