可信軟體（dependable software）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：可信軟體
- 外文名：dependable software
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
其可信性能夠符合用戶期望的軟體。即在特定套用環境中，其實際服務質量能夠滿足用戶主觀所期望服務質量的軟體。
出處
《計算機科學技術名詞 》第三版。
可信軟體
相關詞條
- 可信軟體
可信軟體（dependable software）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義其可信性能夠符合用戶期望的軟體。即在特定套用環境中，其實際服務質量能夠滿足用戶主觀所期望服務...
- 可信軟體設計
《可信軟體設計》是2013年機械工業出版社出版的圖書，作者是賈亞斯瓦。本書詳細介紹了更節省成本、更快交付、更好用的綜合軟體開發技術可信軟體設計。內容簡介 本書詳細介紹了更節省成本、更快交付、更好用的綜合軟體開發技術——可信軟體...
- 可信軟體國際聯合研究中心
可信軟體國際聯合研究中心是由華東師範大學、法國高師集團、荷蘭萊頓大學、荷蘭國家數學與計算機中心、法國里昂LIP實驗室、法國雷恩IRISA實驗室等國際知名高校和研究所共同組建
- 可信軟體構造理論與方法研究
《可信軟體構造理論與方法研究》是依託武漢大學，由何炎祥擔任項目負責人的重大研究計畫。項目摘要 由於軟體的運行環境越來越開放，規模不斷增大，行為日益複雜，使得軟體的可信性面臨著嚴峻的挑戰，如何構造可信軟體受到了工業界和學術界越來...
- 可信隱私衛士私密空間
可信隱私衛士私密空間為一款手機安卓軟體，大小為18.8MB。可信——隱私衛士 誰都有秘密，你有嗎？一款隱私衛士捍衛你的私密空間。產品介紹：可信，最信賴的安全隱私管家！你還在為私密人的來電尷尬嗎？還在擔心隱私圖片被別人發現嗎？還在...
- 可信軟體測度理論與方法
《可信軟體測度理論與方法》是2014年科學出版社出版的圖書，作者是於本海。內容簡介 《可信軟體測度理論與方法》從軟體開發的工程過程和管理過程入手，定義了可信軟體過程，建立基於可信原則的可信軟體過程改進模型；為正確評價可信軟體水平，...
- 支持演化的可信軟體過程研究
《支持演化的可信軟體過程研究》是依託雲南大學，由張璇擔任負責人的國家自然科學基金專項基金項目。項目摘要 可信軟體基於軟體過程在開發和演化條件下的方法論是當前可信軟體及軟體工程領域國內外的關注重點。鑒於可信軟體及其演化的複雜性和...
- 可信軟體基礎研究
《可信軟體基礎研究》是2019年浙江大學出版社出版的圖書。本書系自然科學基金重大研究計畫“可信軟體基礎研究”的出版成果。內容簡介 本書系自然科學基金重大研究計畫“可信軟體基礎研究”的出版成果。本書以關鍵套用領域中軟體可信性問題為...
- 可信軟體風險多層次綜合管理技術
《可信軟體風險多層次綜合管理技術》是依託南京大學，由許滿武擔任項目負責人的重大研究計畫。 項目摘要 本課題關注導致軟體失效和系統發生災難性事件的風險，通過研究避錯、容錯、排錯和預測技術在軟體開發過程中不同階段的套用，構造軟體的...
- 可信軟體與開發方法
《可信軟體與開發方法》是2016年科學出版社出版的圖書，作者是崔夢天、趙翠新、王玉紅。內容簡介 本書以可信軟體開發為主線，從軟體實際開發過程出發，對可信軟體開發的技術、方法和過程進行分析和研究，系統地介紹了基於B方法完成軟體形式化...
- 面向性質的可信軟體建模與時序性質驗證及支持工具
《面向性質的可信軟體建模與時序性質驗證及支持工具》是依託北京航空航天大學，由李舟軍擔任項目負責人的重大研究計畫。項目摘要 面向性質的可信軟體建模與時序性質驗證及支持工具具有重要的研究價值。本課題以抽象解釋理論中的逼近計算作為抽象...
- 教育部可信軟體國際合作聯合實驗室
通過積聚國內外學術界與工業界的資源，在產出高水平科研成果的同時，培養高層次人才，促進可信軟體學科的發展，服務國內的戰略需求，推動可信軟體產業的發展，逐步把實驗室打造成為可信軟體領域國際先進的學研產中心。研究方向 圍繞國家自主...
- 基於構件的可信軟體構造及其行為動態可信測評
《基於構件的可信軟體構造及其行為動態可信測評》是郁涌為項目負責人，雲南大學為依託單位的地區科學基金項目。項目摘要 本項目以當前可信軟體研究中的一個熱點問題- - 基於構件的可信軟體構造及其關鍵理論和技術為主要內容開展研究工作，具體...
- 信息安全技術—可信計算規範—可信軟體基
《信息安全技術—可信計算規範—可信軟體基》（GB/T 37935-2019）是2020年3月1日實施的一項中華人民共和國國家標準，歸口於全國信息安全標準化技術委員會。《信息安全技術—可信計算規範—可信軟體基》（GB/T 37935-2019）規定了可信軟體...
- 面向電子商務服務的可信軟體關鍵技術及集成方案研究
《面向電子商務服務的可信軟體關鍵技術及集成方案研究》是依託山東科技大學，由龐善臣擔任項目負責人的重大研究計畫。項目摘要 網路軟體涉及的社會、法律和算法技術等規則（協定），運行時多方參與和計算的行為隨機性和並發性，對網路軟體的...
- 江西財經大學可信軟體理論與技術研究所
江西財經大學可信軟體理論與技術研究所是一個專注於軟體系統可信性保證理論研究和工程實踐的學術組織。以開放式網路環境下的軟體系統作為研究對象，重點研究提升軟體可信性的形式化表示、分析和評估、測試與驗證等方面的關鍵技術。 研究方向 ...
- 需求驅動的可信軟體過程
《需求驅動的可信軟體過程》是2017年科學出版社出版的圖書，作者是張璇、王旭。內容簡介 該書主要介紹需求驅動的可信軟體過程建模及管理方法。首先，系統地論述可信軟體與軟體過程領域的相關研究與實踐背景，分析可信軟體與軟體過程的關係。在...
- 支持可信軟體過程管理的生產線研究報告
《支持可信軟體過程管理的生產線研究報告》是王青、趙琛、肖俊超於2013年8月14日編制的科技報告。內容摘要 研究面向支持可信軟體過程管理的軟體生產線方法、技術和支撐工具，提供可信生產線架構和可信過程管理核心資產，可以支持軟體組織擴展其...
- 高可信軟體技術教育部重點實驗室(北京大學)
學科前沿：高可信軟體研究涉及到軟體理論、軟體技術與原理、軟體生產過程和管理、以及軟體支撐平台等諸多方面。高可信軟體技術的研究和發展將對未來軟體產業、信息社會的發展起到決定性的作用。高可信軟體技術教育部重點實驗室以北京大學信息...
- 支持自驗證自演化的可信網路軟體體系結構及其機理
然而，網路的開放、分布、異構、協同、動態、欺騙等特徵，導致了網路軟體不可信、線上驗證信息匱乏等問題。為此，本項目將開展支持自驗證自演化的可信網路軟體體系結構及關鍵技術研究。首先，基於軟體構件化設計原則，探索網路軟體演化運行的...
- 基於行為認證的電子銀行可信軟體驗證試驗環境研究
《基於行為認證的電子銀行可信軟體驗證試驗環境研究》是依託同濟大學，由蔣昌俊擔任項目負責人的重大研究計畫。中文摘要 不斷出現的安全問題對電子銀行系統的可信性提出嚴峻挑戰，本項目全面剖析現有電子銀行系統在可信性方面存在的問題，以電子...
- 國家可信嵌入式軟體工程技術研究中心
國家可信嵌入式軟體工程技術研究中心（簡稱“國家工程中心”）於2013年經國家科技部批准建立，依託中國電子科技集團公司第三十二研究所（簡稱“中國電科32所”）、華東師範大學共同組建。是國內第一個以可信和嵌入式為關鍵技術的國家級工程...
- 基於虛擬可信平台的軟體可信性研究
提出了針對可信軟體完整性度量列表（TSIML）的數據封裝存儲方案。根據TCG動態度量的實際需求提出了軟體行為動態可信評測方法以及利用模糊理論和模糊支持向機（FSVM）的特點，提出一種新的隸屬函式構造方法KDFSVM。
- Trustie
Trustie(Trustworthy software tools and integration environment)是一個國家軟體資源共享與協同生產環境，支持大規模網路化可信軟體生產。簡介 Trustie的綜合軟體社區服務集軟體協同開發、軟體資源共享、軟體可信評估於一體，其協同開發平台、軟體...
