【摘要】针对供应链管理系统的复杂性,提出构建供应链管理系统形式化安全模型的基本思路。在应用形式化方法分析系统所处环境中的潜在威胁、有针对性的消除隐蔽性漏洞方面做了研究,为有效解决供应链管理系统安全问题提供了一种新的途径。