何积丰
信息安全论坛
2018-04-21
何积丰教授在信息安全论坛上发表主题演讲，分享了他在信息安全领域的研究成果。
第五届计算机安全研讨会
2019-06-15
何积丰教授出席第五届计算机安全研讨会，并就网络安全技术发表演讲。
国际信息安全大会
2020-09-10
何积丰教授在国际信息安全大会上就信息安全发展趋势进行深入探讨。
第六届网络与信息安全峰会
2021-11-08
何积丰教授在第六届网络与信息安全峰会上发表关于数据隐私保护的演讲。
第七届信息安全技术交流会
2023-03-22
何积丰教授在第七届信息安全技术交流会上分享了他在密码学领域的最新研究成果。
计算机科学软件工程信息安全
- 程序正确性的形式化方法1983-01-01
- 分布计算形式化理论1993-01-01
- 形式化方法引论1999-01-01
- 形式化方法与软件工程2004-01-01
- 可信软件的理论与技术2007-01-01
- 基于模型的软件工程2010-01-01
- 软件工程与方法学2012-01-01
- 软件工程导论2015-01-01
- 软件工程2018-01-01
- 软件工程原理2021-01-01
公众号
微信客服
