Genovese, Valerio ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Modalities for Access Control: Logics, Proof-Theory and Applications
Defense date :
17 December 2012
Institution :
Unilu - University of Luxembourg, Luxembourg, Luxembourg Università di Torino, Italy
