《針對雲計算環境的安全性分析方法》是依託北京郵電大學,由王春露擔任項目負責人的面上項目。
基本介紹
- 中文名:針對雲計算環境的安全性分析方法
- 項目類別:面上項目
- 項目負責人:王春露
- 依託單位:北京郵電大學
《針對雲計算環境的安全性分析方法》是依託北京郵電大學,由王春露擔任項目負責人的面上項目。
《針對雲計算環境的安全性分析方法》是依託北京郵電大學,由王春露擔任項目負責人的面上項目。項目摘要雲計算概念的迅速普及,越來越多的組織和企業採用組合服務模式,組合雲環境中不同供應商提供的分散式服務組件,實現複雜的業務流程。...
針對雲計算環境下多用戶密文搜尋的需求提出了支持多用戶密文搜尋的CPHVE方案以及搜尋能力增強的方案。在標準模型下證明了方案可達到CPA安全。 (7)提出了基於本體的加密數據多關鍵字語義搜尋方案。首先提出了基於本體的複合詞概念語義相似度...
雲安全技術中最重要的要素就是配置管理,其中包括了補丁管理。在SaaS環境中,配置管理是完全由雲供應商負責處理的。如有可能,客戶可通過鑑證業務準則公告(SSAE)第16號、服務組織控制(SOC)報告或ISO認證以及雲安全聯盟的安全、信任和...
通過本項目的研究,項目組在計算外包服務的安全機制研究方面所獲得的原創性成果和關鍵技術能夠為雲計算環境下數據外包計算的安全和用戶隱私保護提供有力的技術支撐,使用戶能夠方便的利用雲巨大的計算資源,放心的將計算工作委託給遠程的雲...
基於隨機規劃理論來給出雲計算環境安全策略最佳化模型,針對雲環境中的安全和效用問題建立旨在保證數據資源安全的基礎上提升用戶效用的數學模型,並對模型進行分析和最佳化,最終得出雲環境中安全策略的最佳化配置方案,用以指導雲計算環境中訪問控制...
本項目將雲計算服務提供商(CSP)視為潛在攻擊者,首次考慮了企業用戶租賃CSP的存儲空間之後所帶來的多人共享雲計算服務環境中的安全問題。首先提出了混合式身份與屬性的層次加密模型。該模型採用層次結構的密鑰生成過程,使用精確和模糊兩重...
研究成果明確了雲環境以及內部組件可信性的定義,提出了適用於部分動態屬性建模分析的方法,並利用狀態機模型對虛擬化環境的安全缺陷進行了分析。構建了組件耦合關係有向圖及計算組件耦合度,為雲環境以及虛擬化環境安全設計提供理論指導。發現...
為此,本項目重點研究虛擬邊界的安全隔離策略、研究虛擬機安全遷移方法以及研究虛擬域數據安全訪問控制機制這三個基礎科學問題與關鍵理論研究。針對當前雲邊界的動態性和數據資源的高度聚合性,本項目通過研究雲計算環境安全威脅的起源,構建虛擬...
分析總結了現階段常見的雲計算環境下的信息安全風險;同時,對現有的國內外成熟的雲計算信息安全管理標準及常見的雲計算信息安全管理方法和模型進行了分析,有針對性地提出了C-STAR分級模型及評估方法。
研究內容主要包括雲計算環境中的作業安全模型,雲服務的安全性量化評估方法,跨控制域的自主授權與訪問控制技術三個方面。 在作業安全模型研究方面,首先從資源提供和消費的角度識別雲計算環境中的各類參與者,分析它們之間的關係建立雲計...
從程式靜態分析與最佳化、異構地址空間隔離、運行時鑒權、頁粒度敏感數據清除等角度,結合已有的GPU虛擬化研究成果,提出針對上述安全問題的系統性解決方案,並實現可部署系統,提高雲環境中GPU共享的安全性,擴展GPU在通用計算領域的適用性。
《面向雲計算環境的海量遙感影像安全檢索方法研究》是依託武漢大學,由徐彥彥擔任項目負責人的面上項目。項目摘要 遙感影像的密文檢索是實現雲環境下海量遙感影像信息安全共享的關鍵技術,也是亟待解決的關鍵問題。本課題基於正交分解的思想,...
研究了雲計算環境的安全和訪問控制策略,提出了基於安全原則的職責分離策略描述與實現方法。研究了移動雲服務環境中智慧型終端套用的安全性,給出了安全和隱私保護的架構,同時對雲存儲中的數據安全和隱私保護也進行了研究。研究了對等雲計算...
側通道攻擊已成為雲環境中威脅用戶隱私安全的重要挑戰,現有的雲安全防護機制很難發現和應對這種非入侵式的攻擊方式。針對上述問題,本項目圍繞雲計算環境中的側通道攻擊機理、側通道攻擊檢測與防禦以及雲服務安全與隱私保護等問題展開了系統...
6雲服務端信任評估模型 48 6.1雲服務端的可信性 48 6.2雲服務端動態信任評估模型 48 6.3雲服務端信任評估模型分析 54 6.4本章小結 54 7雲計算環境下基於相互信任的訪問控制方法(MTBAC) 55 7.1 用戶與雲服務端...
本項目力求在雲計算這一新型計算環境下數據有效性公開驗證模型和部分相關機制方法方面取得突破,該研究理論方法是對雲計算安全理論技術的進一步豐富和創新。結題摘要 雲計算環境下數據完整性驗證是信息安全領域亟待解決的關鍵問題,該利於鞏固...
本項目擬針對雲計算演化環境下隱私的建模與檢測方法開展研究。首先基於本體和自動機提出語義精確,附加隱私屬性的行為模型。然後採用基於描述邏輯的推理方法對隱私需求語義的一致性和可滿足性進行分析、採用基於時間與時序驗證的模型檢測方法對...
隨著雲計算技術的套用越來越廣泛,雲計算的可信性和安全性問題凸顯。《可信雲安全的關鍵技術與實現》敘述了採用可信雲安全技術解決雲計算可信和安全問題的方法。可信雲安全技術是在雲計算環境中,針對雲端互動的人進行可信計算和安全計算的...