欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
会议
> 会议详情页
Verify Consistency between Firewall Rule Set and Firewall Policy with Answer Set Programming
所属机构名称:武汉大学
成果类型:会议
相关项目:基于文件视图和数字DNA的安全文件系统理论与模型
同会议论文项目
基于文件视图和数字DNA的安全文件系统理论与模型
期刊论文 12
会议论文 12
同项目会议论文
Discover Inconsistencies between Firewall Policies
An Integrated Artificial Immune Systems Model Based On Ontology
Transition System Semantics of DFL as a Scientific Workflow Language
A Novel Immune Detector Model of Linux Process Anomaly Detection
File View: Secure Model in Intranet
Genetic Algorithms for Large Join Query Optimization
Electronic Document Security Sharing System Based On Lineage Mechanism
Workflow Design Based on Data-Flow Skeletons
Reason on UML Diagrams with Answer Set Programming
Embracing Scientific Workflow Knowledge into IDE
Definition of Danger Signal in Artificial Immune System with Cloud Method