信息安全中的可信軟件編程計算探究
前言：想要寫出一篇引人入勝的文章？我們特意為您整理了信息安全中的可信軟件編程計算探究范文，希望能給你帶來靈感和參考，敬請閱讀。
隨著我國信息技術(shù)的不斷發(fā)展以及互聯(lián)網(wǎng)技術(shù)的不斷更新，我國的各行各業(yè)都迎來了發(fā)展中的契機。同時，計算機的不斷發(fā)展以及技術(shù)上的延伸，給人們的生活內(nèi)容以及生活方式帶來了很大的變化，信息的快速傳遞使得人們在信息交流上更為便捷，也加大了信息傳遞上的透明性。而這種狀況就給信息安全帶來了一定的安全隱患。
1初探信息安全內(nèi)涵以及可信軟件計算內(nèi)涵
1.1關(guān)于信息安全的內(nèi)涵
在現(xiàn)代社會中互聯(lián)網(wǎng)技術(shù)越來越先進，因而在傳遞信息的時候既帶來了一定的便捷性，但同時也帶來一定的負(fù)面影響，信息安全主要是指對硬件以及軟件中存儲的相關(guān)信息以及大量的數(shù)據(jù)進行保護，進而保證整個的網(wǎng)絡(luò)系統(tǒng)能夠順利的、正常進行下去。而其中主要防范對象就是一些犯罪分子，防范其利用不正當(dāng)?shù)氖侄螌π畔⑦M行破壞或者是進行更改，進而使得信息數(shù)據(jù)被暴漏在外，從而影響到整個的信息網(wǎng)絡(luò)。而對于信息的安全防御主要是集中在了設(shè)備防御以及信息內(nèi)容防御以及行為防御、數(shù)據(jù)防御方面。其中，行為的防御正既是對應(yīng)可信計算內(nèi)容，也就是強調(diào)的是信息系統(tǒng)的可性行為，即每一個用戶在使用信息系統(tǒng)的時候要保證其中信息安全性[1]。
1.2關(guān)于可信軟件的內(nèi)涵
在計算機信息系統(tǒng)的建設(shè)中，尤其是在實際的使用中軟件質(zhì)量的優(yōu)劣是客戶對于軟件的滿意度以及信賴度高低等的關(guān)鍵要素，而軟件在開發(fā)的時候不同的構(gòu)成因素具有不容的內(nèi)涵，而這些構(gòu)成因素在實際的客戶使用中往往體現(xiàn)在使用的個人感受上，因而從這個角度來講具有很強的主觀性。通常來講，軟件的質(zhì)量是建立在可性形式的基礎(chǔ)之上，也就是說可性形式是軟件質(zhì)量的主要構(gòu)成要素，而相較于以往的軟件質(zhì)量來講，可信軟件將關(guān)注的焦點放在了用戶使用質(zhì)量上。同時，現(xiàn)今軟件的可信測量也是將客戶以及本身質(zhì)量作為測量對象。
1.3關(guān)于可信計算的內(nèi)涵
在整個的計算機信息系統(tǒng)中，可信計算既是其重要的構(gòu)成部分，也是其中具有重要支撐的性技術(shù)內(nèi)容。對于可信計算的內(nèi)涵主要來講，就是指在信息系統(tǒng)中為了確保整個系統(tǒng)的安全因而必須依靠一定的計算服務(wù)給與保證。同時，這個計算服務(wù)必須要能夠保證無論是在什么時間范圍內(nèi)都能夠?qū)τ嬎銠C系統(tǒng)中的信息進行安全保護，并且通過這樣一種較為可信的計算方式來提高計算機的安全性。可以說，這種可信計算無論是在國外的研究發(fā)展中，還是在國外的研究中，基本上來講都是集中在對其硬件的研究上反而在其軟件的研究上并沒有足夠關(guān)注。但是在軟件方面卻存在和硬件上同樣的不可信方面。而現(xiàn)代社會的發(fā)展以及變更都要求軟件質(zhì)量越來越高，因而加強軟件的可信已經(jīng)成為了未來計算機信息系統(tǒng)發(fā)展趨勢[2]。
隨著時代的發(fā)展以及我國科學(xué)技術(shù)的不斷延伸，軟件的可信性逐漸受到了社會大眾的關(guān)注，尤其是對其質(zhì)量的關(guān)注日漸加深。一些相關(guān)的系統(tǒng)開發(fā)商已經(jīng)將軟件的可信度納入了對軟件綜合考察當(dāng)中。同時，對軟件相關(guān)的可信度從整體發(fā)展上進行了具體規(guī)劃，依據(jù)產(chǎn)品的生命周期規(guī)律將軟件的不同代碼以及不同的模型或者是產(chǎn)品涉及到的服務(wù)進行了規(guī)劃。而對于軟件具體提高其可信度主要從以下方面來講。首先，檢查軟件中編程的具體規(guī)則，對于檢查軟件中的具體規(guī)則從本質(zhì)上來講是對編程中一些隱性問題的檢查。通常來講，這些隱性的問題往往是由于相應(yīng)的程序員在工作的時候粗心造成的，因而進行編程規(guī)則上的具體檢查就可以及時有效避免潛在的相關(guān)問題。因為這些隱性的問題如果沒有進行及時的檢查在后續(xù)的客戶使用中就比較難發(fā)現(xiàn)。同時，在會對軟件的質(zhì)量造成很大的負(fù)面影響，而對于軟件的可信度來講，這項檢查必須要進行，不僅可以有效的保證軟件的質(zhì)量。同時，能增加相關(guān)程序員的工作經(jīng)驗，進而在后續(xù)的工作中就能夠有效地避免出現(xiàn)類似的問題。其次，在進行編程規(guī)則的檢查過程中可以使用編譯器，尤其是對編程中一些的既符合語法。同時，又存在錯誤的規(guī)則進行檢查。此外，還要對其中的代碼進行具體的分析，尤其是給與其質(zhì)量上的檢查，具體來講必須要對目標(biāo)代碼進行關(guān)于質(zhì)量方面的檢查，這個過程中值得注意的是必須要采納第三方要求。同時，要對軟件的可靠性進行一定的分析，分別從定量以及定性兩個角度來進行具體分析。進而通過這樣的分析來對軟件給與一定的可靠性的保證。最后是要對軟件其中的復(fù)雜性進行一定的檢查，因為軟件的復(fù)雜性也是軟件質(zhì)量的重要構(gòu)成要素，對其質(zhì)量好還有著重要的影響。具體來講就是對軟件進行較為詳細(xì)的定量復(fù)雜性檢查，對其中的構(gòu)成要素分別進行相應(yīng)的檢查。在完成這個工作之后還要對其進行測試，測試的目的主要是為了綜合查看軟件是否能夠達到可信度的指標(biāo)。
3結(jié)論
綜上分析可知，現(xiàn)代社會的發(fā)展以及變更都要求軟件質(zhì)量越來越高，因而加強軟件的可信已經(jīng)成為了未來計算機信息系統(tǒng)發(fā)展趨勢。在軟件的可信度計算僅僅是保證軟件質(zhì)量可信的構(gòu)成要素之一但是卻對軟件的綜合質(zhì)量起著關(guān)鍵作用。
作者：韓磊
