《可信資料庫系統研究》是依託武漢大學，由彭智勇擔任項目負責人的重大研究計畫。
《可信資料庫系統研究》是依託武漢大學，由彭智勇擔任項目負責人的重大研究計畫。項目摘要資料庫系統是支撐信息管理的基礎軟體，它的可信性必須得到保證。資料庫的可信性主要強調即使在不可信的環境中，如資料庫管理員不可信、備份介質失...
可信資料庫系統 可信資料庫系統（trusted database system）是2018年公布的計算機科學技術名詞。定義 具有強制和自主訪問控制、審計、數據完整性、身份識別和鑑別、主客體分離等功能的資料庫系統。出處 《計算機科學技術名詞 》第三版。
2023可信資料庫發展大會於2023年7月4日北京國際會議中心召開，會議由中國通信標準化協會和中國信息通信研究院主辦，大數據技術標準推進委員會承辦，InfoQ聯合主辦。主辦單位 會議由中國通信標準化協會和中國信息通信研究院主辦，大數據技術標準推進委員會承辦，InfoQ聯合主辦。活動內容 大會重磅發布多項中國信通院及中國通信...
研究方向 1、 可信計算與信息保障基礎理論：體系結構、算法設計與分析、協定設計與分析 2、 可信計算與信息保障關鍵技術與系統：可信計算模組與平台、認證授權與網路信任、可信作業系統與系統保障、信息對抗與網路保障、可信資料庫與雲安全 3、 可信計算與信息保障測評方法與工具：算法與協定測評方法與工具、軟體測試與...
資料庫系統（Database System），是由資料庫及其管理軟體組成的系統。資料庫系統是為適應數據處理的需要而發展起來的一種較為理想的數據處理系統，也是一個為實際可運行的存儲、維護和套用系統提供數據的軟體系統，是存儲介質 、處理對象和管理系統的集合體。基本定義 資料庫系統DBS（Data Base System，簡稱DBS）通常由...
研究方向 1、基礎軟體及平台體系 （1）操作系統理論方法和技術 （2）資料庫管理系統理論方法和技術 （3）編譯理論方法和技術 （4）系統安全理論方法與技術 2、可信軟體開發方法和平台 （1）軟體工程數據、知識與可信證據 （2）軟體過程與社會計算 （3）基礎軟體測評 3、中文信息處理技術 （1）文本檢索與問答技術 ...
深圳市華成峰數據技術有限公司，是華成峰實業有限公司的下屬子公司，正式成立於2014年，其前身是深圳市華成峰科技有限公司套用開發部，組建於2011年。主營業務 專業從事資料庫系統、大數據、雲計算、人工智慧、數據中心軟體的研發和技術服務。長期專注於大數據核心平台、資料庫軟體以及大數據套用類產品的研發與服務。在國內去...
第4章 資料庫的安全性……… 95 4.1 安全性概述……… 95 4.1.1 計算機系統的安全性……… 95 4.1.2 可信計算機系統評測標準……… 96 4.1.3 資料庫安全性控制……… 98 4.2 視 圖……… 98 4.2.1 視圖的定義……… 99 4.2.2 刪除視圖………...
資料庫可信度 資料庫可信度是2012年公布的地理信息系統名詞。定義 資料庫可以信賴的程度，取決於數據的採集、處理與分析過程等。出處 《地理信息系統名詞》第二版
1.3 安全資料庫的國內外研究現狀 1.4 課題來源的依據和意義 1.5 主要工作 第2章 信息系統安全保護等級劃分準則的分析 2.1 資料庫安全的基本要求與特點 2.2 可信計算機系統評估標準分析 2.3 我國系統安全保護等級劃分準則 2.4 標準規則的比較 2.5 本章小結 第3章 LogicSQL資料庫系統的研究 3.1 LogicSQL...
4． 軟體可信性的評測和保障方法 5． 領域特定的可信性技術 這五個方向構成了高可信軟體從基礎理論、生產、評估和套用的整體環境。本實驗室以貫穿高可信軟體技術的套用基礎研究為核心。研究內容 在可信軟體技術研究中，建立完善的可信軟體的形式化理論體系將為量化、推導和驗證軟體系統的可信性提供理論基礎，建立有效...
2010年11月－至今：中國科學院地理科學與資源研究所，副研究員；研究領域和研究方向 主要研究方向為空間索引、空間資料庫技術、GIS，公開發表科研論文10餘篇，主要負責和參與“高可信地理空間資料庫管理系統及其重大套用（863重點項目）”等多項國家級科研課題。主要研究項目(最多10項)1.2007-2010年：高可信地理空間...
分發器資料庫 時限 優先權提升 環境切換 調度情形 空閒（Idle）執行緒 執行緒選擇 多處理器系統 多處理器系統上的執行緒選擇 處理器的選擇 5.8基於處理器份額的調度 分散式公平份額調度 CPU比率的限制 5.9動態的處理器添加與更換 5.10作業對象 作業的限制 作業集 5.11本章總結 第6章安全性 6.1安全等級 可信計算機...
第九章 資料庫安全性 9.1 計算機安全性概論 9.1.1 計算機系統的三類安全性問題 9.1.2 可信計算機系統評測標準 9.2 資料庫安全性控制 9.2.1 用戶標識與鑑別（Identification & Authentication）9.2.2 存取控制 9.2.3 自主存取控制（DAC）方法 9.2.4 強制存取控制（MAC）方法 9.2.5 視圖機制 ...
具有技術上起步早、積累多、採集細、覆蓋廣、強實時，數據處理能力上智慧型化、超高速、專業性、可信度等一系列行業領先優勢。。基於該技術的“網際網路感知大數據驅動的民生民情智慧型套用服務”獲工信部2020年大數據產業發展試點示範項目（領域二/方向4 民生大數據創新套用/第54號）。出版圖書 教學工作 事近十年面向全校本...
Shamkant B.Navathe世界知名的資料庫學者。現任喬治亞理工學院計算機學院教授。自1990年開始他一直在該校任教。他的主要研究方向是工程設計、生物（特別是人類基因組）資料庫、文檔及文本資料庫等新興套用中的資料庫建模、設計和集成，此外，他對知識表示、數據挖掘和知識發現等也非常感興趣。內容簡介 《資料庫系統基礎:...
按邏輯結構分解多級資料庫，並存儲在幾個單級操作系統客體中。而每個單級作業系統客體中可同時存儲多種級別的資料庫客體（如資料庫、關係、視圖、元組或元素），並與其中最高級別資料庫客體的敏感性級別相同。該體系結構的一種簡單方案如圖2所示，DBMS軟體仍在可信作業系統上運行，所有對資料庫的訪問都須經由可信DBMS...
①提供決策的信息是否充分、可信，是否存在因信息不足、失準、滯後而導致決策失誤的問題；②信息對持續改進質量管理體系、過程、產品所發揮的作用是否與期望值一致，是否在產品實現過程中有效運用數據分析；③收集數據的目的是否明確，收集的數據是否真實和充分，信息渠道是否暢通；④數據分析方法是否合理，是否將風險控制在...
13.國家自然科學基金重大研究計畫“可信軟體基礎研究”面上項目《可信資料庫系統研究》（90718027）（2008年—2010年）發表論文 [1]Zhiyong Peng, Yuwei Peng, Boxuan Zhai, Using Object Deputy Database to Realize Multi-Representation Geographic Information System, Proceedings of the 15th ACM International ...
《可信資料庫系統研究》，國家自然科學基金重大研究計畫“可信軟體基礎研究”面上項目，2008-2010。 《基於對象代理模型的社區管理系統》，美國惠普公司合作項目，2008。 《驗證示範－服務大眾的按需回答原型系統》，國家重點基礎研究發展計畫(973)子課題，2007-2011。 《空間數據水印技術及其服務體系的研究與開發》，863...
解決方案以及滿足不同行業需求的雲計算解決方案，公司產品和解決方案已廣泛適用於金融、公安、安防、交通、電力、政府、電信、網際網路等多個行業。合作單位 公司還與香港科技大學聯合成立了“大數據聯合實驗室”，開展人工智慧領域的研究；與北京大學成立了“嫦娥可信計算聯合實驗室”，從事高可信資料庫方向的研究。
主持, 國家級, 2017-01--2017-12 （ 14 ） 網路空間實名登記與公民身份信息保護密碼套用研究, 主持, 國家級, 2017-05--2017-12 招生信息 招生專業 0812Z1-信息安全 083900-網路空間安全 081203-計算機套用技術 招生方向 數據與數字資產保護 服務安全與可信身份管理 密碼工程與智慧型系統安全 ...
[2].超大規模關係型數據管理關鍵技術及系統，國家重點研發計畫課題（2016YFB1000602），2016.7-2019.6 [3].國家職業資格服務體系關鍵技術研究開發及示範套用，國家科技支撐計畫重點項目（2009BAH44B02），2010.1-2012.6 [4].面向Saas套用的可信數據管理的關鍵問題研究，國家自然科學基金重大項目（90818001）[5].自主...
通過信通院國產資料庫標準測試 網信辦雲服務安全評估 網路 安全等級保護 2.0 ITSS 認證 可信雲認證 大數據產品能力認證 雲測評 通過信創質量測試 兼容性適配 與多個國產硬體、操作系統互認證 與多個業內知名軟體開發商互認證 ……三方認證 三方認證證書 獎項榮譽 2019年，Gartner 報告顯示騰訊雲資料庫以123％的市場...
學術研究 科研平台 根據2021年8月學院官網信息顯示，學院有4個科研機構。科研機構：軟體質量評估與控制重點實驗室、數字媒體與計算可視化研究中心、移動智慧型終端軟體平台技術研究中心、可信系統與網路軟體技術研究中心 科研成果 根據2021年8月學院官網信息顯示，學院近三年來，承擔科研項目30餘項，其中含國家“973計畫”重點...
網路資源的可信共享與協同技術方面 懷進鵬較早提出並深入研究了資源的可管性、可協同性和可信性問題，在服務資源的建模與組織、服務部署與信任管理、資源的分配與調度、可信服務體系 結構、分散式委託授權與信任管理等方面做出了系統的創新性研究工作；研製了網際網路資源的可信共享與協同支撐平台CROWN（總代碼量40萬行），...
在Internet平台上進一步整合資源，形成巨型的、高效的、可信的虛擬環境，使所有資源能夠高效、可信地為所有用戶服務，成為軟體技術的研究熱點之一。軟體工程領域的主要研究熱點是軟體復用和軟體構件技術，它們被視為是解決“軟體危機”的一條現實可行的途徑，是軟體工業化生產的必由之路。而且軟體工程會朝著開放性計算的...
[8] 宋偉, 彭智勇, 程芳權, 李文海, 胡文斌, 任毅.可信資料庫環境下面向服務的自適應密文數據查詢方法. 計算機學報. 2010, 33(8): 1325~1338；[9] 宋偉 彭智勇 程芳權 李文海. 一種可信資料庫環境下面向服務的加密數據查詢方法. 第27屆中國資料庫學術會議, 2010年10月13-16日，中國 北京.；[1] Li ...
[25] 基於體感網的線上移動支付系統及可信認證方法 [26] 主動對象-行為圖的研究及套用 [27] 多媒體發展的主要問題和解決方法之探討 [28] 基於網際網路思維的傳統手工藝傳承發展的思考 [29] 利用數據挖掘技術推動我省信用信息收集和評價體系建設研究 編輯教材 [1] 資料庫技術與套用，第1，人民...
