Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
BEN FADHEL, Ameni ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
BIANCULLI, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
BRIAND, Lionel ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Hourte, Benjamin
External co-authors :
no
Language :
English
Title :
A model-driven approach to representing and checking RBAC contextual policies.
Publication date :
March 2016
Event name :
6th ACM Conference on Data and Application Security and Privacy (CODASPY 2016)
Event date :
9-11 March 2016
Audience :
International
Main work title :
Proceedings of the 6th ACM Conference on Data and Application Security and Privacy (CODASPY 2016)
