Algebraic formal modelling for FTP

Authors

PedroJ Roig¹ , Salvador Alcaraz¹ , Katja Gilly¹ , Cristina Bernad¹ , Carlos Juiz²

1. Miguel Hernández University
2. University of the Balearic Islands

Conference / event

VII Jornadas Doctorales de la Universidad de Murcia, July 2022 (Murcia, Spain)

Poster summary

This poster displays several diagrams related to the most relevant actions being performed by the FTP protocol, both in active mode and in passive mode. To start with, a diagram showing the ports involved in both modes is shown. Then, the sequence of events in a generic FTP session in both modes are depicted. Eventually, that sequence of events have been expressed in the form of an abstract algebra called ACP, which allows to display the non-deterministic interaction between a client and a server in the form of formal algebraic terms for both active and passive mode.

Keywords

ACP, Formal algebraic model, FTP

Research areas

Computer and Information Science

References

No data provided

Funding

No data provided

Supplemental files

No data provided

Additional information

Competing interests

No competing interests were disclosed.

Data availability statement

Data sharing not applicable to this poster as no datasets were generated or analyzed during the current study.

Creative Commons license

Copyright © 2023 Roig et al. This is an open access work distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.