Role updating in information systems using model checking
Hu, Jinwei, Khan, Khaled M., Zhang, Yan, Bai, Yun, Li, RuixuanLanguage:
english
Journal:
Knowledge and Information Systems
DOI:
10.1007/s10115-016-0974-4
Date:
July, 2016
File:
PDF, 2.08 MB
english, 2016