登录
注册
全部
期刊
图书
学位论文
会议论文
专利
多媒体
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
李伟琴
首页>找到“
李伟琴
”相关的
3
条结果
栏目导航
全部(3)
安全协议分析的界——综合模型检查与Strand Spaces(英文)
关键词:安全协议分析 模型检查 Strand Spaces 定理证明
Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势.
防火墙Http代理用户认证的实现技术
关键词:防火墙 代理 身份认证
防火墙技术是保护网络安全的一种重要手段,Http代理用户认证是防火墙技术的关键之一。文中叙述了http代理用户认证的实现技术。
浅谈访问控制技术
关键词:访问控制技术 安全性 网络
一、访问控制技术简介在商业、金融和国防等领域的网络应用中,能否保证网络具有足够的安全性是第一位的问题。为此,国际标准化组织ISO在其网络安全体系的设计标准(ISO7498-2)中,定义了五大安全服务功能:身份认证服务、访问控制服务、数据保密服务、数据...
1/1