软件安全事件的频繁发生引起人们极大关注，对软件的安全性进行准确客观地分析与评估，是软件安全保障的前提和必要条件，本文正是基于此点展开论述与研究的。 为有效表示和检测软件中存在的安全隐患和缺陷，本文提出了一种基于模型的软件安全分析技术。该技术主要包括三个方面内容及创新点：安全建模、切片和安全检测。 安全建模在安全检测中起着重要作用，一般的安全模型针对粗粒度安全特性进行表示与检测，如 MOPS，或针对细粒度安全特性进行表示与检测，如 Slam。本文通过多点建模技术结合抽象模型、应用模型和数据模型来表示不同的安全特征，可以有效提高安全特征表示与检测的效率。 为收缩状态空间、压缩软件路径提高安全检测的效率和可行性，本文提出基于应用的切片技术，该技术通过切片准则与安全模型的紧密结合有效弥补了常规切片技术计算量大和切片失真的缺点。 在安全检测方面，本文提出一种建立在安全依赖基础之上的安全预测技术，填补了目前软件安全分析与检测的盲点，可以更好地反映软件的安全状况，同时也提高了软件测试与维护的效率和针对性。 本文的研究对于促进软件安全评估和分析技术具有一定的参考价值和实际意义。