密码API安全性分析
Security Analysis of Crypto API
摘要
密码API因提供通用的密码操作接口而被广泛使用;设计的复杂性,导致了安全漏洞的产生,分析和研究了目前主流的分析密码API安全的形式化方法。
Crypto API was wide used as it provides general cryptography operation interface .the complexity of it＇ s design leads vulnerability.This paper research on the primary methods of analysis the security of Crypto API formally .
出处
《计算机安全》
2009年第6期17-19,共3页
Network & Computer Security
参考文献5
-
1R.Anderson.The Correctness of Crypto Transaction Sets[].th International Workshop on Security Protocols.2000
-
2M.Bond.Understanding Security APIs[]..2004
-
3P.Youn,B.Adida,M.Bond等.Robbing the bank with a theorem prover[].Technical Report UCAM-CL-TR-University of Cambridge.2005
-
4J.Courant,J.-F.Monin.Defending the Bank with a Proof Assistant[].Proceedings of theth International Workshop on Issues in the Theory of Security(WITS’).2006
-
5G.Keighren.Model Checking Security APIs[]..2006
-
1丁胜昔,范慧琴.Windows CE应用程序中的密码技术[J].电脑编程技巧与维护,2001(6):87-89.
-
2康绯,蔡延荣,周伟.安全多播系统中的密码API[J].计算机工程与应用,2002,38(11):181-183.
-
3谭文学,潘梅森,郭国强,颜君彪,肖政宏.用CSP开发CE.Net FIGS加密传输构件[J].微计算机信息,2007,23(02X):71-73. 被引量：3
