石文昌，男，1964年生，博士，中國(guó)人民大學(xué)教授，兼中國(guó)科學(xué)院研究生院教授，國(guó)家863計(jì)劃信息安全技術(shù)主題重點(diǎn)課題首席科學(xué)家，CCF高級(jí)會(huì)員，IEEE會(huì)員。已指導(dǎo)碩士和博士研究生多名。

電話(huà)：010-62511279

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

個(gè)人主頁(yè)：http://deke.ruc.edu.cn/wshi

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

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

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

[RB]閱讀中、英文文獻(xiàn)，參加科研課題，動(dòng)手開(kāi)發(fā)系統(tǒng)，撰寫(xiě)學(xué)術(shù)論文，進(jìn)行學(xué)術(shù)交流。鼓勵(lì)分析Linux系統(tǒng)源代碼。

目前開(kāi)展的科研項(xiàng)目：

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

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

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

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

主要學(xué)習(xí)和工作經(jīng)歷：

[YA]北京大學(xué)，計(jì)算機(jī)軟件，理學(xué)學(xué)士學(xué)位。

[YB]中國(guó)科學(xué)院，計(jì)算機(jī)軟件，工學(xué)碩士學(xué)位。

[YC]中國(guó)科學(xué)院，計(jì)算機(jī)軟件與理論，工學(xué)博士學(xué)位。

[YD]廣西計(jì)算中心，助理工程師、副研究員、研究員、副主任、廣西科學(xué)院學(xué)術(shù)委員會(huì)委員。

[YE]中國(guó)科學(xué)院軟件所，研究員、學(xué)術(shù)委員會(huì)委員、軟件高技術(shù)分學(xué)術(shù)委員會(huì)主任、OSCIP中心主任。

[YF]中國(guó)科學(xué)院研究生院，教授（兼）。

[YG]中國(guó)人民大學(xué)，教授。

社會(huì)兼職：

[SA]北京信息安全產(chǎn)業(yè)基地專(zhuān)家委員會(huì)委員。

[SB]上海國(guó)家軟件產(chǎn)業(yè)基地培訓(xùn)咨詢(xún)委員會(huì)專(zhuān)家。

[SC]全國(guó)信息安全標(biāo)準(zhǔn)化技術(shù)委員會(huì)工作組成員。

研究成果與獲獎(jiǎng)情況：

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

代表性著作：

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

[BB]《第四代語(yǔ)言INFORMIX-4GL實(shí)用教程》，清華大學(xué)出版社。

發(fā)表論文選列：

參見(jiàn)：http://deke.ruc.edu.cn/wshi