• Sep 17, 2018 News!Welcome to 2019 4th International Conference on Information and Network Technologies (ICINT 2019), which will be held in Kyoto, Japan during May 25-27, 2019.   [Click]
  • Jul 04, 2018 News!JACN Vol.6, No.1 has been published with online version.   [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
Editor-in-chief
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).

[PDF]

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