首页期刊导航|计算机科学
期刊信息/Journal information
计算机科学
计算机科学

朱完元

月刊

1002-137X

jsjkx12@163.com

023-63500828

401121

重庆市渝北区洪湖西路18号

计算机科学/Journal Computer ScienceCSCD北大核心CSTPCD
查看更多>>本刊的读者对象是:大专院校师生,从事计算机科学与技术领域的科研、生产人员。办刊宗旨是:坚持“双百”方针,活跃计算机科学与技术领域的学术气氛,重点报导国内外计算机科学与技术的发展动态,为我国的计算机科学与技术立于世界之林、达到国际先进水平奋斗而矢志不渝。
正式出版
收录年代

    结合模糊测试和动态分析的内存安全漏洞检测

    马莺姿陈哲殷家乐毛瑞琪...
    352-358页
    查看更多>>摘要:C语言因其在运行速度及内存控制方面的优势而被广泛应用于系统软件和嵌入式软件的开发.指针的强大功能使得它可以直接对内存进行操作,然而C语言并未提供对内存安全性的检测,这就使得指针的使用会导致内存泄露、缓冲区溢出、多次释放等内存错误,有时这些错误还会造成系统崩溃或内部数据破坏等的致命伤害.当前已存在多种能够对C程序进行内存安全漏洞检测的技术.其中动态分析技术通过插桩源代码来实现对C程序的运行时内存安全检测,但是只有当程序执行到错误所在路径时才能发现错误,因此它依赖于程序的输入;而模糊测试是一种通过向程序提供输入并监视程序运行结果来发现软件漏洞的方法,但是无法检测出没有导致程序崩溃的内存安全性错误,也无法提供错误所在位置等详细信息.除此之外,由于C语言的语法比较复杂,在对一些大型复杂项 目进行分析时,动态分析工具经常无法正确处理一些不常见的特定结构,导致插桩失败或者插桩后的程序无法被正确编译.针对上述问题,通过将动态分析技术与模糊测试技术结合,并对已有方法进行改进后,提出了 一种能够对包含特定结构的C程序进行内存安全检测的方法.文中进行了可靠性和性能的实验,结果表明,在增加对C语言中特定结构的处理方法之后,能对包含C语言中特定结构的程序进行内存安全检测,并且结合模糊测试技术后具有更强的漏洞检测能力.

    内存安全源代码插桩动态分析模糊测试内存错误

    SGPot:一种基于强化学习的智能电网蜜罐框架

    王毓贞宗国笑魏强
    359-370页
    查看更多>>摘要:随着工业4.0的快速推进,与之互联的电力数据采集与监视控制(Supervisory Control and Data Acquisition,SC ADA)系统逐渐趋于信息化和智能化.由于这些系统本身具有脆弱性以及受到攻击和防御能力的不对等性,使得系统存在各种安全隐患.近年来,针对电力攻击事件频发,亟需提出针对智能电网的攻击缓解方法.蜜罐作为一种高效的欺骗防御方法,能够有效地收集智能电网中的攻击行为.针对现有的智能电网蜜罐中存在的交互深度不足、物理工业过程仿真缺失、扩展性差的问题,设计并实现了一种基于强化学习的智能电网蜜罐框架——SGPot,它能够基于电力行业真实设备中的系统不变量模拟智能变电站控制端,通过电力业务流程的仿真来提升蜜罐欺骗性,诱使攻击者与蜜罐深度交互.为了评估蜜罐框架的性能,搭建了小型智能变电站实验验证环境,同时将SGPot和现有的GridPot以及SHaPe蜜罐同时部署在公网环境中,收集了 30天的交互数据.实验结果表明,SGPot收集到的请求数据比GridPot多20%,比SHaPe多75%.SGPot能够诱骗攻击者与蜜罐进行更深度的交互,获取到的交互会话长度大于6的会话数量多于GridPot和SHaPe.

    智能电网强化学习智能交互主动防御蜜罐

    集合交集与并集的安全多方计算

    谢琼王维琼许豪杰
    371-377页
    查看更多>>摘要:集合的安全多方计算问题是保密科学计算研究的重要问题之一,在电子选举、门限签名、保密拍卖等场景中有着重要的应用.文中主要研究多个集合的保密计算问题,首先针对不同的集合运算提出了对应的转化方式将集合转化为向量,然后基于哥德尔编码提出了新的编码方式,再结合ElGamal门限加密算法设计了半诚实模型下可输出多个集合交集或并集,以及同时输出交集与并集的保密计算协议,最后应用模拟范例证明了协议的安全性,协议可以抵抗任意的合谋攻击.实验测试了协议的执行效率,当集合的势满足一定条件时,与现有协议相比,所提协议的计算效率更高.

    安全多方计算集合交集与并集ElGamal加密算法半诚实模型模拟范例

    定了!5月16-18日,YEF 2024落地宁波

    CCF微信公众号
    377页

    一种Deoxys-BC算法的中间相遇攻击方法

    李征李曼曼陈少真
    378-386页
    查看更多>>摘要:Deoxys-BC密码算法是在2014年亚密会上发布的一种轻量级可调分组密码算法,该算法的设计采用SPN结构和TWEAK框架.通过研究Deoxys-BC密码算法的内部特征与密钥扩展的特点,利用控制调柄差分的方法,并结合差分枚举技术和轮密钥调柄差分叠加消除特性,构造6轮Deoxys-BC-256和7轮Deoxys-BC-384的中间相遇区分器.利用此区分器,通过减少猜测的字节量,来达到降低复杂度的效果,改进了 9轮Deoxys-BC-256和11轮Deoxys-BC-384中间相遇攻击的结果.相比Deoxys-BC系列密码算法现有的中间相遇攻击结果,该攻击的时间复杂度和存储复杂度均大幅下降.

    分组密码Deoxys-BCSPN结构中间相遇攻击差分枚举

    投稿须知

    封3页