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

@@ 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