
A logic-based safety analysis algorithm for discretionary access control
Xuexiong Yan, Qingxian Wang, Junhu Zhu, Qi XiVolume:
17
Langue:
english
DOI:
10.1007/s11859-012-0882-8
Date:
December, 2012
Fichier:
PDF, 300 KB
english, 2012