节点文献
供应链管理系统形式化安全模型研究
【摘要】 针对供应链管理系统的复杂性,提出构建供应链管理系统形式化安全模型的基本思路。在应用形式化方法分析系统所处环境中的潜在威胁、有针对性的消除隐蔽性漏洞方面做了研究,为有效解决供应链管理系统安全问题提供了一种新的途径。
【基金】 国家“863”计划资助项目(项目编号:2003AA413022)
- 【文献出处】 工业技术经济 ,Industrial Technology & Economy , 编辑部邮箱 ,2007年08期
- 【分类号】TP311.52
- 【下载频次】100