计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2008年
14期
3669-3672
,共4页
安全建模%安全预测%变量依赖%安全距离%安全依赖图
安全建模%安全預測%變量依賴%安全距離%安全依賴圖
안전건모%안전예측%변량의뢰%안전거리%안전의뢰도
为了有效表示和分析软件中存在的安全缺陷和隐患,基于模型的软件安全分析技术采用多层次建模技术实现安全特征的描述,在评价软件及软件组件间安全性的过程中提出软件安全预测技术.通过分析软件组成成分之间的关联度获得相关的安全距离,在此基础之上生成安全依赖图,最后根据安全依赖图进行安全预测和分析.基于模型的安全分析技术能够针对可能存在的安全隐患给出预测和分析,为软件的测试和维护提供依据和手段.
為瞭有效錶示和分析軟件中存在的安全缺陷和隱患,基于模型的軟件安全分析技術採用多層次建模技術實現安全特徵的描述,在評價軟件及軟件組件間安全性的過程中提齣軟件安全預測技術.通過分析軟件組成成分之間的關聯度穫得相關的安全距離,在此基礎之上生成安全依賴圖,最後根據安全依賴圖進行安全預測和分析.基于模型的安全分析技術能夠針對可能存在的安全隱患給齣預測和分析,為軟件的測試和維護提供依據和手段.
위료유효표시화분석연건중존재적안전결함화은환,기우모형적연건안전분석기술채용다층차건모기술실현안전특정적묘술,재평개연건급연건조건간안전성적과정중제출연건안전예측기술.통과분석연건조성성분지간적관련도획득상관적안전거리,재차기출지상생성안전의뢰도,최후근거안전의뢰도진행안전예측화분석.기우모형적안전분석기술능구침대가능존재적안전은환급출예측화분석,위연건적측시화유호제공의거화수단.
