可信軟件與軟件質(zhì)量保證-信息安全+69張課件

可信軟件與軟件質(zhì)量保證_信息安全+服從真理，就能征服一切事物可信軟件與軟件質(zhì)量保證_信息安全+服從真理，就能征服一切事物1可信軟件與軟件質(zhì)量保證DependableSoftwareandSoftwareQualityAssurance可信軟件與軟件質(zhì)量保證2第三屆中國(guó)可信計(jì)算與信息安全學(xué)術(shù)會(huì)議征文通知為了加強(qiáng)我國(guó)可信計(jì)算和信息安全領(lǐng)域?qū)W術(shù)技術(shù)交流,促進(jìn)我國(guó)可信計(jì)算和信息安全領(lǐng)域的學(xué)術(shù)繁榮、技術(shù)進(jìn)步和產(chǎn)業(yè)發(fā)展,由中國(guó)計(jì)算機(jī)學(xué)會(huì)容錯(cuò)專業(yè)委員會(huì)主辦,信息工程大學(xué)電子技術(shù)學(xué)院承辦的“第三屆中國(guó)可信計(jì)算與信息安全學(xué)術(shù)會(huì)議”將擬于2008年10月25日-28日在河南鄭州舉行。第三屆中國(guó)可信計(jì)算與信息安全學(xué)術(shù)3征文范圍會(huì)議重點(diǎn)征集可信計(jì)算與信息安全理論和技術(shù)方面的研究論文。具體包括(但不限于1)可信計(jì)算體系結(jié)構(gòu):可信計(jì)算理論,信任理論,可信計(jì)算平臺(tái)體系結(jié)構(gòu),可信計(jì)算軟件體系結(jié)構(gòu),可信網(wǎng)格,容錯(cuò)計(jì)算2)可信軟件:高可信軟件,操作系統(tǒng)安全,數(shù)據(jù)庫(kù)安全,軟件容錯(cuò),軟件測(cè)試;3)可信硬件:可信計(jì)算平臺(tái),可信計(jì)算平臺(tái)模塊,信息安全芯片智能卡,硬件容錯(cuò),硬件測(cè)試,電子設(shè)備的物理安全4)網(wǎng)絡(luò)與通信安全:可信網(wǎng)絡(luò),網(wǎng)絡(luò)安全技術(shù),網(wǎng)絡(luò)協(xié)議安全網(wǎng)絡(luò)容侵與容災(zāi),通信安全,無(wú)線通信網(wǎng)絡(luò)安全,計(jì)算機(jī)病毒技5)密碼學(xué):密碼學(xué)的理論與技術(shù),新型密碼,密碼應(yīng)用技術(shù);(6)信息隱藏:信息隱藏,數(shù)字水印,數(shù)字版權(quán)管理;(7)信息安全應(yīng)用:電子政務(wù)安全,電子商務(wù)安全,可信計(jì)算與信息安全的應(yīng)用,信息安全管理。征文范圍4提綱可信計(jì)算與可信軟件已有部分研究成果◆軟件質(zhì)量度量◆軟件可靠性及度量◆軟件測(cè)試未來(lái)的研究領(lǐng)域提綱5(一)可信計(jì)算與可信軟件(一)可信計(jì)算與可信軟件6可信計(jì)算概念個(gè)可信的計(jì)算機(jī)系統(tǒng)所提供的服務(wù)可以認(rèn)證其為可依賴的[1]。個(gè)系統(tǒng)按照預(yù)期的設(shè)計(jì)和政策運(yùn)行,則這個(gè)系統(tǒng)是可信的[2]當(dāng)?shù)诙€(gè)實(shí)體按照第一個(gè)實(shí)體的期望行為時(shí),第一個(gè)實(shí)體可假設(shè)第二個(gè)實(shí)體是可信的[3]。ISO/TEC15408:可信實(shí)體的行為在任意操作下是可預(yù)測(cè)的,并能很好地抵抗應(yīng)用程序、病毒及一定的物理干擾造成的破壞?？尚庞?jì)算是研究“網(wǎng)絡(luò)元素之間的行為和行為結(jié)果總是預(yù)期和可控的”機(jī)制、策略、支撐技術(shù)以及管理等評(píng)測(cè)方法的總稱?？尚湃Q于硬件、操作系統(tǒng)、編譯系統(tǒng)、網(wǎng)絡(luò)、數(shù)據(jù)庫(kù)和各種應(yīng)用軟件(復(fù)雜鏈條上最脆弱的一環(huán))?？尚庞?jì)算概念7可信計(jì)算的國(guó)內(nèi)外研究現(xiàn)狀1999年EEE太平洋沿岸容錯(cuò)系統(tǒng)會(huì)議改名為“可信計(jì)算會(huì)議”,標(biāo)志著可信計(jì)算成為學(xué)術(shù)界新的研究熱點(diǎn)2000年12月11日以美國(guó)卡內(nèi)基梅農(nóng)大學(xué)與美國(guó)國(guó)家宇航局的Ames研究中心牽頭,lBM、HP、ntel、微軟等著名企業(yè)參加,成立了可信計(jì)算聯(lián)盟TcPATrustedComputingPlatformAlliance),標(biāo)志著可信計(jì)算從學(xué)術(shù)界進(jìn)入產(chǎn)業(yè)界cPA專注于從計(jì)算平臺(tái)體系結(jié)構(gòu)上增強(qiáng)其安全性,2001年1月發(fā)布了TPM主規(guī)范(v1.1)。2003年TcPA改組為可信計(jì)算組織TcG(TrustedComputingGroup),標(biāo)志著可信計(jì)算技術(shù)和應(yīng)用領(lǐng)域的進(jìn)一步擴(kuò)大。TcPA和TcG的出現(xiàn)形成了可信計(jì)算的新高潮可信計(jì)算的國(guó)內(nèi)外研究現(xiàn)狀8EEE組織于2004年開(kāi)辦了EEETransactionsonDependableandSecureComputing雜志,專門刊發(fā)可信計(jì)算研究論文。歐洲于2006年1月啟動(dòng)了名為“開(kāi)放式可信計(jì)算”的研究計(jì)劃。2004年在武漢大學(xué)召開(kāi)了第一屆全國(guó)可信計(jì)算與信息安全學(xué)術(shù)會(huì)議,標(biāo)志著我國(guó)啟動(dòng)可信計(jì)算研究。2005年1月19日,我國(guó)可信計(jì)算工作小組成立大會(huì)在北京福建大廈召開(kāi),會(huì)期1天,到會(huì)代表120人EEE組織于2004年開(kāi)辦了EEETransactions9可信計(jì)算的漫漫長(zhǎng)路何為可信計(jì)算呢?可信計(jì)算是指在現(xiàn)有計(jì)算機(jī)架構(gòu)上添加硬件模塊及相應(yīng)軟件,以構(gòu)建一個(gè)操作系統(tǒng)體系之外的計(jì)算機(jī)安全平臺(tái)從而從根本上解決計(jì)算機(jī)的安全問(wèn)題。也就是在主板上增加管理者和控制者(可信平臺(tái)控制模塊)來(lái)監(jiān)控資源調(diào)度,以解決用戶身份認(rèn)證;數(shù)據(jù)和程序保護(hù),可信度量、報(bào)告、驗(yàn)證、存儲(chǔ)驗(yàn)證對(duì)方是否可信;重點(diǎn)數(shù)據(jù)隔離保護(hù)等問(wèn)題。對(duì)于國(guó)內(nèi)用戶而言,由于核心部件知識(shí)產(chǎn)權(quán)不在掌控之中,安全能一直存在著不確定性因素。電腦中最核心的兩個(gè)部件理器(CPU)及操作系統(tǒng)均是國(guó)外公司的全要求較高的行業(yè)而言,這帶來(lái)了安全的隱患。因此在原來(lái)的平臺(tái)上構(gòu)建新的硬件模塊來(lái)保證安全,也就成了快速可行的解決方可信計(jì)算的漫漫長(zhǎng)路10在可信計(jì)算領(lǐng)域也存在著標(biāo)準(zhǔn)之爭(zhēng)。中國(guó)擁有自主知識(shí)產(chǎn)權(quán)的可計(jì)算規(guī)范被稱為TCM(TrustCModule)寸應(yīng)的國(guó)際可信算的規(guī)范則為TPM。目前英特爾及微軟兩大巨頭在全世界力推TPM規(guī)范,微軟的Ⅴsia操作系統(tǒng)已經(jīng)攴持這一規(guī)范。有鑒于微軟對(duì)開(kāi)源的一貫態(tài)度,國(guó)內(nèi)推進(jìn)TCM的力度將會(huì)持續(xù)加大在相當(dāng)?shù)囊欢螘r(shí)間內(nèi)TCM與TPM的標(biāo)準(zhǔn)之爭(zhēng)也將愈演愈烈2008年4月底,中國(guó)可信計(jì)算聯(lián)盟(CTCU)在國(guó)家信息中心成立CTCU的成立標(biāo)志著中國(guó)在可信計(jì)算領(lǐng)域的一次成功的嘗試據(jù)CTCU秘書處介紹算聯(lián)盟的成立得到了相關(guān)主管部門的大力支持,作為民間團(tuán)體CTCU掛靠在信息協(xié)會(huì)的安全專委會(huì)。沈昌祥、何德全院士擔(dān)任CTCU顧問(wèn),吳亞非為CTCU秘在可信計(jì)算領(lǐng)域也存在著標(biāo)準(zhǔn)之爭(zhēng)。中國(guó)擁有自主知識(shí)產(chǎn)權(quán)的可11可信軟件與軟件質(zhì)量保證-信息安全+69張課件12可信軟件與軟件質(zhì)量保證-信息安全+69張課件13可信軟件與軟件質(zhì)量保證-信息安全+69張課件14可信軟件與軟件質(zhì)量保證-信息安全+69張課件15可信軟件與軟件質(zhì)量保證-信息安全+69張課件16可信軟件與軟件質(zhì)量保證-信息安全+69張課件17可信軟件與軟件質(zhì)量保證-信息安全+69張課件18可信軟件與軟件質(zhì)量保證-信息安全+69張課件19可信軟件與軟件質(zhì)量保證-信息安全+69張課件20可信軟件與軟件質(zhì)量保證-信息安全+69張課件21可信軟件與軟件質(zhì)量保證-信息安全+69張課件22可信軟件與軟件質(zhì)量保證-信息安全+69張課件23可信軟件與軟件質(zhì)量保證-信息安全+69張課件24可信軟件與軟件質(zhì)量保證-信息安全+69張課件25可信軟件與軟件質(zhì)量保證-信息安全+69張課件26可信軟件與軟件質(zhì)量保證-信息安全+69張課件27可信軟件與軟件質(zhì)量保證-信息安全+69張課件28可信軟件與軟件質(zhì)量保證-信息安全+69張課件29可信軟件與軟件質(zhì)量保證-信息安全+69張課件30可信軟件與軟件質(zhì)量保證-信息安全+69張課件31可信軟件與軟件質(zhì)量保證-信息安全+69張課件32可信軟件與軟件質(zhì)量保證-信息安全+69張課件33可信軟件與軟件質(zhì)量保證-信息安全+69張課件34可信軟件與軟件質(zhì)量保證-信息安全+69張課件35可信軟件與軟件質(zhì)量保證-信息安全+69張課件36可信軟件與軟件質(zhì)量保證-信息安全+69張課件37可信軟件與軟件質(zhì)量保證-信息安全+69張課件38可信軟件與軟件質(zhì)量保證-信息安全+69張課件39可信軟件與軟件質(zhì)量保證-信息安全+69張課件40可信軟件與軟件質(zhì)量保證-信息安全+69張課件41可信軟件與軟件質(zhì)量保證-信息安全+69張課件42可信軟件與軟件質(zhì)量保證-信息安全+69張課件43可信軟件與軟件質(zhì)量保證-信息安全+69張課件44可信軟件與軟件質(zhì)量保證-信息安全+69張課件45可信軟件與軟件質(zhì)量保證-信息安全+69張課件46可信軟件與軟件質(zhì)量保證-信息安全+69張課件47可信軟件與軟件質(zhì)量保證-信息安全+69張課件48可信軟件與軟件質(zhì)量保證-信息安全+69張課件49可信軟件與軟件質(zhì)量保證-信息安全+69張課件50可信軟件與軟件質(zhì)量保證-信息安全+69張課件51可信軟件與軟件質(zhì)量保證-信息安全+69張課件52可信軟件與軟件質(zhì)量保證-信息安全+69張課件53可信軟件與軟件質(zhì)量保證-信息安全+69張課件54可信軟件與軟件質(zhì)量保證-信息安全+69張課件55可信軟件與軟件質(zhì)量保證-信息安全+69張課件56可信軟件與軟件質(zhì)量保證-信息安全+69張課件57可信軟件與軟件質(zhì)量保證-信息安全+69張課件58可信軟件與軟件質(zhì)量保證-信息安全+69張課件59可信軟件與軟件質(zhì)量保證-信息安全+69張課件60可信軟件與軟件質(zhì)量保證-信息安全+69張課件61可信軟件與軟件質(zhì)量保證-信息安全+69張課件62可信軟件與軟件質(zhì)量保證-信息安全+69張課件63可信軟件與軟件質(zhì)量保證-信息安全+69張課件64可信軟件與軟件質(zhì)量保證-信息安全+69張課件65可信軟件與軟件質(zhì)量保證-信息安全+69張課件66可信軟件與軟件質(zhì)量保證-信息安全+69張課件67可信軟件與軟件質(zhì)量保證-信息安全+69張課件686、最大的驕傲于最大的自卑都表示心靈的最軟弱無(wú)力?！官e諾莎

7、自知之明是最難得的知識(shí)。——