Formal analysis of PIN block attacks (Q860910): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2006.08.042
@@ Property / DOI: 10.1016/j.tcs.2006.08.042 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.08.042
+Normal rank
@@ Property / OpenAlex ID @@
+W2066959490
@@ Property / OpenAlex ID: W2066959490 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2006.08.042
@@ Property / DOI: 10.1016/J.TCS.2006.08.042 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:860910