Intruder deducibility constraints with negation. Decidability and application to secured service compositions (Q507348): Difference between revisions

@@ Property / cites work @@
+Deciding knowledge in security protocols under equational theories
+Normal rank
@@ Property / cites work @@
+Deciding security properties for cryptographic protocols. application to key cycles
+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 @@
+A logic of trust and reputation
@@ Property / cites work: A logic of trust and reputation / rank @@
+Normal rank
@@ Property / cites work @@
+Trust and Norms in the Context of Computer Security: A Logical Formalization
+Normal rank
@@ Property / cites work @@
+Q2848034
@@ Property / cites work: Q2848034 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Integrated Formal Analysis for Security and Trust
+Normal rank
@@ Property / cites work @@
+Automatic recognition of tractability in inference relations
+Normal rank
@@ Property / cites work @@
+Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
+Normal rank
@@ Property / cites work @@
+The CL-Atse Protocol Analyser
@@ Property / cites work: The CL-Atse Protocol Analyser / rank @@
+Normal rank