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

Steve Barker, Guido Boella, Dov Gabbay, Valerio Genovese

Research output: Contribution to journal › Article › peer-review

4 Citations (Scopus)

Cite this

@article{f488a09ee052452dba5f3eb7f8dad387,

title = "A Meta-model of Access Control in a Fibred Security Language",

author = "Steve Barker and Guido Boella and Dov Gabbay and Valerio Genovese",

year = "2009",

month = aug,

language = "English",

volume = "92",

pages = "437 -- 477",

journal = "Studia Logica",

publisher = "Springer Netherlands",

number = "3",

}