Alice and Bob Meet Equational Theories (Q2945705): Difference between revisions

@@ 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 @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProVerif
@@ Property / describes a project that uses: ProVerif / 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 @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+scyther-proof
@@ Property / describes a project that uses: scyther-proof / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TAMARIN
@@ Property / describes a project that uses: TAMARIN / 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.1007/978-3-319-23165-5_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2293715571
@@ Property / OpenAlex ID: W2293715571 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Alice and Bob Meet Equational Theories
@@ Property / cites work: Alice and Bob Meet Equational Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication
+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 @@
+Compiling and securing cryptographic protocols
@@ Property / cites work: Compiling and securing cryptographic protocols / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
+Normal rank
@@ Property / cites work @@
+Folding variant narrowing and optimal variant termination
+Normal rank
@@ Property / cites work @@
+Cryptographic Protocol Explication and End-Point Projection
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2945705