《面向可信管理的軟體病態模型、機理及理論研究》是依託同濟大學，由閆春鋼擔任項目負責人的重大研究計畫。
《面向可信管理的軟體病態模型、機理及理論研究》是依託同濟大學，由閆春鋼擔任項目負責人的重大研究計畫。中文摘要本項目從軟體可信問題的逆向思考，創造性地提出軟體病態概念，以提取病態特徵、規避軟體病態產生、實現軟體可信為目的，...
研究軟體的免疫識別、免疫防禦和免疫控制等技術，為網路化軟體系統的可信性分析提供理論與技術支撐；研究軟體PN機模型的行為可兼容性、行為合理性和一致性，並提出網路化軟體免疫監測動態分析算法，從病態免疫的角度全面保障網路化軟體可信性。基於上述成果，設計並開發了面向XSS-Phishing的網路化軟體病態免疫工具，以實證本...
本項目針對電子銀行系統的安全問題，以Petri網為基礎建模工具，從系統軟體病態行為機理、可預期性驗證、行為相關性分析、脆弱點提取等多方面對系統可信性進行研究。提出複雜網路系統的標籤PN機模型，並擴展該系統行為分析理論，形成項目基礎理論框架。研究軟體的先天及後天病態機理、“免疫”與“自愈”技術，為軟體系統的...
《面向可信管理的軟體病態模型、機理及理論研究》是依託同濟大學，由閆春鋼擔任項目負責人的重大研究計畫。中文摘要 本項目從軟體可信問題的逆向思考，創造性地提出軟體病態概念，以提取病態特徵、規避軟體病態產生、實現軟體可信為目的，從軟體行為、可信度量、產生機理等方面開展對軟體病態的研究，建立PN機行為模型理論，...
3、國家自然科學基金項目：面向可信管理的軟體病態模型、機理及理論研究（No.90718012）2008.1～2010.12，參加 4、國家自然科學基金項目：DNA計算模型的理論研究及套用（No.60503002）2006.1～2008.12，參加 5、龐善臣,張金泉,丁志軍,紀淑娟,劉關俊. 基於Petri網的協同系統建模及套用，獲2006年山東高等學校科研成果自然...
