首页> 外文OA文献 >Analyzing Security-Enhanced Linux Policy Specifications

【2h】

Analyzing Security-Enhanced Linux Policy Specifications

机译：分析安全性得到增强的Linux策略规范

页面导航

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

著录项

作者
M. Archer; E. Leonard; M. Pradella;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Logical Specification and Analysis for SELinux MLS Policy [J] . BONIFACE HICKS, SANDRA RUEDA, LUKE ST.CLAIR, ACM transactions on information and system security . 2010,第3期

机译：SELinux MLS策略的逻辑规范和分析
2. Towards a Formal Model for Security Policies Specification and Validation in the SELinux System [J] . Giorgio Zanin, Luigi Vincenzo Mancini ACM Symposium on Access Control Models and Technologies . 2004,第2004Suppla期

机译：建立SELinux系统中安全策略规范和验证的正式模型
3. Networking in NSA Security-Enhanced Linux [J] . JAMES MORRIS Linux Journal . 2005,第129期

机译：NSA安全性增强型Linux中的网络
4. Analyzing security-enhanced Linux policy specifications [C] . Archer, M., Leonard, . 2003

机译：分析安全性得到增强的Linux策略规范
5. Analyzing Android Applications for Specifications and Bugs [D] . Dominguez, Danilo. 2013

机译：分析Android应用程序的规范和错误
6. Testing the Dose–Response Specification in Epidemiology: Public Health and Policy Consequences for Lead [O] . Stephen J. Rothenberg, Jesse C. Rothenberg 2005

机译：在流行病学中测试剂量-反应规范：铅的公共卫生和政策后果
7. Analyzing Security-Enhanced Linux policy specifications [O] . Myla Archer, Elizabeth Leonard, Matteo Pradella 2003

机译：分析安全性增强的Linux策略规范
8. Analyzing Security-Enhanced Linux Policy Specifications. [R] . Archer, M., Leonard, E., Pradella, M. 2003

机译：分析安全性增强的Linux策略规范。

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号