HBAC: A Model for History-based Access Control and Its Model Checking
HBAC: A Model for History-based Access Control and Its Model Checking
复制标题
HBAC：基于历史的访问控制模型及其模型检验
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Yoshiaki Takata and Hiroyuki Seki
中科院分区：
文献类型：
--
作者：
Jing Wang;Yoshiaki Takata and Hiroyuki Seki
登录
查看更多内容
DOI：
10.1007/3-540-36159-6_33
发表时间：
2002
期刊：
--
影响因子：
--
作者：
Shigeta Kuninobu;Y. Takata;Daigo Taguchi;Masayuki Nakae;H. Seki
通讯作者：
H. Seki
具有本地策略的基于历史的访问控制
DOI：
--
发表时间：
2005
期刊：
Foundations of Software Science and Computation Structure
影响因子：
--
作者：
Massimo Bartoletti;P. Degano;G. Ferrari
通讯作者：
G. Ferrari
.NET 上经过认证的内联参考监控
DOI：
10.1145/1134744.1134748
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Kevin W. Hamlen;J. G. Morrisett;F. Schneider
通讯作者：
F. Schneider
使用模型检查对具有基于历史的访问控制的程序进行信息流分析
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
Jing;Wang;Nobuhiro;Ito;Yoshiaki;Takata;Hiroyuki;Seki
通讯作者：
Seki
DOI：
--
发表时间：
1999
期刊：
Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No.99CB36344)
影响因子：
--
作者：
T. Jensen;D. L. Métayer;Tommy Thorn
通讯作者：
Tommy Thorn