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