学院新闻

湖北工业大学张明武教授来我院做作学术报告
2017年03月25日 发布单位:计算机科学与工程学院

3月20日,湖北省“楚天学者”特聘教授、博士生导师、湖北工业大学计算机学院副院长张明武教授应我院邀请作了题为《程序混淆模型、构造及应用》、《秘密隐藏混淆:安全混淆重加密算法》的学术报告,学院副院长王彩芬教授主持报告,学院相关老师、全体研究生110余人参加了报告。

20日下午,报告会在9C-104教室举行,张明武教授以《程序混淆模型、构造及应用》为题,指出软件代码中可能隐含有诸如算法技术细节或敏感常量等私密信息,防止被利用攻击者反编译等手段破解,是软件保护研究的重要内容。程序混淆将一个程序转化为相同功能新的程序,但无法从混淆程序中获得有关原程序中的有用信息。首先,张教授介绍了从密码学上研究和设计可证明虚拟黑盒安全的程序混淆,列出了混淆器的功能保持性、效率多项式时间降低等性质。然后,他从一些实例函数,如完美单向函数的工具作为突破口,给出构造点函数实现其混淆。然而,因很难构造黑盒虚拟性安全性,需弱化后给出最接近的混淆概念与弱化模型。最后,张教授总括了关于各种混淆模型与方法的研究成果与后续展望。

当晚,张教授在9-C201工作室继续做了题为《秘密隐藏混淆:安全混淆重加密算法》的学术报告。报告会上,张教授首先说明了混淆重加密方案是基于线性加密方案,根据混淆在密码学中的定义和限制条件,逐步改进算法。同时细致介绍了重加密方案与相应的混淆方案,给出特殊的加密模式,具有两种不同加密格式的加密方案包含三种算法:生成密钥、加密、解密。最后,分析了重加密特殊功能混淆算法的功能性与安全性。

张教授的报告深入浅出,耐人寻味,简明扼要地为师生讲解了有关密码学中程序混淆模型的相关知识及安全混淆重加密算法的思路,同学们深受启发。

版权所有©西北师范大学计算机科学与工程学院  管理登录 甘公网安备62010502000939号 陇ICP备17000462号-1