尤娟 作品数:5 被引量:5 H指数:1 供职机构: 解放军信息工程大学 更多>> 发文基金: 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
基于分支界限搜索的EFSM协议测试序列生成算法 被引量:2 2013年 针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法。该算法基于互异代表系理论为每个协议状态变迁赋权值,再基于分支界限法搜索生成的协议测试序列,将协议一致性测试序列的生成转换为寻找最小权值状态变迁路径的问题。该算法克服了无赋权要求的宽度优先搜索的缺陷,降低了测试序列的搜索与生成时间复杂度,提高了测试序列生成的效率。 尤娟 李俊全 夏松关键词:协议一致性测试 测试序列生成 扩展有限状态机 基于音频LSB隐写的统计检测算法 被引量:1 2009年 现有音频隐写软件大多基于最低比特位(LSB)隐写,对LSB隐写的检测算法研究具有重要意义。借鉴图像隐写检测中相关位平面和相邻像素相关性的分析思想,结合16 bit wav音频LSB的隐写特性,通过对音频数据相邻向量对的奇偶和大小分情况讨论,得出隐写会使相邻向量对的统计值增大的结论。通过经验阈值的设定,实现对音频LSB隐写的有效统计检测。理论和实验证明了该算法的正确性。 尤娟 汤光明关键词:音频隐写 最低比特位 相邻像素 密码产品安全风险评估技术研究 2012年 为了保证密码产品风险评估的客观性和准确性,提出了基于威胁分析的定量密码产品安全风险评估方法。针对现有基于安全威胁分析的风险评估方法中,安全威胁概率大都依靠专家经验确定的不足,引入贝叶斯理论,在安全威胁分析和安全防护措施分级的基础上,根据安全威胁和安全防护措施因果关系构建贝叶斯评估网络,计算安全威胁生效概率和产品安全风险值。应用该方法对HAIPE进行了风险评估,实验结果表明了该方法的有效性和合理性。 帅飞 李俊全 尤娟关键词:安全措施 贝叶斯网络 安全风险评估 多PKG环境下无双线性对的基于身份AKA协议 被引量:1 2012年 提出一种多PKG环境下无双线性对的基于身份AKA协议,且在随机预言模型下,将协议的安全性证明规约到标准的计算性CDH假设。提出了相应的基于身份XCR与DCR签名体制,通过对两处体制进行安全性证明,实现对新协议的安全性证明。通过与已有协议的相关性能比较体现了新协议的优点。 尤娟 夏松 李俊全关键词:基于身份 认证密钥协商 双线性对 基于Hide4PGP二次嵌入的音频隐写分析 被引量:1 2009年 针对隐写软件Hide4PGP隐写自相关性进行研究,以隐写一次与未隐写音频和隐写一次与隐写两次音频梯度能量的变化量,和将上述音频样本三级小波分解后,各级小波域细节分量线性预测误差的统计量(均值、方差、偏度和峰度)的变化量为特征向量,用支持向量机作分类器进行音频隐写分析。实验表明,这组特征可以有效地检测出经隐写软件Hide4PGP隐写的音频文件。在保持有效的检测率前提下,降低了特征维数,缩短了SVM分类时间,是对H.Farid所提特征的改进。 尤娟 汤光明关键词:音频隐写分析 小波分解