ip网络访问控制机制的设计与实现

网络安全问题的严峻性和安全需求的普遍化，要求人们有必要在ip网络中提供基础安全控制。基于面向网络基础设施的安全模型，通过分析网络层的安全威胁，设计了ip网络访问控制机制。该机制由密钥协商和报文检测协议组成，实现通信双方的双向身份验证，保证传输过程中报文的真实性和完整性。在比较各类形式化技术的基础上，采用抽象协议表示法对相关协议进行了形式化描述和验证。该访问控制机制提供网络主机间的访问控制，解决了其他在网络边缘实施的访问控制机制无法解决的网络内部安全问题。该机制适合在较小的网络范围内实施，如局域网等，适合于