A Meta-model of Access Control in a Fibred Security Language.

Saved in:
Bibliographic Details
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
Description
ISSN:00393215
DOI:10.1007/s11225-009-9203-4