Safely composing security protocols (Q1028731): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-008-0059-4
@@ Property / DOI: 10.1007/s10703-008-0059-4 / rank @@
-Normal rank
@@ 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 / OpenAlex ID @@
+W2027660602
@@ Property / OpenAlex ID: W2027660602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536407
@@ Property / cites work: Q4536407 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484507
@@ Property / cites work: Q4484507 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for compositional verification of security protocols
+Normal rank
@@ Property / cites work @@
+From One Session to Many: Dynamic Tags for Security Protocols
+Normal rank
@@ Property / cites work @@
+Bounding Messages for Free in Security Protocols
@@ Property / cites work: Bounding Messages for Free in Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417856
@@ Property / cites work: Q4417856 / rank @@
+Normal rank
@@ Property / cites work @@
+Universally Composable Security with Global Setup
@@ Property / cites work: Universally Composable Security with Global Setup / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418587
@@ Property / cites work: Q4418587 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / 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 @@
+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 @@
+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 @@
+Q4418589
@@ Property / cites work: Q4418589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4387317
@@ Property / cites work: Q4387317 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / 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
@@ Property / DOI @@
+.1007/S10703-008-0059-4
@@ Property / DOI: 10.1007/S10703-008-0059-4 / rank @@
+Normal rank