新的域间身份认证协议及其形式化验证

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:asdfghjkc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Intemet上不同的安全域间要实现信息资源的安全访问首先需要认证。目前常用的认证协议是Kerberos协议,但在网络环境下,该协议无法对真实的客户端进行认证。因此,给出了新的域间身份认证协议以及相应的“现时”产生方案,并利用改进的Spi演算对所设计的认证协议进行了分析,证明了该协议的安全性,能够有效地解决网间的信息安全传输。
其他文献
<正>在2016年新小麦陆续成熟收获上市期间,河北省的邯郸地区南部和河南省的大部分主产区遭遇连续阴雨天气,使进入成熟期的小麦不能及时收割,即使收割了又得不到及时的晾晒,使
智能定等系统中脂肪酸值自动测定法与常规手工法相互校准,验证了仪器自动滴定法的实际应用效果,具有操作快捷、减少人为误差的优点,未来与相关业务软件对接可以实现数据共享,
针对线状缺陷是制约汽车钢板表面品质的关键问题,对汽车钢种热轧板和冷轧板的表面缺陷进行SEMEDS分析。研究发现保护渣是引起汽车板线状缺陷的主要原因。提高钢液洁净度可以
设计了一种新型的输入设备——微加速度计鼠标系统,该系统融合了MEMS微加速度计和无线射频技术,能够实现传统鼠标的功能。该系统由用户控制和信号接收两部分组成。无线射频技术