Key Substitution in the Symbolic Analysis of Cryptographic Protocols (Q5458828): Difference between revisions

@@ 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-540-77050-3_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1814386517
@@ Property / OpenAlex ID: W1814386517 / rank @@
+Normal rank
@@ Property / cites work @@
+On the symbolic reduction of processes with cryptographic functions.
+Normal rank
@@ Property / cites work @@
+Intruders with Caps
@@ Property / cites work: Intruders with Caps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422080
@@ Property / cites work: Q4422080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263430
@@ Property / cites work: Q4263430 / rank @@
+Normal rank
@@ Property / cites work @@
+Key Substitution in the Symbolic Analysis of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Towards an Automatic Analysis of Web Service Security
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
+Normal rank
@@ Property / cites work @@
+Q3840087
@@ Property / cites work: Q3840087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+The NRL Protocol Analyzer: An Overview
@@ Property / cites work: The NRL Protocol Analyzer: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Security of signature schemes in a multi-user setting
+Normal rank
@@ Property / cites work @@
+Digital Signatures Do Not Guarantee Exclusive Ownership
+Normal rank
@@ Property / cites work @@
+Q4263167
@@ Property / cites work: Q4263167 / rank @@
+Normal rank