《安全系統功能安全建模與分析的方法研究》是依託清華大學,由陽憲惠擔任項目負責人的面上項目。
基本介紹
- 中文名:安全系統功能安全建模與分析的方法研究
- 依託單位:清華大學
- 項目負責人:陽憲惠
- 項目類別:面上項目
- 批准號:60674064
- 申請代碼:F0302
- 負責人職稱:教授
- 研究期限:2007-01-01 至 2009-12-31
- 支持經費:24(萬元)
《安全系統功能安全建模與分析的方法研究》是依託清華大學,由陽憲惠擔任項目負責人的面上項目。
《安全系統功能安全建模與分析的方法研究》是依託清華大學,由陽憲惠擔任項目負責人的面上項目。項目摘要安全系統在生產過程出現危險時通過正確執行其安全功能來保障生產安全。功能安全技術是實現安全系統風險目標控制的有效方法與途徑。...
《工業控制系統安全脆弱性分析與建模的理論與套用研究》是依託浙江大學,由褚健擔任項目負責人的專項基金項目。項目摘要 2010年發生的“震網(Stuxnet)“成功摧毀伊朗核設施,標誌著物理世界的戰略基礎設施控制系統面臨現實的安全威脅。與傳統...
《新型通信網路系統的安全態勢分析基礎理論和方法研究》是依託上海交通大學,由李建華擔任項目負責人的重點項目。項目摘要 隨著通信技術的不斷發展,軟體定義網路(Software Defined Network,SDN)已經成為新型通信網路系統的主流發展方向。基於...
《關鍵基礎設施網路安全的體系建模與關鍵技術研究》是依託中國人民解放軍國防科技大學,由鄧文平擔任項目負責人的青年科學基金項目。中文摘要 關鍵基礎設施涵蓋了電力、交通、能源、通信等核心公共基礎資源服務系統,是國家安全、社會穩定、經濟...
列控系統直接關係到廣大乘客的人身安全,現階段的高速鐵路列控系統規模越來越龐大、功能不斷擴展延伸,具有並發、實時、混成等複雜特徵。常規的規約理論、建模、驗證方法由於沒有考慮複雜的列控特徵,往往無法直接套用於列控系統。如何面向複雜...
本研究擬設計一套web系統的安全分析與防禦方法:研究基於狀態異常模型的web攻擊動態檢測機制,在運行時對web系統進行動態保護;研究基於全局視圖的web安全漏洞靜態分析框架,在原始碼級別對web系統進行靜態漏洞分析;在此基礎上,提出適合新型...
實時安全關鍵系統(Real-Time Safety-Critical System,RTSCS)要求在確定時間內完成系統功能,執行動作需要滿足特定的時間約束。為了減少或防止RTSCS發生災難性事故,研究了該類系統的關鍵科學問題,以期保證它們的安全性與正確性。在投影時序...
第3章 耕地安全系統結構功能和演化路徑 3.1 耕地安全系統內涵和特性 3.2 耕地安全系統的結構 3.3 耕地安全系統功效 3.4 耕地安全系統動態變化演化模式和機制 第4章 江蘇省耕地安全系統分析和模型建立 4.1 建模的目的和步驟 4...
汽車碰撞是一個瞬態、非線性、大變形的複雜力學過程,汽車碰撞安全系統的概念設計方法是實現整車被動安全性正向設計和自主開發的核心技術。 本項目依據車體與乘員的碰撞力學原理,開展整車和乘員約束系統碰撞動力學特性和概念設計方法研究,...
《引信安全系統分析與設計》是2016年國防工業出版社出版圖書,作者是何光林、范寧軍。內容簡介 本書對引信安全系統進行了系統而深入的論述。重點介紹引信安全系統的設 計思想、設計理論、技術標準、設計方法和技術路線,以及目前廣泛套用的機械...
本課題旨在運用社會建模的手段,研究軟體的需求分析方法,從而提高未來軟體的需求分析與設計活動的系統性與科學性。課題將提出一套表達基於社會建模的軟體安全需求理論模型,給出相應的模型分析方法,並運用該方法分析新型服務軟體的需求建模...
3.5.1 通用安全性需求獲取 3.5.2 特定安全性需求獲取 3.5.3 需求關鍵性分析 3.6 本章小結 第4章 軟體安全性需求形式化建模 4.1 基於本體的靜態建模 4.1.1 本體建模 4.1.2 E-R模型概貌 4.1.3 軟體和系統安全性階段...
隨著Web套用的普及,針對其漏洞的攻擊也越來越多,本課題研究一套Web系統的安全檢測與防禦方法。 在程式分析方面,提出了一種從Web日誌中挖掘攻擊頻繁序列模式的方法,使用序列模式挖掘方法,對攻擊數據進行挖掘,可以探索漏洞掃描器的掃描...
本項目採用切換系統理論和方法對這類進攻進行建模,分析自主系統在PDoS攻擊下的穩定性和性能損失,從而獲悉攻擊參數與自主系統性能下降之間的關係,從理論上闡明PDoS攻擊的機理與性能損失上下界,並且通過最佳化模型探討最壞情況下攻擊者的能力...
研究信息不對稱系統的結構、功能、演化和協同作用等的一般規律,進而對安全信息開展對稱分析、對稱評價、對稱設計、對稱創造、對稱管理、對稱實踐等活動,尋求實踐安全信息最優對稱化的一門安全學科分支。
因此必須採取理論研究和技術實踐相結合的手段,從根本問題入手,將抽象解釋理論運用於虛擬化環境安全缺陷的建模,從安全約束規則的角度研究虛擬機監控器的保護方法,建立了可支持多維可變粒度的高安全需求軟體動態隔離機制,並構造實驗驗證系統...
闡述了系統風險分析、可靠性建模、安全完整性水平選擇的相關方法。提供了典型石化單元安全儀表功能的設計、分析、性能指標計算,以及改進設計的相關示例。本書力圖內容深入淺出,圖文並茂,在講述功能安全基本原理方法的同時,也注重與工程實際...
3.2.6污點分析35 3.3物聯網設備安全分析技術概述36 3.4移動設備安全分析技術發展趨勢38 參考文獻38 移動終端操作系統安全威脅分析與防護目錄第4章基於細粒度切片和靜態分析融合的漏洞檢測方法42 4.1基於細粒度切片技術的代碼建模42 4...
2.3安全策略的形式化描述 2.4安全策略的選擇 2.5小結 習題 第3章訪問控制策略 3.1訪問控制 按用戶身份及其所歸屬的某項定義組來限制用戶對某些信息項的訪問,或限制對某些控制功能的使用。訪問控制通常用於系統管理員控制用戶對服務...
7.3 動態系統安全運行監測管控系統功能分析 / 259 7.3.1 數據資源管理需求 / 260 7.3.2 監測數據分析處理功能 / 260 7.3.3 動態系統安全分析決策功能 / 261 7.3.4 健康管理功能 / 262 7.4 動態系統安全運行智慧型...
3基於韌性曲線的安全韌性城市模型研究 3.1基於統計數據回歸分析的複雜系統韌性建模研究 3.1.1概念與模型 3.1.2韌性曲線建模與分型研究 3.2基於韌性曲線的城市安全韌性建模與模擬研究 3.2.1分析框架 3.2.2模擬計算模型與方法 3.2...
3.2.7 子系統 3.2.8 UML擴展機制 3.3 UML模型分析 3.3.1 UML表示 3.3.2 形式語義概要 3.3.3 密碼學建模 3.3.4 UML圖的安全分析 3.3.5 重要的安全屬性 第二部分 開發安全系統 第4章 基於模型的UML安全工程 4.1 ...
1.4 出現的問題和進一步研究的一些要點 14 1.5 結論和建議 15 第 2 章 使用安全模式開發安全系統 19 2.1 引言 19 2.2 安全軟體開發方法學 21 2.3 安全模式的建模和分類 24 2.4 誤用模式 29 2.5 訪問控制模型的特徵和...
《醫院緊急救助系統建模分析研究》是依託清華大學,由謝小磊擔任項目負責人的青年科學基金項目。項目摘要 醫院運作管理的首要目標是保障醫療安全。每年極高的可避免死亡數量促使醫院建立和實施快速救助小組(RRT)用來救助體徵突然惡化的患者,...
本項目的主要研究內容如下: (1)針對NCS的輸出跟蹤問題,考慮線性系統,分別基於輸入輸出模型和狀態空間模型,採用模型預測方法,設計了基於模型的網路化預測控制方法,以補償網路隨機環路時延,然後分析了閉環系統的輸出跟蹤性能和穩定性。
安全相關係統的功能安全 統計過程控制 出版圖書 主講課程 工業數據通信與控制網路;現場匯流排技術及其套用;過程控制 學術成果 完成的主要科研項目 國家自然科學基金課題 安全系統功能安全建模與分析的方法研究(60674064);間歇過程的智慧型製造 國...
[4] 大型石化裂解爐智慧型控制系統(子課題) 國家863計畫重點項目 子課題主要參與人 2007年8月至今 [5] 清華大學骨幹人才支持計畫 清華大學 2007年4月至2009年3月 [6] 安全系統功能安全建模與分析的方法研究 國家自然科學基金項目 ...