A language-theoretic view on network protocols

Ganty, Pierre; Köpf, Boris y Valero Mejía, Pedro (2016). A language-theoretic view on network protocols. En: "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.

Descripción

Título: A language-theoretic view on network protocols
Autor/es:
  • Ganty, Pierre
  • Köpf, Boris
  • Valero Mejía, Pedro
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 15th International Symposium, ATVA 2017
Fechas del Evento: 03-06 Oct 2017
Lugar del Evento: Pune, India
Título del Libro: Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017 Pune, India, October 3–6, 2017 Proceedings
Fecha: 2016
ISBN: 978-3-319-68167-2
Volumen: 10482
Materias:
Escuela: E.T.S. de Ingenieros Informáticos (UPM)
Departamento: Otro
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (525kB) | Vista Previa

Resumen

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.

Proyectos asociados

TipoCódigoAcrónimoResponsableTítulo
Gobierno de EspañaTIN2015-70713-RSin especificarFundación IMDEA SoftwareDETECCION Y DEFENSA CONTRA AMENAZAS A LA SOCIEDAD DE INFORMACION
Gobierno de EspañaTIN2015-71819Sin especificarFundación IMDEA SoftwareTECNOLOGIAS RIGUROSAS PARA EL ANALISIS Y VERIFICACION DE SOFTWARE CONCURRENTE Y DISTRIBUIDO SOFISTICADO
Gobierno de EspañaTIN2012-39391-C04-01Sin especificarFundación IMDEA SoftwareSOUND TECHNOLOGIES FOR RELIABLE, OPEN, NEW GENERATION SOFTWARE
Comunidad de MadridS2013/ICE-2731 N-GREENSSin especificarFundación IMDEA SoftwareSin especificar

Más información

ID de Registro: 48270
Identificador DC: http://oa.upm.es/48270/
Identificador OAI: oai:oa.upm.es:48270
Identificador DOI: 10.1007/978-3-319-68167-2 24
URL Oficial: https://link.springer.com/content/pdf/10.1007%2F978-3-319-68167-2.pdf
Depositado por: Memoria Investigacion
Depositado el: 07 Nov 2017 12:02
Ultima Modificación: 07 Nov 2017 12:02
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM