學(xué)術(shù)活動(dòng)
歡迎關(guān)注華北電力大學(xué)!
歡迎關(guān)注華北電力大學(xué)!
【講座題目】自動(dòng)化和智能信息安全工程
【講座時(shí)間】2018年4月23日(星期一)14:30-16:00
【講座地點(diǎn)】北京校部主樓E座1009
【主 講 人】程京德
【主講人簡(jiǎn)介】
程京德,日本埼玉大學(xué)研究生院計(jì)算機(jī)科學(xué)教授。在1999年加入埼玉大學(xué)之前,他曾是中國清華大學(xué)研究員(1982-1989),日本九州大學(xué)的研究助理(1989-1991),副教授(1991-1996),教授(1996-1999)。他于1982年獲得中國清華大學(xué)計(jì)算機(jī)科學(xué)學(xué)士學(xué)位,1986年和1989年分別獲得日本九州大學(xué)計(jì)算機(jī)科學(xué)工程碩士學(xué)位和工程博士學(xué)位。他目前的研究范圍包括相關(guān)和放大推理,相關(guān)邏輯及其應(yīng)用,自動(dòng)定理發(fā)現(xiàn),科學(xué)發(fā)現(xiàn)的認(rèn)知編程范式,基于知識(shí)的系統(tǒng)的自主演化,預(yù)期推理反應(yīng)系統(tǒng),持久計(jì)算和信息安全工程環(huán)境。他是ACM的高級(jí)成員,也是IEEE-CS,IEEE-SMC,IEEE和IPSJ的成員。
【內(nèi)容簡(jiǎn)介】
確保信息/軟件系統(tǒng)安全的最根本的難點(diǎn)在于襲擊者(攻擊者)是活躍的人,他們可以日復(fù)一日地獲得知識(shí)和技能,然后始終使用最新的技術(shù)不斷地進(jìn)行攻擊,最薄弱的環(huán)節(jié)在于鏈接目標(biāo)信息/軟件系統(tǒng)。因此,為了確保信息/軟件系統(tǒng)的整體安全性,需要信息/軟件系統(tǒng)的設(shè)計(jì)人員,開發(fā)人員,操作人員和維護(hù)人員提供不斷的技術(shù)支持來保護(hù)系統(tǒng)免受攻擊者的攻擊。但是,傳統(tǒng)的軟件工程環(huán)境對(duì)于設(shè)計(jì),開發(fā),操作和維護(hù)具有高度安全性要求的信息/軟件系統(tǒng)來說是不夠的,也不夠有效。本次演講介紹了我們提出的信息安全工程環(huán)境的概念,展示了我們對(duì)建設(shè)和使用信息安全工程環(huán)境的基本考慮,并列舉了信息安全工程環(huán)境應(yīng)提供的各種設(shè)施和服務(wù)。作為一個(gè)真正的案例研究,我將談?wù)揑SEE,這是一個(gè)我們正在開發(fā)的信息安全工程環(huán)境,它基于ISO / IEC安全標(biāo)準(zhǔn),集成了各種工具并提供全面的工具來支持設(shè)計(jì),開發(fā),操作和安全維護(hù)信息/軟件系統(tǒng)的設(shè)施連續(xù)而一致,并指導(dǎo)和幫助所有用戶按照ISO / IEC安全標(biāo)準(zhǔn)定期執(zhí)行其任務(wù)。 ISEE是世界上第一個(gè)信息安全工程環(huán)境。此次演講還展示了一些關(guān)于自動(dòng)化和智能信息安全工程的研究問題和發(fā)展問題。