欢迎访问中国科学院大学学报,今天是
一种基于项重写的密码模块API安全性检测算法
刘波, 陈华
A security analysis algorithm for cryptographic module API using term rewriting system
LIU Bo, CHEN Hua
中国科学院大学学报 . 2013, (5): 699 -705 .  DOI: 10.7523/j.issn.2095-6134.2013.05.020