On the semantics of Alice \& Bob specifications of security protocols (Q860900): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2006.08.041
@@ Property / DOI: 10.1016/j.tcs.2006.08.041 / 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 @@
+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 / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115036549
@@ Property / Wikidata QID: Q115036549 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.08.041
+Normal rank
@@ Property / OpenAlex ID @@
+W4245319257
@@ Property / OpenAlex ID: W4245319257 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Reconciling two views of cryptography (The computational soundness of formal encryption)
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804908
@@ Property / cites work: Q4804908 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimistic fair exchange of digital signatures
@@ Property / cites work: Optimistic fair exchange of digital signatures / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703702
@@ Property / cites work: Q2703702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484506
@@ Property / cites work: Q4484506 / rank @@
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848475
@@ Property / cites work: Q2848475 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848036
@@ Property / cites work: Q2848036 / rank @@
+Normal rank
@@ Property / cites work @@
+An NP decision procedure for protocol insecurity with XOR
+Normal rank
@@ Property / cites work @@
+Q4411969
@@ Property / cites work: Q4411969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415247
@@ Property / cites work: Q4415247 / rank @@
+Normal rank
@@ Property / cites work @@
+LSCs: Breathing life into message sequence charts
@@ Property / cites work: LSCs: Breathing life into message sequence charts / 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 @@
+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 @@
+A method for obtaining digital signatures and public-key cryptosystems
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2006.08.041
@@ Property / DOI: 10.1016/J.TCS.2006.08.041 / rank @@
+Normal rank