形式化证明相关论文
Internet的发展给人们提供了通信和获取信息的自由,但同时Internet的开放性也使得网络通信遭受到更多的安全威胁。安全协议利用密码......
标识密码技术是实现网络关键部分认证、授权机制,保障网络可控性,构建可信网络的重要手段。然而由于需要依靠第三方为用户生成私钥,使......
随着移动设备的快速发展,移动应用的数量和质量的不断提高,用户对移动网络的覆盖面积和服务质量的要求日益增高。然而,仅靠网络设......
众所周知,模糊逻辑是由经典逻辑和多值逻辑推广而来的.如今,模糊逻辑在现实生活中的各个领域获得了广泛的应用,尤其是在人工智能领域......
Arrow不可能性定理是社会选择理论的一个重要理论,定理揭示出如果将个人的偏好加总成社会的偏好,不存在一种理性的规则,即不存在集......
学位
针对物联网中标签上数据信息容易泄露的问题,提出了一个新型的双向认证安全强化协议。不同于传统的RFID认证协议,提出的协议通过基......
温室环境测控系统由多个可并发执行的子系统共同协作来构造适宜的温室环境以确保作物有效生长.为提高温室环境测控系统设计的效率......
针对物联网发展的新形势提出一个新型的双向认证协议.有别于传统的RFID认证协议,通过基于零知识证明的认证方法来认证成员身份,并......
针对基于位置服务隐私保护中以索引为主的隐私信息检索策略在处理时间和用户属性保护方面的不足,提出了一种属性基隐私信息检索的......
针对Hadoop distributed file system(HDFS)的安全机制中密钥管理复杂、用户需进行多次身份认证的问题,提出一个适合HDFS的基于身份......
为使得无线Mesh网络节点安全、高效入网认证,总结出一种以标识认证为基础的接入认证协议.以无线Mesh网络特点作为参考,在节点接入......
Xen作为一种虚拟化工具因开源、高效等特点而受到越来越多的关注。作为Xen安全的基础,XSM决定了其安全性。原生XSM没有对系统资源......
形式化方法主要应用于安全性第一的系统的规范与形式验证.原型证明系统PVS为开发和分析形式化规范和验证提供了一个集成化环境.本......
安全性是射频识别系统面临的重要隐患,针对该问题,设计了用于加密的位替换运算,并提出了一种新的基于位替换运算的RFID双向认证协......
为了提高恶意参与者模型下两方安全计算协议的效率,文中协议使用了简单的轮换映射,这样不仅可以检测恶意参与方输入的一致性,而且避免......
为解决面向廊桥AP的机载无线网络数据传输过程中无统一安全机制的问题,提出一种安全性强且机制完善的安全认证方法,主要创新点如下......
为了提高多服务器环境身份认证的安全性,降低计算复杂度,提出一种基于双线性映射的三因子认证协议,这些因子包括生物信息、智能卡......
随着移动通信技术的快速发展,移动通信系统为人们提供了越来越多的新业务。这些新业务在丰富人们生活的同时,自身的安全问题也日益......
讨论了重写对策在基于高阶逻辑定理证明系统HOL的形式化证明过程中的应用.通过REWRITE_ TAC对策、ASM_ REWRITE_ TAC对策和RW_ TAC......
在完全放开的网络情况下,针对如何构造安全和高效的密钥协商协议,提出了一种双轮双方认证密钥协商协议。利用密钥协商出一个共同会话......
为解决无线Mesh网络节点高效、安全入网认证的问题,提出了一种新的基于标识认证的无线Mesh网络接入认证协议。该协议针对无线Mesh网......
机密性和完整性是操作系统安全的两个重要特性,BLP模型只解决了机密性的问题,而Biba模型只解决了完整性的问题,其他模型也都类似,......
针对飞机通过廊桥接入点与航空公司进行飞机健康管理数据、电子飞行包等数据传输的无线网络无统一身份认证机制的问题,结合椭圆曲......
为了有效解决函数系统建模、信号实时分析等数理支持领域验证与测试的定理证明形式化问题,设计并实现了利用Lebesgue积分的运算特......
期刊