Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (525kB) | Vista Previa |
Ganty, Pierre, Köpf, Boris and 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.
Título: | A language-theoretic view on network protocols |
---|---|
Autor/es: |
|
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 |
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (525kB) | Vista Previa |
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.
ID de Registro: | 48270 |
---|---|
Identificador DC: | https://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%2F97... |
Depositado por: | Memoria Investigacion |
Depositado el: | 07 Nov 2017 12:02 |
Ultima Modificación: | 30 Nov 2022 09:00 |