IPSec安全策略沖突檢測算法的研究.pdf

1、IPSec協(xié)議為IP網(wǎng)絡數(shù)據(jù)通信提供完整性，保密性和身份驗證，并支持豐富的保護模式和操作。盡管IPSec協(xié)議有很大的靈活性，但是，IPSec安全策略的復雜語義卻使配置策略極易產(chǎn)生沖突，從而導致不安全的數(shù)據(jù)傳輸。因此有必要對IPSec策略中的沖突進行檢測。
　　 為IPSec安全策略建立數(shù)學模型，使用邏輯表達式表示安全策略的語義，有利于分析安全策略之間的關系。IPSec安全策略沖突可能存在于一個IPSec設備上，即內部沖突，也可能

2、存在于不同IPSec設備間，即外部沖突。安全策略又分為訪問控制列表策略和加密列表策略，其語義各有不同，因此也形成了不同種類的沖突?？偟膩碚f，訪問控制列表上的內部沖突有屏蔽沖突、冗余沖突、相關沖突和異常沖突；加密列表上的內部沖突有會話重疊沖突和弱保護沖突；訪問控制列表上的外部沖突有丟棄沖突、通過沖突和保護沖突；加密列表上的外部沖突同樣是有會話重疊沖突和弱保護沖突。在IPSec安全策略模型的基礎上，對各類沖突發(fā)生的條件形式化描述。