中國人民大學

石文昌，男，1964年生，博士，中國人民大學教授，兼中國科學院研究生院教授，國家863計劃信息安全技術主題重點課題首席科學家，CCF高級會員，IEEE會員。已指導碩士和博士研究生多名。

電話：010-62511279

E-mail：wenchang(at)ruc(dot)edu(dot)cn

個人主頁：http://deke.ruc.edu.cn/wshi

近期主要研究方向：信息安全、可信計算、系統(tǒng)軟件、虛擬機技術；

研究生將從事的科研工作及對學生的培養(yǎng)要求：

[RA]從事信息安全、可信計算、系統(tǒng)軟件或虛擬機技術方面的學習和研究工作。

[RB]閱讀中、英文文獻，參加科研課題，動手開發(fā)系統(tǒng)，撰寫學術論文，進行學術交流。鼓勵分析Linux系統(tǒng)源代碼。

目前開展的科研項目：

[PA]信任鏈理論模型研究。

[PB]面向可信計算的操作系統(tǒng)安全機制研究。

[PC]基于虛擬機技術的網(wǎng)絡應用軟件支撐環(huán)境研究。

[PD]全球計算環(huán)境信任管理系統(tǒng)研究。

主要學習和工作經歷：

[YA]北京大學，計算機軟件，理學學士學位。

[YB]中國科學院，計算機軟件，工學碩士學位。

[YC]中國科學院，計算機軟件與理論，工學博士學位。

[YD]廣西計算中心，助理工程師、副研究員、研究員、副主任、廣西科學院學術委員會委員。

[YE]中國科學院軟件所，研究員、學術委員會委員、軟件高技術分學術委員會主任、OSCIP中心主任。

[YF]中國科學院研究生院，教授（兼）。

[YG]中國人民大學，教授。

社會兼職：

[SA]北京信息安全產業(yè)基地專家委員會委員。

[SB]上海國家軟件產業(yè)基地培訓咨詢委員會專家。

[SC]全國信息安全標準化技術委員會工作組成員。

研究成果與獲獎情況：

中國科學院院長獎獲得者，紅旗安全操作系統(tǒng)總設計師；國家科學技術獎、國家863項目、國家自然科學基金項目、北京市自然科學基金項目等的評審專家；《Journal of Computer Science and Technology》、《計算機學報》、《軟件學報》、《電子學報》等的審稿專家；省級先進工作者，省級有突出貢獻優(yōu)秀專家，省級十百千人才工程人選。1997年晉升為教授（研究員）。1988年涉足操作系統(tǒng)研究，承擔國家科技攻關項目“UNIX操作系統(tǒng)的移植和國產化改造”，在我國首次實現(xiàn)UNIX操作系統(tǒng)成功移植，成果獲國家科技攻關重大成果獎。1999年組建安全操作系統(tǒng)研究團隊，率先開展國際CC標準框架下安全操作系統(tǒng)開發(fā)研究，在國家863項目支持下，結合國際和國家標準特點，成功研制出紅旗安全操作系統(tǒng)產品，通過國家標準GB17859第三級認定，獲得安全產品銷售許可證，并在產業(yè)應用中產生重大影響。隨后，主持國家863信息安全專題重點課題，解決了GB17859第四級安全操作系統(tǒng)和安全數(shù)據(jù)庫管理系統(tǒng)研制的一系列關鍵技術問題，為高安全、高可信系統(tǒng)軟件的研制打下堅實基礎。已完成的代表性科研項目有：國家863項目“操作系統(tǒng)與數(shù)據(jù)庫平臺安全核心技術研究”、“基于IT安全國際標準的Linux安全核心的研制”；國家自然基金項目“操作系統(tǒng)安全基礎的可適應性模型研究”、“安全操作系統(tǒng)的體系結構與實現(xiàn)模式研究”；中科院知識創(chuàng)新工程項目“基于Linux的安全操作系統(tǒng)的研制”；北京市重點技術創(chuàng)新項目“基于紅旗Linux的安全操作系統(tǒng)”；等。獲相關科技獎多項。

代表性著作：

[BA]《安全操作系統(tǒng)原理與技術》，科學出版社。

[BB]《第四代語言INFORMIX-4GL實用教程》，清華大學出版社。

發(fā)表論文選列：

參見：http://deke.ruc.edu.cn/wshi