Model Checking Agent Knowledge in Dynamic Access Control Policies (Q5326344)
From MaRDI portal
scientific article; zbMATH DE number 6194852
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model Checking Agent Knowledge in Dynamic Access Control Policies |
scientific article; zbMATH DE number 6194852 |
Statements
Model Checking Agent Knowledge in Dynamic Access Control Policies (English)
0 references
5 August 2013
0 references
