A (restricted) quantifier elimination for security protocols (Q860909): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2006.08.037
@@ Property / DOI: 10.1016/j.tcs.2006.08.037 / 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.1016/j.tcs.2006.08.037
+Normal rank
@@ Property / OpenAlex ID @@
+W2126994166
@@ Property / OpenAlex ID: W2126994166 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115036551
@@ Property / Wikidata QID: Q115036551 / rank @@
+Normal rank
@@ Property / cites work @@
+Authentication and delegation with smart-cards
@@ Property / cites work: Authentication and delegation with smart-cards / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for a logic of authentication (extended abstract)
+Normal rank
@@ Property / cites work @@
+A new logic for electronic commerce protocols
@@ Property / cites work: A new logic for electronic commerce protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Computer science today. Recent trends and developments
+Normal rank
@@ Property / cites work @@
+Q4417856
@@ Property / cites work: Q4417856 / rank @@
+Normal rank
@@ Property / cites work @@
+Secure protocol composition
@@ Property / cites work: Secure protocol composition / rank @@
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418589
@@ Property / cites work: Q4418589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Authentication tests and the structure of bundles.
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Information based reasoning about security protocols
+Normal rank
@@ Property / cites work @@
+Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2006.08.037
@@ Property / DOI: 10.1016/J.TCS.2006.08.037 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:860909