A formal semantics for protocol narrations (Q2463562): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2007.09.005
@@ Property / DOI: 10.1016/j.tcs.2007.09.005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Casper
@@ Property / describes a project that uses: Casper / 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.2007.09.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2071725114
@@ Property / OpenAlex ID: W2071725114 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752046
@@ Property / cites work: Q2752046 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848475
@@ Property / cites work: Q2848475 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of Alice \& Bob specifications of security protocols
+Normal rank
@@ Property / cites work @@
+Q4415247
@@ Property / cites work: Q4415247 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics and verification of security protocols.
+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 @@
+Authentication tests and the structure of bundles.
+Normal rank
@@ Property / cites work @@
+Pattern-matching spi-calculus
@@ Property / cites work: Pattern-matching spi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767013
@@ Property / cites work: Q2767013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4718481
@@ Property / cites work: Q4718481 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2007.09.005
@@ Property / DOI: 10.1016/J.TCS.2007.09.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2463562