Verification of agent knowledge in dynamic access control policies
Verification of agent knowledge in dynamic access control policies
复制标题
动态访问控制策略中代理知识的验证
DOI：
10.48550/arxiv.1401.4730
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Koleini M
中科院分区：
文献类型：
--
作者：
Koleini M
登录
查看更多内容
DOI：
10.1145/1558109.1558144
发表时间：
2009-05
期刊：
--
影响因子：
--
作者：
F. Russo
通讯作者：
F. Russo
具有模态逻辑的隐私政策：动态转向
DOI：
--
发表时间：
2010
期刊：
International Workshop on Deontic Logic in Computer Science
影响因子：
--
作者：
Guillaume Aucher;G. Boella;Leendert van der Torre
通讯作者：
Leendert van der Torre
通过模型检查合成经过验证的访问控制系统
DOI：
--
发表时间：
2008
期刊：
Journal of computing and security
影响因子：
--
作者：
Nan Zhang;M. Ryan;Dimitar P. Guelev
通讯作者：
Dimitar P. Guelev
一种基于知识的动态访问控制策略验证方法
DOI：
--
发表时间：
2011
期刊：
IEEE International Conference on Formal Engineering Methods
影响因子：
--
作者：
M. Koleini;M. Ryan
通讯作者：
M. Ryan
DOI：
--
发表时间：
2009
期刊：
IEEE Computer Security Foundations Symposium
影响因子：
--
作者：
Moritz Y. Becker
通讯作者：
Moritz Y. Becker