网络安全策略与措施的语义一致性研究.pdfVIP

第21卷 第8期 计 算 机 技 术 与 发 展 Vo1．21 No．8 2011年8月 COMPUTER TECHNOLOGY AND DEVELOPMENT Aug． 2011 网络安全策略与措施的语义一致性研究 肖 庆 ，焦 健 (1．广西师范大学 历史文化与旅游学院，广西桂林 541004； 2．北京信息科技大学计算机学院，北京 100192) 摘 要：计算机网络安全 中以防火墙和入侵检测为代表的安全措施需要由高层策略转换得出。但在转换过程中由于机械 规则的影响，策略与措施间语义的内容可能不一致。文中提出了一种用于计算策略到措施的语义度量方法，针对典型的 ponder策略建立其语言结构化操作语义模型，规定高层策略到底层措施的转换规则，根据特定网络环境和事件，构造相关 的推理引擎，能够 自动实现底层措施到高层策略的语义度量。实验结果表明，该方法可以有效地实现策略和底层措施之 间的在语义上存在的差异。 关键词：策略；措施 ；语义 ；一致性 中图分类号：TP393．08 文献标识码：A 文章编号：1673—629X(2011)08—0220—03 ResearchonSemanticConsistencyofNetworkSecurity PolicyandM easure XIAOQing，JIAOJian (1．Dept．ofHistoryCultureandTourism，GunagxiNormalUniversity，Guilin541004，China； 2．SchoolofComputerSciencenadEngineering，BeijingInfo．Sci．Techn．Univ．，Beijing100192，China) Abstract：Inthecomputernetworksecurity，htemeasuresusinginfirewallandIDSalechnagedbypolicy．Becausehtemachinerulesale usedinhteprocess，themeasureisnotconsistencywiththepolicy．Proposeamethodtomeasuresemnaticbetweenthepo licynadmeas— ure．Itmakeshteesmanticmodelbasedonponderwithoperationsemantic，designhteurletotransform policytome．are ，usingthese urlestofinishengineinordertocomputehteconsistencyautomaticallybythespecificnewtorkenvironmentnadevent．Theexperiment showshtatthemehtodcarlnaalyseconsistencyforsemanticsbetweenpolicynadmeasureeffectively． Keywords：policy；me~ure；semantic；consistency 0 引 言 和措施之间存在相应的转换方法。转换方法作为一种 计算机网络应对攻击都需要相应的网络安全设 机械式计算，其过程中必然存在一定程度语义上的不 备，这些设备在网络威胁产生之前或威胁发生之时部 一 致，因而在实际的操作过程中，二者之间的转换可能 署相关计算机网络安全防御措施。网络中的安全防御 会造成主观意图与实际结果的差异。 措施具有严格具体的形式定义，部署到具体网络节点 针对语义一致性的