Safely Composing Security Protocols (Q5458848): Difference between revisions

@@ Property / describes a project that uses @@
+AVISPA
@@ Property / describes a project that uses: AVISPA / 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-540-77050-3_29
+Normal rank
@@ Property / OpenAlex ID @@
+W1681146363
@@ Property / OpenAlex ID: W1681146363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484507
@@ Property / cites work: Q4484507 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417856
@@ Property / cites work: Q4417856 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418587
@@ Property / cites work: Q4418587 / 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 @@
+Safely Composing Security Protocols
@@ Property / cites work: Safely Composing Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Key Cycles for Security Protocols
@@ Property / cites work: Deciding Key Cycles for Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol Composition Logic (PCL)
@@ Property / cites work: Protocol Composition Logic (PCL) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4387317
@@ Property / cites work: Q4387317 / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank