Intruder deducibility constraints with negation. Decidability and application to secured service compositions (Q507348): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68M11 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68P25 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 94A60 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 94A62 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| 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 | |||
Revision as of 01:54, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intruder deducibility constraints with negation. Decidability and application to secured service compositions |
scientific article |
Statements
Intruder deducibility constraints with negation. Decidability and application to secured service compositions (English)
0 references
6 February 2017
0 references
web services
0 references
orchestration
0 references
security policy
0 references
separation of duty
0 references
deducibility constraints
0 references
cryptographic protocols
0 references
formal methods
0 references
automated verification
0 references
synthesis
0 references
