课题基金 / 基金详情

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
海外基金