New Ideas in Applied Logic || A Meta-Model of Access Control in a Fibred Security Language
Steve Barker, Guido Boella, Dov M. Gabbay and Valerio GenoveseVolume:
92
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/40269073
Date:
August, 2009
File:
PDF, 4.19 MB
english, 2009