Algebra and logic for access control (Q968301)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebra and logic for access control |
scientific article |
Statements
Algebra and logic for access control (English)
0 references
5 May 2010
0 references
access control
0 references
systems modelling
0 references
process calculus
0 references
calculus of resources
0 references
modal logic
0 references
0 references
0 references
