一种基于状态空间演化的网络安全协议执行验证技术

来源 :广西质量监督导报 | 被引量 : 0次 | 上传用户:hyc20008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章提出一种基于状态空间演化的网络安全协议执行验证技术,实现对全局安全协议执行的验证。经分析表明,该技术可以做到及时发现入侵者的攻击,阻止入侵者欺骗参与者或盗取秘密信息。
其他文献
随着PLC应用技术的日益普及推广,PLC已经成为工业控制领域推广速度最快、应用范围最广的一种控制设备,于是各高校机电类专业都开设了与此相关的课程。由于PLC采用的梯形图的