Policy Controlled System and Its Model Checking
Policy Controlled System and Its Model Checking
复制标题
策略控制系统及其模型检验
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
et al.
中科院分区：
文献类型：
--
作者：
S.Kuninobu;et al.
登录
查看更多内容
DOI：
10.1007/3-540-36159-6_33
发表时间：
2002
期刊：
--
影响因子：
--
作者：
Shigeta Kuninobu;Y. Takata;Daigo Taguchi;Masayuki Nakae;H. Seki
通讯作者：
H. Seki
通过堆栈检查对程序进行安全验证
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
新田 直也
通讯作者：
新田 直也
DOI：
10.1109/secpri.1997.601312
发表时间：
1997
期刊：
Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097)
影响因子：
--
作者：
S. Jajodia;P. Samarati;V. S. Subrahmanian
通讯作者：
V. S. Subrahmanian
使用模型检查分析 SPKI/SDSI 证书
DOI：
10.1109/csfw.2002.1021812
发表时间：
2002
期刊：
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15
影响因子：
--
作者：
S. Jha;T. Reps
通讯作者：
T. Reps
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