[Pl-seminar] 11/13: Jonathan Schuster, "Protocol Engineering: An Overview"

[Vincent St-Amour]

NUPRL Seminar presents

Jonathan Schuster
NUPRL

11:45 - 1:30
Wednesday, 11/13
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)

Protocol Engineering: An Overview

As the Internet takes a more central role in our use of computer
technology, the communication protocols underlying it are becoming
increasingly important for its proper functioning and performance.
However, their specifications are typically given in informal prose,
leading to all sorts of bugs and interoperability issues. The field of
protocol engineering aims to solve this problem by defining formal
specifications for protocols, much like formal semantics for programming
languages. This allows for more rigorous and bug-free design,
verification, implementation, and testing of protocols. In this talk, I
will give an overview of the state of the art in protocol engineering,
focusing on formal description techniques and the benefits they provide.