验证协议相关论文
随着信息技术的飞速发展,各种计算资源通过互联网进行互联与共享不断加强,各行各业的信息化程度也不断加深,人们对计算机、互联网......
随着计算机系统在宇航、气象、救灾、军事等各个关键领域的广泛应用,其可靠性和可信性日趋重要,一旦硬件系统发生故障,可能带来巨......
协议一致性测试是验证计算机网络协议实现与其国际标准是否一致的关键技术。３Ｘ协议是公用分组交换数据网中一组应用十分广泛的协议标......
在一个局域网（ＬＡＮ）上建成网络电子实验室（ＬＡＮ－ＬＡＢＯＲＡＴＯＲＹ）系统。网络电子实验室是面向学生的，开放的实验室。用网卡的站点地址（ＰＳＴＡＴＩＯＮ）作为主体验证的密钥，由于主机......
提出了通信协议自稳定性的两种验证方法．以ＴＣＰ／ＩＰ网络的滑动窗口协议为例，给出它的基于谓词逻辑形式描述的两个文本，前者只是安全的，后者是安......
Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子......
6月下旬获悉,博科与存储网络主机适配器(HBA)供应商Emulex 公司联合宣布,使用 Fabric 设备管理接口(FDMI)和 Emulex的 HBAnyware ......
可证明数据持有使客户能够验证不可信的存储服务提供商是否正确地持有数据。Zhu等人在2012年首次提出混合云环境下协同的可证明数......
本文主要在四个方面介绍NS的使用和在无线网络模拟中的应用。主要介绍网络协议的添加方法,添加新的MAC协议。在研究无线网络路由中......
形式化分析方法是验证协议的有力工具.本文介绍了一些常用的形式化验证方法,并用UPPAAL对FR协议的一个新属性进行了验证.用自动机......
该文介绍了几种具有代表性的安全协议的形式化验证工具，研究并使用JAVA语言实现了基于攻击者和秘密的安全协议验证算法。作者提出了......
随着计算机技术的发展，计算机技术已经渗透到社会生活的方方面面，目前一种小型化、无所不在的计算模式，即普适计算，正逐渐得到普及和应......
随着云存储的不断发展，云存储安全问题逐渐显现，一个完美的数据完整性检测协议可以有效的提高云存储的安全性，而且一个可靠地问责机制......
<正>安全性,这个过去只有在国防项目,财务系统,以及"高安全"要求的设备和平台才会考虑的特性,现今,却是处处都需要。物联网(IOT),......
21世纪什么最贵？必然是人才。而在网络空间安全的威胁与日俱增的今天,信息安全越来越受到大家的重视,信息安全从业人员的待遇也自然......
针对近期Liao和Hsiao提出的基于RFID椭圆曲线密码体制(ECC)加密的无线射频识别(简称RFID)安全认证协议所出现的安全性问题,本文设......
近年来,无线射频识别技术(简称RFID)被广泛应用于实时数据交互领域,本文在分析了一些常规RFID安全协议的缺陷之后,提出了具有反复......
基于身份的验证协议是密码学的重要应用之一。在后量子时代下保证该原语的安全性与高效性已成为重要的研究方向。为了弥补现有量子......
