刘亚
- 作品数：37 被引量：61H指数：5
- 供职机构：上海理工大学光电信息与计算机工程学院更多>>
- 发文基金：国家自然科学基金上海市“科技创新行动计划”上海市自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学经济管理更多>>
- 信息安全教学新思考被引量：1
- 2016年
- 给出信息安全涵盖的内容,分析新形势下信息安全教学存在的问题。从合理安全教学内容、采用灵活多样的教学方法、注重理论联系实际以及加强学生的道德培养四个方面阐述如何提高学生的学习热情和学习积极性,以改进教学质量。
- 刘亚
- 关键词：信息安全教学内容教学方法实践教学
- 多重关联的静态回归测试用例集构建研究被引量：1
- 2019年
- 静态回归测试用例集构建策略是依据程序间的调用关联,分析因代码更改而受影响的模块,进而构建回归测试用例集,该方法并没有考虑程序间的隐式数据关联,对同一数据库操作或者对公共对象数据操作的方法间存在隐式数据关联。针对代码更改不仅会对调用关联的方法产生影响,也会对隐式数据关联的方法产生影响进行研究,提出了一种多重关联的静态回归测试用例集构建策略,通过构建多重方法关联图分析方法间调用关联和隐式数据关联,进而依据关联关系构建因代码更改而受影响的回归测试用例集。通过对四个开源项目进行实验评估,实验结果表明提出的静态策略提高了回归测试的安全性和精确性。
- 刘惠敏赵逢禹刘亚
- 基于程序切片和BiGRU的代码搜索
- 2021年
- 代码复用可以有效缩短软件开发的时间,而代码搜索是代码复用的主要途径。提出了一种基于程序切片和BiGRU的代码搜索方法,该方法通过构建源代码的程序依赖图,以程序依赖图中出度最大的节点作为兴趣点构建前向切片。将程序切片与源代码的其他相关特征一起构成代码特征。把代码特征和代码的功能描述通过嵌入模块输入到BiGRU网络中,结合注意力机制训练BiGRU模型。用户输入功能查询语句,模型返回向量值最接近的代码。为了验证该模型的可行性和有效性,从开源代码库下载了Java项目,构建了数据集并进行实验。实验结果表明,提出的基于程序切片和BiGRU的方法在代码搜索的准确率和相关性排名等方面都有所改进。
- 杨腾赵逢禹刘亚
- 关键词：程序切片
- 夹角动态路由方案的安全性建模与仿真分析被引量：1
- 2017年
- 无线传感器网络(WSNs)已经被广泛应用在工业和军事中,进行目标监测或者追踪感兴趣的事物.然而,无线通信很容易受到外部攻击,攻击者能够通过无线信号定位到数据源节点的位置.相比于幻影路由方案(PSRS),基于夹角的动态路由方案(ADRS)不仅可以保护源节点位置隐私,而且能够很好地提高网络安全周期和端到端数据包延迟.将进一步分析ADRS保护源节点位置隐私的安全性.首先研究角度与安全性之间的量化关系,通过建立数学模型评估ADRS的平均安全周期,并简单分析其安全边界值.进行仿真实验.实验结果表明,随着固定角度的增大,ADRS的平均安全周期也增大;且在不同的源节点与基站距离中,理论结果与仿真结果非常接近.
- 许拥晶刘亚
- 关键词：数学建模
- Stack Overflow系统的特征融合答案推荐策略
- 2019年
- 针对Stack Overflow系统中用户寻找问题答案效率低的问题,提出一种基于标题相似度、描述相似度、标签相似度、语义相似度的特征融合答案推荐策略(FIARS)。从Stack Overflow网站中抽取“问题与答案”语料集,对答案进行去重处理,建立问题索引和问题对应的答案集索引;采用余弦相似度计算新问题与语料库中问题在标题、标签、问题描述等维度上的相似度,并构建语义模型计算语义相似度;基于这些相似度筛选出最佳的“问题与答案”候选集并把答案推荐给用户。为了验证策略的可行性和有效性,使用Stack Overflow真实数据集进行分析实验,实验结果表明该策略能够较大地提高答案推荐的准确率。
- 万杰赵逢禹刘亚
- 关键词：STACKOVERFLOW余弦相似度语义模型
- 基于分支路径与变量状态差异的软件缺陷定位方法
- 2020年
- 传统的基于测试的分支路径差异分析的软件缺陷定位方法不能有效利用程序源代码中变量状态等可用信息。针对此问题,本文提出了一种基于分支路径与变量状态差异分析的缺陷定位方法。首先对需要输出的分支和变量信息进行插桩,再使用GCC编译器对插桩后的程序进行编译输出,得到分支覆盖矩阵和变量值信息。使用余弦相似度公式获取相似分支路径对,并对相似分支路径对中的变量进行差异分析,通过变量差异分析来提高缺陷语句的可疑度。通过在Siemens套件上进行实验分析并与DStar等经典实验进行对比,基于分支路径与变量状态差异分析的方法能够有效提高软件缺陷语句怀疑度。
- 张大全赵逢禹刘亚
- 一种委员会机制的可编辑区块链方案
- 2024年
- 区块链具有去中心化、可追溯、不可篡改等特性,但其不可篡改性使得链上一些违法信息被永久保留。针对这一问题,提出基于委员会机制的可编辑区块链方案。首先,通过随机抽签算法选取委员会成员;接着,结合基于权益证明共识机制,对用户编辑请求采用投票共识的去中心化编辑策略;最后,利用变色龙哈希函数修改链上数据;此外,引入问责机制防止用户作恶,论证了该方案的安全性和收敛性。模拟实验验证,所提方案能够在去中心化的环境下高效地修改区块内容,且不影响区块链的一致性。
- 刘亚李昌辉赵逢禹任艳丽
- 关键词：区块链
- 25轮T-TWINE-128的中间相遇攻击
- 2024年
- T-TWINE-128是基于广义Feistel结构的轻量级可调分组密码,密钥长度为128比特,加密的数据块大小为64比特.由于轻量级分组密码在设计时为了追求更高的软硬件实现效率,往往会牺牲部分安全性,因此必须评估其安全强度.本文通过计算机编程得到了T-TWINE-128的轮密钥的一些线性关系,再结合调柄值生成算法的特性,利用区分器自动搜索算法,搜索出11轮T-TWINE-128的中间相遇攻击区分器,在此区分器前面接5轮,后面接9轮,形成25轮T-TWINE-128的中间相遇攻击路径,整个攻击过程共耗时652.39ms,攻击需要数据、时间和存储复杂度分别为256个选择明文、2126.41次加密、265个64比特块;最后搜索密钥编排算法的冗余性发现T-TWINE-128很难进行更高轮中间相遇攻击.
- 刘亚刘采玥颜勇曲博
- 基于路径关键状态变量的测试用例约简
- 2020年
- 关联矩阵测试用例约简在软件测试中具有重要的作用,可以提高测试效率,降低测试成本。本文提出了基于路径关键状态变量的测试用例约简方法,该方法通过抽象语法树获取关键状态变量信息,并基于该信息构建测试用例关联矩阵,最后根据约简准则来判断该测试用例是否可以被约简。本文选取了西门子测试用例集中四个程序进行了实验,实验结果表明,基于路径的关键状态变量测试用例约简方法可以在保证原有测试用例集测试效率的情况下,有效地减少原测试用例集的数量。
- 高杰赵逢禹刘亚
- 关键词：软件测试抽象语法树关联矩阵
- 不可能差分分析时间复杂度通用计算公式的改进被引量：1
- 2018年
- 研究Boura等和Derbez分别提出的不可能差分分析时间复杂度计算公式,根据实际攻击过程优化密钥排除的步骤,给出不可能差分分析实际攻击的时间复杂度计算的改进公式,进而利用两个分组密码算法模型将改进后公式计算的实际结果分别与Boura等的公式和Derbez的公式的计算结果进行对比,结果表明Boura等的公式计算结果既可能高于优化公式的实际分析计算的结果,也可能低于优化公式的实际分析计算的结果,而在轮子密钥独立时改进后公式的实际计算结果是Derbez公式的计算结果的2-1.2倍。
- 刘亚刘亚刘亚刘志强李玮
- 关键词：分组密码时间复杂度
