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