A Meta-model of Access Control in a Fibred Security Language.
Saved in:
| Title: | A Meta-model of Access Control in a Fibred Security Language. |
|---|---|
| Authors: | Steve Barker1, Guido Boella2, Valerio Genovese2 |
| Source: | Studia Logica. Aug2009, Vol. 92 Issue 3, p437-477. 41p. |
| Database: | Mathematics Source |
| ISSN: | 00393215 |
|---|---|
| DOI: | 10.1007/s11225-009-9203-4 |