《基於行為聲明的套用軟體可信性驗證》是2018年10月1日實施的一項中國國家標準。
基本介紹
- 中文名:基於行為聲明的套用軟體可信性驗證
- 外文名:Application software trustworthiness verification based on behavior declaration
- 標準類別:基礎
- 標準號:GB/T 36099-2018
《基於行為聲明的套用軟體可信性驗證》是2018年10月1日實施的一項中國國家標準。
《基於行為聲明的套用軟體可信性驗證》是2018年10月1日實施的一項中國國家標準。編制進程2018年3月15日,《基於行為聲明的套用軟體可信性驗證》發布。2018年10月1日,《基於行為聲明的套用軟體可信性驗證》實施。起...
《可信網路軟體的形式驗證》是依託上海大學,由繆淮扣擔任項目負責人的面上項目。中文摘要 以網路軟體為研究對象,針對軟體可信性質中的正確性和安全性,研究確保軟體行為一致性和安全性驗證的理論和方法。主要包括:研究網路軟體的形式化行為...
《信息物理融合系統軟體可信性驗證方法研究》是依託大連理工大學,由侯剛擔任項目負責人的青年科學基金項目。項目摘要 信息物理融合系統(Cyber Physical Systems,CPS)作為當今世界信息技術制高點,將廣泛套用於電力系統、醫療儀器設備、航空航天...
《基於模型檢測的高可靠性軟體動態更新的設計與驗證》是依託華東師範大學,由張民擔任項目負責人的青年科學基金項目。項目摘要 對於大多數軟體,更新在其生命周期中都是不可避免的。傳統的更新方法是首先停止當前軟體的運行,安裝新的軟體,...
《基於虛擬可信平台的軟體可信性研究》是2017年5月1日武漢大學出版社出版的圖書,作者是郝瑞。內容簡介 本文對基於虛擬可信平台軟體可信性度量模型進行了研究,並提出兩階段層次化虛擬可信系統度量模型—TSVTMM,基於該模型提出基於軟體可信...
2、基於Web端節點動態信任模型的多源Web套用行為特徵融合機制研究:重點研究了新型網路中節點行為認證與可信性度量;提出了端節點Web套用運行環境可信性檢測與增強機制;研究了基於套用安全需求的,多源節點信任特徵融合機制,提出了基於節點信任...
《可信軟體測度理論與方法》是2014年科學出版社出版的圖書,作者是於本海。內容簡介 《可信軟體測度理論與方法》從軟體開發的工程過程和管理過程入手,定義了可信軟體過程,建立基於可信原則的可信軟體過程改進模型;為正確評價可信軟體水平,...
《航天多核嵌入式軟體可信驗證與系統原型》是依託大連理工大學,由周寬久擔任項目負責人的面上項目。項目摘要 嵌入式多核處理器具有較強處理能力,在航天系統得到廣泛套用。多核並發程式訪問共享變數時間和順序的隨機性,導致多核嵌入式軟體...
《軟體演化過程的行為驗證研究》是依託雲南大學,由李彤擔任負責人的國家自然科學基金專項基金項目。項目摘要 軟體過程驗證是軟體過程建模的後續研究,可以確保過程模型符合建模者的期望,提高過程實施的有效性。針對現有過程驗證研究缺乏行為驗證...
2、提出一種軟體可信屬性的表示以及相關性分析的方法,給出了可信屬性相關性、獨立性和冗餘性的概念。3、在分析結構冗餘及其對可信性的影響的基礎上,在基於構件的可信軟體系統中提出了對核心構件進行冗餘的機制。4、把構件之間信任關係分...
3、可信軟體體系結構設計、構件化實現及基於可信編譯的程式代碼生成方法;4、可信軟體的測試與評估方法;5、可信軟體開發工具的設計與實現以及開發平台的集成方案;6、面向國產家電嵌入式可信軟體典型示範套用。
《基於模擬執行的軟體功能規約的安全性驗證》是依託上海交通大學,由陳雨亭擔任項目負責人的青年科學基金項目。項目摘要 軟體安全是指軟體需要避免由風險因素或條件所導致的事故或損失,它是軟體可信的一個重要參考指標。在軟體需求分析階段為...
《用戶設計意圖的程式標註及其類型驗證技術研究》是依託南京理工大學,由趙洋擔任項目負責人的青年科學基金項目。項目摘要 隨著軟體規模日趨龐大、形態更加複雜,其可信性卻越來越脆弱。傳統的軟體工程方法已經無法滿足當今社會對軟體可靠性和...
研究基於Event-B的數據安全形式化建模、精化與證明技術,更細粒度地確保底層系統及套用軟體不存在設計漏洞;研究基於TPM2.0的遠程身份及平台可信性證明技術,提高遠程證明的可信性及高效性;研究基於Pi演算的可信認證協定形式化驗證技術,...
除了對上述方法和技術進行研究外,本項目還將提供相應的面向軟體可信性的需求工程支撐工具原型系統,並將結合特定領域的套用問題,進行實證研究。結題摘要 軟體系統的可信性是指軟體系統的行為符合人們的預期,並且在受到操作錯誤、外部攻擊及...