State machine inference of QUIC

03/11/2019
by   Abdullah Rasool, et al.
0

QUIC is a recent transport protocol that provides reliable, secure and quick service on top of UDP in the internet. As QUIC is implemented in the application space rather than in the operating system's kernel, it is more efficient to dynamically develop and roll out. Currently, there are two parallel specifications, one by Google and one by IETF, and there are a few implementations. In this paper, we show how state machine inference can be applied to automatically extract the state machine corresponding to the protocol from an implementation. In particular, we infer the model of Google's QUIC server. This is done using a black-box technique, making it usable on any implementation of the protocol, regardless of, for example, the programming language the code is written in or the system the QUIC server runs on. This makes it a useful tool for testing and specification purposes, and to make various (future) implementations more easily comparable.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/20/2019

Identification of Bugs and Vulnerabilities in TLS Implementation for Windows Operating System Using State Machine Learning

TLS protocol is an essential part of secure Internet communication. In p...
research
05/28/2020

eXtreme Modelling in Practice

Formal modelling is a powerful tool for developing complex systems. At M...
research
11/20/2017

SCTP in Go

This paper describes a successful attempt to combine two relatively new ...
research
06/04/2021

The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning

In this paper, we propose a new approach to infer state machine models f...
research
10/09/2020

Semi-Automated Protocol Disambiguation and Code Generation

For decades, Internet protocols have been specified using natural langua...
research
01/07/2019

Beyond socket options: making the Linux TCP stack truly extensible

The Transmission Control Protocol (TCP) is one of the most important pro...
research
01/31/2021

Model-Based Testing of Networked Applications

We present a rigorous framework for automatically testing application-la...

Please sign up or login with your details

Forgot password? Click here to reset