Search
E-mail
RSS

Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Formal Model for Security Protocols Based on State Transition System
MAO Zhong-quan; LIU Nan; GU Chun-xiang; ZHU Yue-fei
Computer Engineering . 2008, (13): 149 -151 .  DOI: 10.3969/j.issn.1000-3428.2008.13.054

copyright@Editorial Department of Computer Engineering
Address：No. 63, Chengliu Road, Shanghai, 201808
Tel: 021-67092217　
E-mail：ecice06@ecict.com.cn
Powered by Beijing Magtech Co. Ltd,.