课题基金 / 基金详情

Analysis and Verification of Filtering Rules in Security Policies

Analysis and Verification of Filtering Rules in Security Policies
安全策略过滤规则分析与验证
批准号：
0353168
负责人：
Ehab Al-Shaer
金额：
$5.0万
依托单位：
DePaul University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2003
资助国家：
美国
项目状态：
已结题
起止时间：
2003-09-15 至 2004-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0353168&HistoricalAwards=false
关键词：
AnalysisVerificationFilteringRulesSecurity

项目摘要

项目成果

Ehab Al-Shaer的其他基金

相似基金

相关文献

中文摘要
翻译
这项工作的目标是通过使用过滤规则和一些入侵检测技术来开发下一代防火墙。防火墙是信息安全中一个非常重要的领域。该项目将在安全策略中合并过滤规则。特别地，将开发策略和过滤规则的规范以及用于分析和验证规则过滤的算法。研究结果将用于检测入侵以及开发下一代防火墙。
英文摘要
This goal of this effort is to develop the next general of firewalls by using filtering rules and some intrusion detection techniques. Firewalls are a very important area in information security. The project will incorporate filtering rules in security policies. In particular specification of policies and filtering rules as well as algorithms for analyzing and verifying the filtering of the rules will be developed. The results will be used to detect intrusions as well as to develop the next generation of firewalls.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CSR: Small: Collaborative Research: Multi-party Collaborative Data Access
CyberSEES: Enabling Sustainable Civil Infrastructure Using Interactive Formal Analytics for Structural Health Diagnosis
EAGER: Toward Automated Integration of Moving Target Defense Techniques
NeTS: Small: Collaborative Research: Enabling Network Agility Through Virtualized Infrastructure Migration
海外基金