据物理学家组织网7月30日(北京时间)报道,美国加州大学洛杉矶分校与IBM的研究人员共同设计出一个固若金汤的“数学拼图”加密软件系统,在允许用户将其作为一个程序使用的同时,可阻止任何潜藏在背后的破译。该研究成果经同行审阅后将于10月召开的第54届IEEE研讨会计算机科学基础会议上提交。

  这种被称为“软件混淆”的加密系统是首次在实际操作中完成。在计算机领域的程序开发过程中,最简单的混淆就是名称混淆,而强度更高的流程混淆,其功效如同移形换位、乾坤大挪移,如此移来移去达到让人看不懂软件编程的原理,阻止那些想得到源代码的行为。

  新系统是一种数学混淆机制,可以通过阻止盗窃的新算法、隐藏软件补丁的漏洞,并在补丁分布时进行修复,以此来保护源代码。据研究人员介绍,以前开发的混淆技术迫使攻击者花费一些精力,但最终几天后就可以成功破译。而新系统固若金汤,对于一个试图破译软件的工程师来说,他必须首先解决各种数学问题,从而改变密码学领域的游戏规则,而这需要花费数百年时间。

  这种模糊机制成功的关键是一种新型“多线性拼图”,其中真正的创新是将软件转化成一种数学拼图游戏。只需给出一些数字,或一个数字序列,在这个数学拼图中,这些数字或数字序列,只能与其他数字以非常特定的方式相结合。

  该大学工程和应用科学计算机科学教授、密码学专家阿米特·萨海说:“你可以检查一切、把它上下颠倒、从不同的角度看它,但仍然没有办法知道它在做些什么。如果你一定要做些事情,如试图进入其子程序,并把它以其他方式放入,那么你最终只会弄出个垃圾。”

  这项为了实现软件混淆的新技术,给另一个突破即功能加密铺平了道路。采用功能加密可替代发送加密信息,呈报其位置。研究人员说,这提供了一个更安全的方式来保护信息。以前功能加密的工作仅限于支持极少的功能,而新的操作可以处理任何可计算的函数。例如,将一条简单的消息发送给一群人,每个人会因其不同特性接收到不同的内容。萨海说:“通过加密功能,你只得到具体的答案,除此之外,没有别的了。”

相关文章

读书丨数学“封神榜”榜首,居然是他

“数学文化览胜集”(共四册),李国伟著,高等教育出版社2024年3月出版一“这是一个迷恋排名的时代,也是一个迷恋排名的世界。什么东西都可以拿来排名,没有排名似乎就会不知‘好歹’,就没法作自我判断。这种......

菲尔兹奖得主ArturAvila受聘南开大学客座教授

4月3日,数学家阿图尔·阿维拉(ArturAvila)郑重地从校长陈雨露手中,接过了南开大学客座教授的聘书。陈雨露代表南开大学向阿维拉教授致以热烈欢迎。他说:“阿维拉教授访问陈省身数学研究所对南开数学......

奖金200万元,首届大奖颁给“最准时的人”

11月22日,首届上海交通大学“睿远科技大奖”数学与物质科学奖颁奖大会在李政道研究所举行。美国国家科学院院士、中国科学院外籍院士叶军获此大奖。颁奖仪式。上海交大供图上海交通大学“睿远科技大奖”和“睿远......

46位拿到“新基石”连续5年2500万不看项目只看人

2023年10月30日,腾讯公司“10年100亿元资助基础研究”的“新基石研究员项目”第二期名单发布,来自数学与物质科学、生物与医学科学领域的46位科学家上榜,成为第二批“新基石研究员”。2023年第......

国际基础科学大会|数学与物理巅峰论坛

原文地址:http://news.sciencenet.cn/htmlnews/2023/7/505210.shtm直播时间:2023年7月22日(周六)14:10-17:20直播平台:科学网APP(......

8月16日,2023未来科学大奖三大奖项获奖者即将揭晓!

科学是求真,是向善,是人类理解世界的全部想象力。从进化论的提出、非欧几里得几何的产生、电磁学突破、相对论的提出,到宇宙探索、核能开发、量子计算兴起、AI科技的普及……今天,科学已经渗透到社会进步和人类......

专科毕业、95后快递小哥爱数学:“它不骗人”

白天送快递,晚上钻研数学,两件完全不搭的事,汇集在一位天津95后小哥身上。他叫孙金元,是2023阿里巴巴全球数学竞赛参赛选手之一。这项不设报名门槛的全球最大在线数学竞赛,给了孙金元们逐梦数学的机会。自......

张继平:期待更多“凝聚态数学式”的大数学出现

什么是大数学发展观?3月14日,2023年的国际数学日,中国科学院院士、北京大学博雅讲座教授张继平受中国数学会和中国工业与应用数学学会、中国运筹学会的邀请,以“大数学发展观”为题发表演讲。张继平化用国......

【光明日报】我国数学界三大奖在武汉揭晓

2月19日,中国数学会2022年学术年会在武汉开幕。中国数学界三大奖评选结果揭晓。徐宗本获第十六届中国数学会华罗庚数学奖。陈兵龙、刘若川获第十九届中国数学会陈省身数学奖。杜凯、王志强、朱超娜、朱锦天获......

江松:有强大的数学学科,基础研究才能快速发展

“当前,随着国际科技竞争的日趋激烈,越来越多的关键技术问题摆在了我们面前,根本原因还在于我们的基础研究实力不够强。”2月12日,在“遇见数学预见未来”首届松山湖数学论坛上,江松院士直言,数学是基础研究......