-
题名基于IBE策略的物联网终端设备间的身份认证方案
被引量：6
- 1
-
-
作者
李秋月
赵艳
李世明
於家伟
高胜花
-
机构
哈尔滨师范大学计算机科学与信息工程学院
洛阳师范学院物理与电子信息学院
上海市信息安全综合管理技术研究重点实验室
-
出处
《信息技术与网络安全》
2020年第3期6-9,22,共5页
-
基金
上海市信息安全管理技术研究重点实验室开放课题(AGK2015003)
-
文摘
随着物联网终端设备间直接通信的需求不断增大,为解决物联网终端设备间安全通信和隐私保护问题,终端设备间认证技术成为人们关注的一个热点,业界诸多学者已经对此展开相关研究并提出多种物联网终端设备间的认证机制。但是,上述机制在安全强度及抵抗攻击效果方面尚存在不足。为解决此问题,该文提出一种基于IBE策略的物联网终端设备身份认证方案,实现终端设备之间匿名双向认证,同时使用椭圆曲线加密算法保证认证过程中信息传输的安全性。通过安全性理论分析和性能分析表明,该方案可很好地抵抗重放攻击、中间人攻击和篡改攻击等已知攻击且具有较低的计算开销。
-
关键词
物联网安全
物联网终端设备认证
IBE策略
双向认证
-
Keywords
Internet of Things security
IoT trust ID
identity-based encryption strategy
two-way authentication
-
分类号
TP309.1
[自动化与计算机技术—计算机系统结构]
-
-
题名基于DAPA的卷积神经网络Web异常流量检测方法
被引量：3
- 2
-
-
作者
高胜花
李世明
李秋月
於家伟
郑爱勤
-
机构
哈尔滨师范大学计算机科学与信息工程学院
上海市信息安全综合管理技术研究重点实验室
-
出处
《信息技术与网络安全》
2020年第2期8-12,共5页
-
基金
上海市信息安全管理技术研究重点实验室开放课题(AGK2015003)
-
文摘
针对Web攻击流量检测问题,提出一种基于动态自适应池化算法(Dynamic Adaptive Pooling Algorithm,DAPA)的卷积神经网络模型。首先将数据集中每一条请求流量进行剪裁、对齐、补足等操作,生成一系列50×150的矩阵数据A作为输入,然后搭建基于动态自适应的卷积神经网络模型去进行异常流量检测,使之可以根据特征图的不同,动态地调整池化过程,在网络结构中添加Dropout层来解决流量特征提取过程中的过拟合问题。实验表明,该方法比未使用动态自适应池化的方式精确度提升了1.2%,损失值降低了2.6%,过拟合问题也得到了解决。
-
关键词
异常流量检测
卷积神经网络
动态自适应池化
-
Keywords
abnormal flow detection
convolutional neural network
dynamic adaptive pooling
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名基于圈复杂度的阶段动态符号执行
- 3
-
-
作者
毕雪洁
於家伟
李世明
-
机构
哈尔滨师范大学计算机科学与信息工程学院
上海市信息安全综合管理技术研究重点实验室
-
出处
《信息技术与网络安全》
2020年第4期24-29,共6页
-
基金
上海市信息安全管理技术研究重点实验室开放课题(AGK2015003)。
-
文摘
为了缓解动态符号执行不可避免的路径爆炸等问题,提出了基于圈复杂度的阶段动态符号执行CCSDSEM优化算法。该算法通过计算约束判定条件为真的数量来衡量代码的圈复杂度,然后依据圈复杂度的阈值进行分阶段动态符号执行,使动态符号执行梯度进行,缓解路径选择指数爆炸,合理缩放符号执行。最后在KLEE中实现CCSDSEM框架,并对测试程序做了检测。CCSDSEM将符号执行的运行时间显著缩短,提升了生成测试用例的数量。
-
关键词
圈复杂度
动态符号执行
阶段执行
软件测试
-
Keywords
cyclomatic complexity
concolic execution
scaling symbolic execution
software testing
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名基于参数约束的分支覆盖符号执行优化算法
- 4
-
-
作者
於家伟
李世明
毕雪洁
李秋月
高胜花
-
机构
哈尔滨师范大学计算机科学与信息工程学院
上海市信息安全综合管理技术研究重点实验室
-
出处
《信息技术与网络安全》
2020年第1期14-18,共5页
-
基金
上海市信息安全管理技术研究重点实验室开放课题(AGK2015003)
-
文摘
软件质量检测常用的方法是软件测试,符号执行作为主流的测试技术已被广泛应用于学术界与工业界中。但是随着程序规模的增大和函数调用的增加,因某些路径约束条件的特殊性,而难以生成正确的测试用例,从而导致符号执行不能对所有路径做到全覆盖。为了提高符号执行在特殊约束条件对路径的覆盖率等问题,本文提出了基于参数约束的符号执行优化算法。首先,该算法通过搜索收集程序代码中函数的特殊参数,然后利用这些特殊参数作为约束条件,最后将约束条件添加到路径的约束集中。该算法使符号执行生成的测试用例更加精确,从而实现覆盖特殊约束条件下的路径分支,以提高符号执行的精确性和路径覆盖率。在开源符号执行平台CREST中实验并验证上述优化算法,验证及测试结果表明本文提出的算法能够提高符号执行在特殊约束条件下对路径的覆盖率。
-
关键词
符号执行
参数约束
测试用例
软件测试
-
Keywords
symbolic execution
parameter constraint
test case
software test
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
