基于智能手机的移动支付系统是当今移动互联网领域应用非常火热的方向，然而如何证明该移动支付系统的安全性常常是困扰信息安全领域专家的一个难题。评估一个系统的安全性可以采用伪造敌手进行蛮力攻击，但这种方式不能信服的说明系统安全性，没有严谨的学术理论支撑，而且浪费很多计算资源和时间。可证安全理论是采用反证法的思想进行数学推理，证明系统的安全性，考虑如何利用可证安全理论证明该基于智能手机的移动支付系统的安全性具有实际的意义。采用可证安全理论证明系统安全性可以节省很多计算资源，并能提供学术上的理论支撑。　　 本文通过分析国内外可证安全理论的发展状况，结合智能手机嵌入式软件平台及其产业化--智能手机机卡协作子系统项目，针对可证安全理论、可证安全分析方法、公钥密码学安全定义、OTP动态口令技术进行了深入研究；对实现的基于智能手机的移动支付系统从网络架构、功能实体、安全认证流程、系统实现及性能分析；应用可证安全理论对该移动支付系统进行了安全性分析，包括接入网络的安全性分析、传递认证参数数据流程上的安全性分析、OTP动态口令算法的安全性分析；最后，总结了该安全分析方法的优势，对基于智能手机移动支付系统的可证安全性分析的未来研究方向进行了展望。