计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2010年
5期
78-82
,共5页
XSB逻辑编程系统%策略层次%策略验证
XSB邏輯編程繫統%策略層次%策略驗證
XSB라집편정계통%책략층차%책략험증
高级安全策略又称为安全需求,低级策略配置是高级策略的实现,正确的低级策略配置必须能够满足安全需求.网络安全取决于低级策略配置的正确性,由于策略配置异常复杂,并且缺乏准确描述安全需求的方法,这为策略的正确性分析提出了巨大的挑战.采用逻辑编程方法来分析网络安全策略,通过将低级策略配置、高级策略、漏洞信息等元素转化为逻辑程序,将网络中所有可能存在的访问与安全需求进行对比,判定策略配置是否满足安全需求,并给出所有不满足安全需求的策略配置.
高級安全策略又稱為安全需求,低級策略配置是高級策略的實現,正確的低級策略配置必鬚能夠滿足安全需求.網絡安全取決于低級策略配置的正確性,由于策略配置異常複雜,併且缺乏準確描述安全需求的方法,這為策略的正確性分析提齣瞭巨大的挑戰.採用邏輯編程方法來分析網絡安全策略,通過將低級策略配置、高級策略、漏洞信息等元素轉化為邏輯程序,將網絡中所有可能存在的訪問與安全需求進行對比,判定策略配置是否滿足安全需求,併給齣所有不滿足安全需求的策略配置.
고급안전책략우칭위안전수구,저급책략배치시고급책략적실현,정학적저급책략배치필수능구만족안전수구.망락안전취결우저급책략배치적정학성,유우책략배치이상복잡,병차결핍준학묘술안전수구적방법,저위책략적정학성분석제출료거대적도전.채용라집편정방법래분석망락안전책략,통과장저급책략배치、고급책략、루동신식등원소전화위라집정서,장망락중소유가능존재적방문여안전수구진행대비,판정책략배치시부만족안전수구,병급출소유불만족안전수구적책략배치.
