演講主題	日期
Formal Model Design for Secure Operating Systems	2003-11-06　( 星期四 )
國立中山大學資訊工程學系 專 題 演 講 主講人：卿斯漢 博士(中國科學院軟體研究所首席研究員) 時 間：92年11月06日(星期四) 14:10～17:00 地點：電資大樓資工系 F9032 教室( 階梯教室) ☆ 歡 迎 踴 躍 參 加 ☆