一种基于形式化描述的移动终端安全性检测方法及装置

摘要

本发明实施例公开了一种基于形式化描述的移动终端安全性检测方法及装置，包括：基于形式化描述方法对移动终端的应用功能进行形式化描述，建立终端行为模型；基于形式化描述方法对所述移动终端的应用功能对应的安全缺陷进行形式化描述，建立终端安全模型；利用所述终端安全模型对所述终端行为模型进行检测，并获取检测结果。本发明实施例提供的技术方案有利于实现在移动终端软件开发早期对移动终端应用功能存在的安全缺陷进行自动检测。