聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 安全协议形式化分析的新进展:基于逻辑程序的验证方法
出处:2004年全国理论计算机科学学术年会
摘要:安全协议的主要目标是使多个通信主体能够在开放式的网络环境(如Internet)中正确地进行身份认证和安全地交... 显示全部
关键词: 安全协议 形式化分析 逻辑程序
会议论文 电子商务安全协议的自动检测探讨
出处:第三届中国信息和通信安全学术会议
摘要:本文提出了一种新的形式化方法来分析电子商务协议属性,以实现从手工分析到半自动化的分析转化,最后达到自... 显示全部
关键词: 电子商务 安全协议 自动检测
会议论文 在LINUX上实现因特网安全协议
出处:中国科学院计算技术研究所第六届计算机科学与技术研究生学术讨论会
摘要:IPSEC协议是新一代因特网的安全标准,它为TCP/IP协议栈中的网络层提供数据加密和身份认证等服务,可以有效地... 显示全部
关键词: 安全协议 因特网 网络层 数据加密 身份认证 网络安全
找到3条结果
`