文献
J-GLOBAL ID:201302240643898530
整理番号:13A0572082
SMT解法による管理用ロールベースアクセス制御政策の計測可能な自動的記号解析
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving
著者 (3件):
ARMANDO Alessandro
(Universita degli Studi di Genova, Genova, ITA)
,
ARMANDO Alessandro
(FBK, Trento, ITA)
,
RANISE Silvio
(FBK, Trento, ITA)
資料名:
Journal of Computer Security
(Journal of Computer Security)
巻:
20
号:
4
ページ:
309-352
発行年:
2012年
JST資料番号:
A1351A
ISSN:
0926-227X
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)