Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach (Q540685): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-010-9188-8
@@ Property / DOI: 10.1007/s10817-010-9188-8 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 94A60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5903834
@@ Property / zbMATH DE Number: 5903834 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+security protocols
@@ Property / zbMATH Keywords: security protocols / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+XOR
@@ Property / zbMATH Keywords: XOR / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated verification
@@ Property / zbMATH Keywords: automated verification / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProVerif
@@ Property / describes a project that uses: ProVerif / 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/s10817-010-9188-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2053014980
@@ Property / OpenAlex ID: W2053014980 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q60530316
@@ Property / Wikidata QID: Q60530316 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+Q4797389
@@ Property / cites work: Q4797389 / rank @@
+Normal rank
@@ Property / cites work @@
+An NP decision procedure for protocol insecurity with XOR
+Normal rank
@@ Property / cites work @@
+Automatic Analysis of the Security of XOR-Based Key Management Schemes
+Normal rank
@@ Property / cites work @@
+Q4447230
@@ Property / cites work: Q4447230 / rank @@
+Normal rank
@@ Property / cites work @@
+Security properties: two agents are sufficient
@@ Property / cites work: Security properties: two agents are sufficient / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+On the Security of PKCS #11
@@ Property / cites work: On the Security of PKCS #11 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Automatic Analysis of Recursive Security Protocols with XOR
+Normal rank
@@ Property / cites work @@
+Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach
+Normal rank
@@ Property / cites work @@
+Session Key Distribution Using Smart Cards
@@ Property / cites work: Session Key Distribution Using Smart Cards / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-010-9188-8
@@ Property / DOI: 10.1007/S10817-010-9188-8 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:540685