一個(gè)值得重視的研究開發(fā)規(guī)劃--趙戰(zhàn)生 中科院信息安全重點(diǎn)實(shí)驗(yàn)室-全文預(yù)覽
【正文】 報(bào)告總結(jié) :“更高的軟件質(zhì)量的途徑是有效的改進(jìn)需求、規(guī)范和在生命周期早期的軟件測試”它主張參考涉及執(zhí)行，測度和標(biāo)準(zhǔn)化的測試工具可以幫助改進(jìn)軟件的不足。這些工具和今天最好的開發(fā)方法可以改進(jìn)軟件質(zhì)量。 ? 結(jié)構(gòu)欠佳的軟件可能在數(shù)千或數(shù)百萬行代碼的任何地方留有缺欠，造成漏洞。 ? 先進(jìn)的工具要求巨大的軟件子系統(tǒng)作為測試基礎(chǔ)設(shè)施，在其中來分析代碼，獲得結(jié)論，并跟蹤和關(guān)聯(lián)信息。因?yàn)樵陂_發(fā)過程的最后階段發(fā)現(xiàn)和抓住缺陷意味著更為昂貴，所以，當(dāng)開發(fā)高質(zhì)量，低成本軟件的時(shí)候，需要更多的在開發(fā)過程的早期測試。這個(gè)計(jì)算工具的開發(fā)支持需求分析和系統(tǒng)開發(fā)設(shè)計(jì)階段的改善超過一個(gè)人工過程。軟件評估以及測試工具的缺乏是用最后的產(chǎn)品工作的另一個(gè)能力差距。 可信計(jì)算基礎(chǔ)體系結(jié)構(gòu) （ Trusted Computing Base Architectures） ? 定義 ? 可信計(jì)算基礎(chǔ) (TCB) 是所有的系統(tǒng)的固件、軟件和硬件的組合，他依賴于執(zhí)行系統(tǒng)的安全策略。 ? 重要性 ? TCB 是安全運(yùn)行一個(gè) IT系統(tǒng)的關(guān)鍵。 除了簡單的以外，對所有的計(jì)算部件和系統(tǒng)，確定 TCB 運(yùn)行像預(yù)期的那樣在所有的時(shí)間里執(zhí)行了期望的系統(tǒng)安全政策是不切實(shí)際的或不可能的。雖然 TCB 通常由多個(gè)廠商提供的系統(tǒng)部件組成，但總體上，在這種情況下對一個(gè) TCB 的體系結(jié)構(gòu)和組合的廣泛接受的方法是不存在的。 , April 1, 2023 雨中黃葉樹，燈下白頭人。 :43:3505:43:35April 1, 2023 1他鄉(xiāng)生白發(fā)，舊國見青山。 2023年 4月 1日星期六 5時(shí) 43分 35秒 05:43:351 April 2023 1做前，能夠環(huán)視四周；做時(shí)，你只能或者最好沿著以腳為起點(diǎn)的射線向前。 :43:3505:43Apr231Apr23 1世間成事，不求其絕對圓滿，留一份不足，可得無限完美。 。 , April 1, 2023 閱讀一切好書如同和過去最杰出的人談話。勝人者有力，自勝者強(qiáng)。 2023年 4月 1日星期六 5時(shí) 43分 35秒 05:43:351 April 2023 1一個(gè)人即使已登上頂峰，也仍要自強(qiáng)不息。 2023年 4月 1日星期六 上午 5時(shí) 43分 35秒 05:43: 1最具挑戰(zhàn)性的挑戰(zhàn)莫過于提升自我。 :43:3505:43Apr231Apr23 1越是無能的人，越喜歡挑剔別人的錯(cuò)兒。 2023年 4月 1日星期六 5時(shí) 43分 35秒 05:43:351 April 2023 1空山新雨后，天氣晚來秋。 :43:3505:43:35April 1, 2023 1意志堅(jiān)強(qiáng)的人能把世界放在手中像泥塊一樣任意揉捏。 , April 1, 2023 很多事情努力了未必有結(jié)果，但是不努力卻什么改變也沒有。 。 :43:3505:43Apr231Apr23 1故人江海別，幾度隔山川。為了保證它們的安全屬性， 開發(fā)單片集成電路和分布式 TCB 體系結(jié)構(gòu)概念方法是必要的。 ? 能力差距 ? 現(xiàn)在還不知道如何有效地測試和核查一個(gè) TCB 體系結(jié)構(gòu)的屬性，如何確定在 TCB 中的部分失效的是失敗 容忍的。 ? 技術(shù)現(xiàn)狀： ? TCB 內(nèi)核必定與局部的和復(fù)雜網(wǎng)絡(luò)的任何過程和應(yīng)用相互影響。 ? TCB 體系結(jié)構(gòu)是組合的執(zhí)行系統(tǒng)安全策略期望的硬件、固件和軟件中相互影響的表述。某些工作臺的功能是發(fā)現(xiàn)控制流，消除困惑，在結(jié)構(gòu)上編輯代碼塊，以及維護(hù)設(shè)計(jì)意圖的信息。避免在設(shè)計(jì)階段或開發(fā)階段的錯(cuò)誤和漏洞，不排除其后需要的測試，因?yàn)殄e(cuò)誤可能被引進(jìn)設(shè)計(jì)的決定，造成細(xì)節(jié)的增加。當(dāng)前的工具不能提供精確的和功能化的有成熟的模型語言的捕獲說明。 ? 能力差距： ? 早期測試、綜合分析與自動(dòng)化： 如 NIST 報(bào)告的陳述，改良軟件質(zhì)量將需要貫穿軟件開發(fā)所有階段的更好的測試。 ? 然而，這些工具通常使用困難，范圍和效力受到限制，不能與其他的工具一同工作，且其效力缺乏明確的驗(yàn)證。 ? 商業(yè)軟件通常是缺乏說明和測試，產(chǎn)品中存在許多缺欠。 ? 技術(shù)狀態(tài)： ? 現(xiàn)有的軟件測試和評估工具可以幫助開發(fā)者避免或捕捉許多系統(tǒng)的錯(cuò)誤。 ? 依照 NIST的報(bào)告，在軟件需求和設(shè)計(jì)階段中，只發(fā)現(xiàn) %的錯(cuò)誤。測試和評估可能并應(yīng)該發(fā)生在軟件開發(fā)過程的每個(gè)階段，包括需求分析、設(shè)計(jì)、編碼和認(rèn)可。靜態(tài)檢查可以直接關(guān)注這個(gè)軟件或間接通過有關(guān)方面的說明或開發(fā)記錄來進(jìn)行。 ，提供新穎的和下一代的安全 IT觀念和體系結(jié)構(gòu)。 。 ? 尤其是，計(jì)劃指出為了協(xié)調(diào)聯(lián)邦的研究開發(fā)，在解決阻礙下一代網(wǎng)際安全和信息保障技術(shù)難題中的協(xié)調(diào)是必須的。雖然這需要隨著時(shí)間來進(jìn)展 ,這個(gè)關(guān)于網(wǎng)際安全和信息安全保障的研究和開發(fā)聯(lián)邦計(jì)劃為這樣的努力提供一個(gè)起點(diǎn)。 ? 戰(zhàn)略意義： 聯(lián)邦領(lǐng)導(dǎo)層在科學(xué)領(lǐng)域中的激勵(lì)活動(dòng)，對國家具有重要的戰(zhàn)略意義。 ? 長期投資： 聯(lián)邦的 RD 投資在歷史上象征著長期的廣泛的公眾利益的科學(xué)、技術(shù)和工程進(jìn)步。 ? 傳遞與激勵(lì)： 雖然計(jì)算機(jī)和軟件公司現(xiàn)在投資于安全相關(guān)的研究和產(chǎn)品開發(fā) , 但他們的工作定位于主要被市場驅(qū)使的短期的努力，致力于現(xiàn)在的安全問題。 ? 供應(yīng)鏈： IT供應(yīng)鏈的全球范圍和日益增長的特性，將會增加國內(nèi)外敵手的顛復(fù)的機(jī)會。 ? 統(tǒng)一性： 電訊基礎(chǔ)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1