基于重写逻辑的PKMv3协议形式化建模与验证

IEEE802.16m标准在MAC安全子层定义了密钥管理PKMv3协议,用于认证和授权信息的传输以及密钥的交换。由于宽带无线网络具有易遭受攻击的特性,引入入侵者模型分析密钥管理协议的安全机制。利用一种基于重写逻辑的形式化建模语言Maude,实现对PKMv3网络环境中的通信主体以及系统状态的建模,并利用其自带的模型检测工具验证协议的安全特性。验证结果表明,PKMv3协议能保证密钥的机密性以及认证的可靠性,但仍有可能遭遇到中间人攻击破坏消息传输的完整性。

基于Kubernetes的容器云平台研究与设计

针对有效进行平台运用维护的目的,采用Kubernetes和容器技术,提出了云平台的设计构想,旨在提升平台运行灵活度和自动化运维水平,降低运维成本,并将容器云平台融入研发流程中。通过在虚拟测试机上部署Kubernetes集群、cloud-controller-manager管理器和存储模块的实验,实验结果表明,该平台运行平稳,基于Kubernetes的容器云平台应用部署效率高、应用监控能力得以提升、人员成本下降,在实际运用中具有可推广性。