Personal Information

VIEW MORE
Home > Scientific Research > Paper Publications

RRA-SAP security verification based on model checking for RBAC access control systems

Date of Publication:2010-09-01 Hits:

Journal:Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University
ISSN No.:ISSN: 1005-9830
Translation or Not:no
Date of Publication:2010-09-01
Indexed by:期刊论文

Pre One:Implementing a passive network covert timing channel.

Next One:基于RBAC 的多域策略冲突及其检测方法

Recommend this article

 沪ICP备05052060 版权所有©上海交通大学

Click:  | The Last Update Time:..