80 次浏览 · 40 次下载 · ☆☆☆☆☆ 0.0

Algebraic formal modelling for FTP

发表日期 December 20, 2023 (DOI: https://doi.org/10.54985/peeref.2312p6153799)

未经同行评议

作者

PedroJ Roig1 , Salvador Alcaraz1 , Katja Gilly1 , Cristina Bernad1 , Carlos Juiz2
  1. Miguel Hernández University
  2. University of the Balearic Islands

会议/活动

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

海报摘要

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.

关键词

ACP, Formal algebraic model, FTP

研究领域

Computer and Information Science

参考文献

暂无数据

基金

暂无数据

补充材料

暂无数据

附加信息

利益冲突
No competing interests were disclosed.
数据可用性声明
Data sharing not applicable to this poster as no datasets were generated or analyzed during the current study.
知识共享许可协议
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.
评分
引用
Roig, P., Alcaraz, S., Gilly, K., Bernad, C., Juiz, C. Algebraic formal modelling for FTP [not peer reviewed]. Peeref 2023 (poster).
复制引文

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More