控制与计算机工程学院

自动化和智能信息安全工程

 

  【讲座题目】自动化和智能信息安全工程

  【讲座时间】2018年4月23日(星期一)14:30-16:00

  【讲座地点】主E1009

  【主 讲 人】程京德

  【主讲人简介】

  程京德,日本埼玉大学研究生院计算机科学教授。1999年加入埼玉大学之前,曾是中国清华大学助理研究员(1982-1989),日本九州大学的研究助理(1989-1991),副教授(1991-1996),教授(1996-1999)。他于1982年获得中国清华大学计算机科学学士学位,1986年和1989年分别获得日本九州大学计算机科学工程硕士学位和工程博士学位。他目前的研究范围包括相关和扩展推理,相关逻辑及其应用,自动定理发现,科学发现的认知编程范式,基于知识的系统的自主演化,预期推理反应系统,持久计算和信息安全工程环境。他是ACM的高级成员,也是IEEE-CS,IEEE-SMC,IEEE和IPSJ的成员。

  【内容简介】

  确保信息/软件系统安全的最根本的难点在于袭击者(攻击者)是活跃的人,他们可以日复一日地获得知识和技能,始终利用最新的技术、目标信息/软件系统最薄弱部分和/或链接不断地进行攻击。因此,为了确保信息/软件系统的整体安全性,需要信息/软件系统的设计人员,开发人员,操作人员和维护人员提供不断的技术支持来保护系统免受攻击者的攻击。但是,传统的软件工程环境对于设计,开发,操作和维护具有高度安全性要求的信息/软件系统来说是不足的,也不够有效。本次演讲介绍了我们提出的信息安全工程环境的概念,展示了我们对建设和使用信息安全工程环境的基本考虑,并列举了信息安全工程环境应提供的各种设施和服务。作为一个真正的案例研究,我将谈论ISEE,这是一个我们正在开发的信息安全工程环境,它基于ISO / IEC安全标准,集成了各种工具并提供全面的工具来支持设计,开发,操作和安全维护信息/软件系统的设施连续而一致,并指导和帮助所有用户按照ISO / IEC安全标准定期执行其任务。 ISEE是世界上第一个信息安全工程环境。此次演讲还展示了一些关于自动化和智能信息安全工程的研究问题和发展问题。