“可信軟體”YOCSEF學術報告會火爆舉行

本文講的是“可信軟體”YOCSEF學術報告會火爆舉行，【IT168 專稿】2009年2月27日下午，“可信軟體”YOCSEF學術報告會在北京航空航天大學新主樓會議中心第二報告廳舉行。本次學術報告會經過YOCSEF學術委員會的精心組織和廣泛宣傳，共吸引了約280多名觀眾參會，能容納200人的會議室座無虛席，在下午2點報告會正式開始時，會場門口簽到的觀眾仍然排著長隊等待進場，近80名與會者站了2小時聆聽特邀講者的精彩演講，現場氣氛格外火爆，觀眾提問踴躍，屬近來少有。

本次報告會的主題是“可信軟體”，選題是近期學術界和產業界關心的熱點和難點問題，本次報告會邀請了可信軟體基礎研究和應用領域的4位著名學者，包括華東師範大學何積豐院士、北京大學梅巨集教授、中國資訊保安測評中心王貴駟研究員和國防大學劉增良教授，他們從不同的視角，對可信軟體基礎研究和應用開發問題進行深入探討。本次學術報告會由YOCSEF AC委員、國家自然科學基金委員會資訊科學部劉克處長和國家資訊中心資訊化研究部首席工程師單志廣研究員共同主持。
國家自然科學基金委員會“可信軟體基礎研究”重大研究計劃指導專家組組長何積豐院士作了《程式語言與可信計算》的報告，系統回顧了軟體的發展歷程和趨勢，著重闡述了程式語言本身的發展過程，指出：計算機程式語言是設計各種計算機軟體的基本工具，是現代軟體開發技術的基礎與核心；從機器語言到高階語言，計算機程式語言在程式設計能力與效率方面發生了巨大變化；隨著程式語言複雜性的增加，其可信性問題越來越突出。何院士全面總結了可信軟體面臨的科學挑戰，提出了可信軟體研究的三個科學問題，即軟體可信性的度量與建模、可信軟體的構造與驗證、可信軟體的演化與控制，指出：引入形式化方法與軟體規範，可以提高程式語言語義描述的準確性與規範性，從而為提高用程式語言設計的應用程式的可信性奠定基礎。何院士還介紹了“可信軟體基礎研究”重大研究計劃的實施情況。
北京大學梅巨集教授作了《可信軟體技術若干思考及觀點》的報告，他從認識網際網路時代的特徵談起，指出可信性已經成為網際網路眾多典型的時代特徵之一，並從軟體技術發展的脈絡探討了“可信”概念產生的緣由、可信軟體研究與過去軟體技術研究的異同、可信軟體技術研究的前景等，並對當前的“可信”熱發表了若干自己的獨特思考和觀點。同時，梅教授還介紹了“十一五”863計劃在可信計算方面的佈局情況。
中國資訊保安測評中心常務副主任王貴駟研究員作了《軟體漏洞分析與軟體可信性研究》的報告，指出當前軟體漏洞的層出不窮導致了網際網路上重大資訊保安事件頻發，使得軟體的開發面臨因安全性而導致的第二次危機。他重點對當前網際網路環境中典型的軟體漏洞進行了分析，查詢軟體開發過程中引入安全漏洞的主要環節，並提出當前軟體可信性研究面臨的幾個難題。
國防大學劉增良教授作了《值得特別關注的研究新方向—極端環境下可信軟體研究》的報告，他以C4ISR關鍵應用領域軟體可信性需求為背景，重點分析了惡劣生存環境下的軟體可信性需求，特殊、特定目標下可信軟體需求，極端條件下的軟體可信性需求，以及極端環境下軟體可信度傳遞特性、軟體可信度可控特性等典型性質。報告把資訊網路防禦研究與軟體可信性研究結合在一起，以多角度多維度多型別滲透防禦驗證為途徑，介紹了極端環境下複雜軟體高可信性防禦滲透的實驗驗證典型示範理論和方法。
YOCSEF學術委員會胡事民、馬華東、張莉、等榮譽委員，陳小武、王千祥、金蓓弘、汪東昇、孫毓忠、趙耀、王健、王濤（候任AC委員）等AC委員，吳餘龍、賁可榮、張自力等武漢、重慶分論壇的新老委員以及天津大學、重慶大學、西南大學等外地代表參加了本次報告會。本次學術報告會得到了北京航空航天大學虛擬現實技術與系統國家重點實驗室的鼎力支援。中國計算機學會副理事長、北京航空航天大學常務副校長懷進鵬教授出席了本次報告會。280多人的火爆場面在人數上創造了本屆學術委員會已舉辦的活動規模之最。

原文釋出時間為：2009-08-06
本文作者： IT168.com
本文來自雲棲社群合作伙伴IT168，瞭解相關資訊可以關注IT168。
原文標題：”可信軟體”YOCSEF學術報告會火爆舉行