FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode

Pedro Juan Roig, Salvador Alcaraz, Katja Gilly

2017

Abstract

FTP is a well-known network protocol aimed at transferring computer files between two end devices, following a client-server approach. In this paper, we are focusing on getting a formal description model for both FTP modes, namely active and passive, by using manual algebraic derivations related to Algebra of Communicating Processes (ACP) as a tool for achieving such a formal protocol specification. For that purpose, the most commonly used FTP commands are going to be studied by applying ACP rules, proving that the model proposed meet the expected behaviour of FTP sessions.

Paper Citation

in Harvard Style

Roig P., Alcaraz S. and Gilly K. (2017). FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode . In Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-265-3, pages 362-373. DOI: 10.5220/0006465703620373

in Bibtex Style

@conference{simultech17,
author={Pedro Juan Roig and Salvador Alcaraz and Katja Gilly},
title={FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode},
booktitle={Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2017},
pages={362-373},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006465703620373},
isbn={978-989-758-265-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode
SN - 978-989-758-265-3
AU - Roig P.
AU - Alcaraz S.
AU - Gilly K.
PY - 2017
SP - 362
EP - 373
DO - 10.5220/0006465703620373