【講座題目】自動化和智能信息安全工程

【講座時間】2018年4月23日（星期一）14:30-16:00

【講座地點】北京校部主樓E座1009

【主 講 人】程京德

【主講人簡介】

程京德，日本埼玉大學(xué)研究生院計算機(jī)科學(xué)教授。在1999年加入埼玉大學(xué)之前，他曾是中國清華大學(xué)研究員（1982-1989），日本九州大學(xué)的研究助理（1989-1991），副教授（1991-1996），教授（1996-1999）。他于1982年獲得中國清華大學(xué)計算機(jī)科學(xué)學(xué)士學(xué)位，1986年和1989年分別獲得日本九州大學(xué)計算機(jī)科學(xué)工程碩士學(xué)位和工程博士學(xué)位。他目前的研究范圍包括相關(guān)和放大推理，相關(guān)邏輯及其應(yīng)用，自動定理發(fā)現(xiàn)，科學(xué)發(fā)現(xiàn)的認(rèn)知編程范式，基于知識的系統(tǒng)的自主演化，預(yù)期推理反應(yīng)系統(tǒng)，持久計算和信息安全工程環(huán)境。他是ACM的高級成員，也是IEEE-CS，IEEE-SMC，IEEE和IPSJ的成員。

【內(nèi)容簡介】

確保信息/軟件系統(tǒng)安全的最根本的難點在于襲擊者（攻擊者）是活躍的人，他們可以日復(fù)一日地獲得知識和技能，然后始終使用最新的技術(shù)不斷地進(jìn)行攻擊，最薄弱的環(huán)節(jié)在于鏈接目標(biāo)信息/軟件系統(tǒng)。因此，為了確保信息/軟件系統(tǒng)的整體安全性，需要信息/軟件系統(tǒng)的設(shè)計人員，開發(fā)人員，操作人員和維護(hù)人員提供不斷的技術(shù)支持來保護(hù)系統(tǒng)免受攻擊者的攻擊。但是，傳統(tǒng)的軟件工程環(huán)境對于設(shè)計，開發(fā)，操作和維護(hù)具有高度安全性要求的信息/軟件系統(tǒng)來說是不夠的，也不夠有效。本次演講介紹了我們提出的信息安全工程環(huán)境的概念，展示了我們對建設(shè)和使用信息安全工程環(huán)境的基本考慮，并列舉了信息安全工程環(huán)境應(yīng)提供的各種設(shè)施和服務(wù)。作為一個真正的案例研究，我將談?wù)揑SEE，這是一個我們正在開發(fā)的信息安全工程環(huán)境，它基于ISO / IEC安全標(biāo)準(zhǔn)，集成了各種工具并提供全面的工具來支持設(shè)計，開發(fā)，操作和安全維護(hù)信息/軟件系統(tǒng)的設(shè)施連續(xù)而一致，并指導(dǎo)和幫助所有用戶按照ISO / IEC安全標(biāo)準(zhǔn)定期執(zhí)行其任務(wù)。 ISEE是世界上第一個信息安全工程環(huán)境。此次演講還展示了一些關(guān)于自動化和智能信息安全工程的研究問題和發(fā)展問題。