A language-theoretic view on network protocols

Ganty, Pierre and Köpf, Boris and Valero Mejía, Pedro (2016). A language-theoretic view on network protocols. In: "15th International Symposium, ATVA 2017", 03-06 Oct 2017, Pune, India. ISBN 978-3-319-68167-2. pp. 363-379. https://doi.org/10.1007/978-3-319-68167-2 24.

Description

Title: A language-theoretic view on network protocols
Author/s:
  • Ganty, Pierre
  • Köpf, Boris
  • Valero Mejía, Pedro
Item Type: Presentation at Congress or Conference (Article)
Event Title: 15th International Symposium, ATVA 2017
Event Dates: 03-06 Oct 2017
Event Location: Pune, India
Title of Book: Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017 Pune, India, October 3–6, 2017 Proceedings
Date: 2016
ISBN: 978-3-319-68167-2
Volume: 10482
Subjects:
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Otro
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (525kB) | Preview

Abstract

Input validation is the first line of defense against malformed or malicious inputs. It is therefore critical that the validator (which is often part of the parser) is free of bugs. To build dependable input validators, we propose using parser generators for context-free languages. In the context of network protocols, various works have pointed at context-free languages as falling short to specify precisely or concisely common idioms found in protocols. We review those assessments and perform a rigorous, language-theoretic analysis of several common protocol idioms. We then demonstrate the practical value of our findings by developing a modular, robust, and efficient input validator for HTTP relying on context-free grammars and regular expressions.

Funding Projects

TypeCodeAcronymLeaderTitle
Government of SpainTIN2015-70713-RUnspecifiedFundación IMDEA SoftwareDETECCION Y DEFENSA CONTRA AMENAZAS A LA SOCIEDAD DE INFORMACION
Government of SpainTIN2015-71819UnspecifiedFundación IMDEA SoftwareTECNOLOGIAS RIGUROSAS PARA EL ANALISIS Y VERIFICACION DE SOFTWARE CONCURRENTE Y DISTRIBUIDO SOFISTICADO
Government of SpainTIN2012-39391-C04-01UnspecifiedFundación IMDEA SoftwareSOUND TECHNOLOGIES FOR RELIABLE, OPEN, NEW GENERATION SOFTWARE
Madrid Regional GovernmentS2013/ICE-2731 N-GREENSUnspecifiedFundación IMDEA SoftwareUnspecified

More information

Item ID: 48270
DC Identifier: http://oa.upm.es/48270/
OAI Identifier: oai:oa.upm.es:48270
DOI: 10.1007/978-3-319-68167-2 24
Official URL: https://link.springer.com/content/pdf/10.1007%2F978-3-319-68167-2.pdf
Deposited by: Memoria Investigacion
Deposited on: 07 Nov 2017 12:02
Last Modified: 07 Nov 2017 12:02
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM