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

@@ Property / author @@
-Michaël Rusinowitch
@@ Property / author: Michaël Rusinowitch / rank @@
-Normal rank
@@ Property / author @@
+Michaël Rusinowitch
@@ Property / author: Michaël Rusinowitch / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M11
@@ Property / Mathematics Subject Classification ID: 68M11 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P25
@@ Property / Mathematics Subject Classification ID: 68P25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 94A60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A62
@@ Property / Mathematics Subject Classification ID: 94A62 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6680822
@@ Property / zbMATH DE Number: 6680822 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+web services
@@ Property / zbMATH Keywords: web services / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+orchestration
@@ Property / zbMATH Keywords: orchestration / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+security policy
@@ Property / zbMATH Keywords: security policy / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+separation of duty
@@ Property / zbMATH Keywords: separation of duty / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deducibility constraints
@@ Property / zbMATH Keywords: deducibility constraints / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+cryptographic protocols
@@ Property / zbMATH Keywords: cryptographic protocols / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal methods
@@ Property / zbMATH Keywords: formal methods / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated verification
@@ Property / zbMATH Keywords: automated verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+synthesis
@@ Property / zbMATH Keywords: synthesis / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2132938106
@@ Property / OpenAlex ID: W2132938106 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4871
@@ Property / arXiv ID: 1207.4871 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:507348