Analysis of authentication protocols based on rubin logic

2008 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2008

Volumn , Issue , 2008, Pages

  Xu, Yang ^a,b   Xie, Xiaoyao ^b  

^a GUIZHOU UNIVERSITY   (China)

^b Key Laboratory of Information and Computing Science of Guizhou Province   (China)

Author keywords

Andrew secure RPCprotocol; Authentication protocols; BAN logic; Rubin logic; Security; X 509 authentication protocol

Indexed keywords

ACCESS CONTROL; AUTHENTICATION; MOBILE COMPUTING; WIRELESS NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

ANDREW SECURE RPCPROTOCOL; AUTHENTICATION PROTOCOLS; BAN LOGIC; RUBIN LOGIC; SECURITY; X 509 AUTHENTICATION PROTOCOL;

COMPUTER NETWORKS;

EID: 58049120659     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WiCom.2008.1120     Document Type: Conference Paper

References (16)

1. M. Burrows, M. Abadi, and R. Needham, "A logic of authentication," ACM Transactions on Computer Systems, vol. 8, no. 1, pp. 18-36, Jan. 1990.
2. P. F. Syverson, and P. C. van Oorschot, "On unifying some cryptographic protocol logics," in Proc. 1994 IEEE Conf. Computer Society Symposium on Research in Security and Privacy, pp. 14-28.
3. D. M. Nessett, "A critique of the Burrows, Abadi, and Needham logic," ACM Operating Systems Review, vol. 24, no. 2, pp. 35-38, Apr. 1990.
4. Y. Q. Zhang, J. P. Wu, and X. Li, "BAN-like logic for cryptographic protocols analysis: a survey," Journal of Tsinghua University (Sci & Tech), vol. 42, no.1, pp. 96-99, Jan. 2002.
5. A. D. Rubin, "Nonmonotonic cryptographic protocols," Ph.D. dissertation, Dept. Elec. Eng. and Computer Science, Univ. of Michigan, Ann Arbor, MI, 1994.
6. A. D. Rubin, "Extending NCP for protocols using public keys," Mobile Networks and Applications, vol. 2, no. 3, pp. 227-241, Mar. 1997.
7. Z. M. Song, and S. H. Qing, "Appling NCP logic to the analysis of SSL3.0," Information and Communication Security. Berlin: Springer-Verlag, pp. 155-166, 2001.
8. S. X. Shao, J. Chen, and M. Wu, "Analysis of PKM protocol of LMDS by NCP logic, " Journal on Communications, vol. 25, no. 9, pp. 146-152, Sep. 2004.
9. Yang Xu, and X. Y. Xie, "Security analysis of routing protocol for MANET based on extended Rubin logic," in Proc. 2008 IEEE Int. Conf. Networking, Sensing and Control, pp. 1326-1331.
10. M. Satyanarayanan, "Integrating security in a large distributed system," ACM Transactions on Computer Systems, vol. 7, no. 3, pp. 247-280, Aug. 1989.
11. Gavin Lowe, "Some new attacks upon security protocols" in Proc. 9th IEEE Workshop Computer Security Foundations, 1996, pp. 162-169.
12. Recommendation X.509-The directory: public-key and attribute certificate frameworks, ITU-T, 2005.
13. C. I'Anson, and C. Mitchell, "Security defects in the CCITT recommendation X. 509-The directory authentication framework," Computer Communication Review, vol. 20, no. 2, pp.30-34, May 1990.
14. R. Jang, J. H. Li, and L. Pan, "Analysis of CCITT X. 509 Based on Strand Space Model," Journal of Shanghai Jiaotong University, vol.38, no.10, pp. 169-173, Oct. 2004.
15. S. M. Bellovin, and M. Merritt, "Limitations of the Kerberos Authentication. System," Computer Communication. Review, vol. 20, no. 5, pp. 119-132, Oct. 1990.
16. S. H. Qing, "Twenty Years Development of Security Protocols Research," Journal of Software, vol. 14, no. 10, pp. 1740-1752, Oct. 2003.