Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio A meta-model of access control in a fibred security language. (English) Zbl 1181.03031 Stud. Log. 92, No. 3, 437-477 (2009). MSC: 03B70 03B45 03B62 PDFBibTeX XMLCite \textit{S. Barker} et al., Stud. Log. 92, No. 3, 437--477 (2009; Zbl 1181.03031) Full Text: DOI Link
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert Fibred security language. (English) Zbl 1181.03033 Stud. Log. 92, No. 3, 395-436 (2009). MSC: 03B70 03B45 03B62 PDFBibTeX XMLCite \textit{G. Boella} et al., Stud. Log. 92, No. 3, 395--436 (2009; Zbl 1181.03033) Full Text: DOI Link