首页> 外文OA文献 >Analysis and run-time verification of dynamic security policies.

【2h】

Analysis and run-time verification of dynamic security policies.

机译：动态安全策略的分析和运行时验证。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Janicke Helge; Siewe Francois; Jones Kevin; Cau A. (Antonio); Zedan Hussein;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. DIGGER: Identifying Operating System Dynamic Kernel Objects for Run-time Security Analysis [J] . Amani S. Ibrahim, James Hamlyn-Harris, John Grundy, International Journal on Internet and Distributed Computing Systems . 2013,第1期

机译：DIGGER：确定用于运行时安全性分析的操作系统动态内核对象
2. Cryptanalysis and improvement of the YAK protocol with formal security proof and security verification via Scyther [J] . International journal of communication systems . 2020,第9期

机译：通过正式的安全证明和通过Scyther的安全验证对YAK协议进行密码分析和改进
3. Software Design Analysis with Dynamic System Run-Time Architecture Decomposition [J] . Lei Wu, Sankalp Vinayak International Journal of Software Engineering & Applications (IJSEA) . 2017,第1期

机译：动态系统运行时架构分解的软件设计分析
4. Analysis and Run-Time Verification of Dynamic Security Policies [C] . Helge Janicke, Francois Siewe, Kevin Jones, International Workshop on Defence Applications of Multi-Agent Systems(DAMAS 2005) . 2006

机译：动态安全策略的分析与运行时验证
5. Formal approaches for specifying, enforcing, and verifying security policies. [D] . Al-Qahtani, Abdullah Ali. 2003

机译：用于指定，执行和验证安全策略的正式方法。
6. Compile- and run-time approaches for the selection of efficient data structures for dynamic graph analysis [O] . Benjamin Schiller, Clemens Deusser, Jeronimo Castrillon, -1

机译：选择编译时和运行时方法进行动态图分析的有效数据结构
7. Analysis and Run-time Verification of Dynamic Security Policies [O] . H. Janicke, F. Siewe, K. Jones, 2008

机译：动态安全策略的分析与运行时验证
8. Dynamic Enforcement of Knowledge-based Security Policies. [R] . Mardziel, P., Magill, S., Hicks, M., 2011

机译：基于知识的安全策略的动态实施。

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号