攻击者模型相关论文
从目前的研究成果来看，基于CPN（Colored Petri Nets，着色Petri网）的密码协议形式化建模及其分析方法主要采用传统的Dolev—Yao攻击者模......
本文中,我们考察了承诺方案的不同性质,并给出了将具有一类性质的函数(q-单向群同态)转变为非交互式不可延展承诺方案的通用方法和......
近年来，个性化技术在提升互联网信息服务质量方面发挥了重要的作用。伴随个性化思想的普及，各类互联网应用愈发关注用户个人的信息需......
无线传感器网络作为物联网的特殊子集,被广泛的应用于目标监测,特别是对敏感对象的监测。在无线传感器网络中,我们称感知到目标对......
安全协议,是以密码学为基础的信息交换协议。由于安全目标本身的复杂性、协议运行环境的复杂性以及攻击者模型的复杂性等多方面的......
OAuth 2.0协议为新型开放授权协议，主要解决用户账号关联和资源共享问题.但其弱安全性导致各网络公司海量用户信息泄露，且OAuth ......
在TLS协议的应用中,很多情况下采用的是RSA签名,由于RSA签名算法本身的缺陷,导致TLS协议攻击者具有利用其漏洞而伪造参与方签名的......
形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于Promela语言,将P.......
射频识别技术(Radio Frequency Identification)是一项从八十年代开始逐步走向成熟的自动识别技术。与其它自动识别技术相比，RFID技......
随着无线传感网领域和工业控制领域的不断发展，网络空间中的新兴领域不断产生，网络通信机制也日益复杂。安全协议作为保障各类新兴领......
提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度.定义了攻击......
Strdnd空间模型是一种安全协议分析模型，使用图的形式来描述协议，证明协议的正确性。通过分析研究，本文建立了攻击者模型．并在此基础上......
在Dolev-Yao攻击者模型基础上,利用通信顺序进程(Communicating Sequential Processes,CSP)对物联网安全协议攻击者能力进行形式化......
针对当前RFID安全协议可能存在的恶意追踪问题,文章提出了一个追踪攻击的形式化分析模型。该模型首先定义了攻击者消息元素集合的......
随着射频识别技术的发展,RFID系统的安全问题成为了人们关注的重点。攻击者模型的建立为更好的解决系统安全问题奠定了基础。本文......
随着EPC物联网的出现和应用,为公安情报信息获取提供了新的平台,有效地延伸和拓展了公安情报信息采集的时间和空间,但EPC物联网中......
提出一种能对安全协议进行分析的自动化验证机制。提出需求的概念,认为需求是攻击者未知但又对攻击者合成目标项至关重要的知识集......
日趋流行的基于位置服务(LBS,location-based service)在为人们日常生活带来便利的同时也严重威胁到用户隐私。位置隐私保护技术逐......
射频识别技术（Radio Frequency Identification）是一项从八十年代开始逐步走向成熟的自动识别技术。与其它自动识别技术相比,RFID技......
