RRA-SAP security verification based on model checking for RBAC access control systems
发布时间：2020-06-09
发表刊物：Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University
ISSN号：ISSN: 1005-9830
是否译文：否
发表时间：2010-09-01
论文类型：期刊论文