Welcome to Journal of University of Chinese Academy of Sciences,Today is
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