Login / Signup

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

Steve BarkerGuido BoellaDov M. GabbayValerio Genovese
Published in: Stud Logica (2009)
Keyphrases