Portal de Periódicos da CAPES

Using CSP to Detect Errors in the TFTP

2018; Linguagem: Inglês

10.18178/jacn.2018.6.1.249

1793-8244

Lou Chen,

Fault Detection and Control Systems

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.