• Jul 04, 2018 News!JACN Vol.6, No.1 has been published with online version.   [Click]
  • Jun 05, 2018 News!ICINT 2018 (The annual meeting of JACN) has been successfully held in Osaka, Japan during May 24-26.   [Click]
  • May 22, 2018 News!JACN has been included in EBSCO database.
General Information
    • ISSN: 1793-8244
    • Frequency: Semiyearly
    • DOI: 10.18178/JACN
    • Editor-in-Chief: Dr. Ka Wai Gary Wong
    • Executive Editor: Ms. Nina Lee
    • Abstracting/ Indexing: EI (INSPEC, IET),  Electronic Journals Library, Ulrich's Periodicals Directory, EBSCO, ProQuest, and Google Scholar.
    • E-mail: jacn@ejournal.net
Dr. Ka Wai Gary Wong
Division of Information and Technology Studies, Faculty of Education, The University of Hong Kong.
It's a honor to serve as the editor-in-chief of JACN. I'll work together with the editors and reviewers to help the journal progress
JACN 2018 Vol.6(1): 24-29 ISSN: 1793-8244
DOI: 10.18178/JACN.2018.6.1.249

Using CSP to Detect Errors in the TFTP

Lou Chen
Abstract—Trivial File Transfer Protocol (TFTP) is a simple lockstep file transfer protocol. In this paper we use PAT, a model checker for CSP, to detect errors in the TFTP. We model the protocol and a very general intruder as CSP processes, and use the model checker to test whether the intruder can successfully attack the protocol. We discover many different attacks leading to breaches of security.

Index Terms—Security protocols, PAT, CSP, TFTP, model checking.

Lou Chen is with Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China (e-mail: 51151500006@stu.ecnu.edu.cn).


Cite:Lou Chen, "Using CSP to Detect Errors in the TFTP," Journal of Advances in Computer Networks vol. 6, no. 1, pp. 24-29, 2018.

Copyright © 2008-2018. Journal of Advances in Computer Networks.  All rights reserved.
E-mail: jacn@ejournal.net