CSR-DMSS, SM: ConfVeal: Automated Testing of Security Configuration Enforcement in Distributed Networks

CSR-DMSS、SM：ConfVeal：分布式网络中安全配置实施的自动化测试

• 批准号: 1019223
• 负责人: Ehab Al-Shaer
• 金额: $ 21.29万
• 依托单位: University of North Carolina at Charlotte
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-01-01 至 2013-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1019223&HistoricalAwards=false
• 关键词: CSR; DMSS; SM; ConfVeal; Automated

ConfVeal: Automated Testing of Security Conguration Enforcement in Access Control Devices As network security devices constantly updated in their implementation to accommodate new features, or new hardware optimization, the enforcement of the security conguration becomes questionable. In this project, we propose a fully automated pseudo-live testing system (called ConVeal) of security conguration enforcement of access control devices. Our system, ConfVeal, has two novel components: (1) Segmentation-based Test Trac Generator: it uses a novel technique that translates policy congurations into coarse and ne-grain segments in trac space and then generates packets intelligently according to the segment criticality in order to achieve high test space coverage, and (2) Comprehensive Policy Generator: it generates comprehensive policy proles considering various policy structures, eld values, rule complexity and interactions based on customized proles or learned features of existing policy conguration. This research will investigate fundamental issues related to security devices quality assurance. This is important for vendors, government and general consumers. We believe that our proposed research agenda will promote deployment new ecient techniques for access control conguration testing by vendors. New concepts and tools for testing security systems which will stimulate modeling and theorizing pseudo-live conguration testing in research and education. The project will integrate research and education through a close interaction between faculty and both graduate students.

春季：随着网络安全设备在实施中不断更新以适应新功能或新的硬件优化，对安全配置的执行，对安全配置的实施不断更新，对安全控制设备进行了自动测试。在这个项目中，我们提出了一个完全自动化的伪寿命测试系统（称为Corneal），以实施访问控制设备的安全兼配置。 Our system, ConfVeal, has two novel components: (1) Segmentation-based Test Trac Generator: it uses a novel technique that translates policy congurations into coarse and ne-grain segments in trac space and then generates packets intelligently according to the segment criticality in order to achieve high test space coverage, and (2) Comprehensive Policy Generator: it generates comprehensive policy proles considering various policy structures, eld values, rule complexity and interactions based on customized现有政策融合的实体或学识渊博的特征。这项研究将调查与安全设备质量保证有关的基本问题。这对供应商，政府和普通消费者很重要。我们认为，我们拟议的研究议程将促进供应商访问控制配置测试的新型Ecient技术。用于测试安全系统的新概念和工具，这些系统将刺激研究和教育中的伪式配置测试。该项目将通过教职员工与两位研究生之间的紧密互动来整合研究和教育。