形式化证明相关论文
Internet的发展给人们提供了通信和获取信息的自由，但同时Internet的开放性也使得网络通信遭受到更多的安全威胁。安全协议利用密码......
标识密码技术是实现网络关键部分认证、授权机制，保障网络可控性，构建可信网络的重要手段。然而由于需要依靠第三方为用户生成私钥，使......
随着移动设备的快速发展,移动应用的数量和质量的不断提高,用户对移动网络的覆盖面积和服务质量的要求日益增高。然而,仅靠网络设......
众所周知，模糊逻辑是由经典逻辑和多值逻辑推广而来的.如今，模糊逻辑在现实生活中的各个领域获得了广泛的应用，尤其是在人工智能领域......
Arrow不可能性定理是社会选择理论的一个重要理论,定理揭示出如果将个人的偏好加总成社会的偏好,不存在一种理性的规则,即不存在集......
学位
针对物联网中标签上数据信息容易泄露的问题,提出了一个新型的双向认证安全强化协议。不同于传统的RFID认证协议,提出的协议通过基......
温室环境测控系统由多个可并发执行的子系统共同协作来构造适宜的温室环境以确保作物有效生长.为提高温室环境测控系统设计的效率......
针对物联网发展的新形势提出一个新型的双向认证协议.有别于传统的RFID认证协议,通过基于零知识证明的认证方法来认证成员身份,并......
