搜索筛选:
搜索耗时0.6513秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：李玎,祝跃飞,芦斌,林伟,
来源：网络与信息安全学报 年份：2021
网络加密流量侧信道攻击通过分析、提取网络应用通信过程中泄露的数据包长度、时间等侧信道信息,能够识别用户的身份和行为,甚至还原用户输入的原始数据。基于信息论建立了网络加密流量侧信道攻击模型,使用统一的模型框架分析了代表性的指纹攻击、击键攻击和语......
[期刊论文] 作者：肖睿卿,祝跃飞,刘胜利,芦斌,
来源：网络与信息安全学报 年份：2021
由于固件的特点,传统二进制比对方法在匹配函数节点传播匹配的过程中易产生误匹配。针对匹配函数传播效果不理想的问题,设计了基于候选函数组的函数对应关系构建方法,并引入...
[期刊论文] 作者：张协力,祝跃飞,顾纯祥,陈熹,
来源：软件学报 年份：2021
形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误...
[期刊论文] 作者：张协力,祝跃飞,顾纯祥,陈熹,
来源：网络与信息安全学报 年份：2021
符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行.结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密......
[期刊论文] 作者：陈明豪,祝跃飞,芦斌,翟懿,李玎,
来源：计算机科学 年份：2021
随着流量加密技术的不断发展,加密流量已逐渐取代非加密流量成为当前网络环境的主流,其在保护用户隐私的同时,也常被各种恶意软件用来规避传统的基于端口或载荷关键字的入侵...
相关搜索：
