Protokol (informatika)

Protokol je soubor syntaktických a sémantických pravidel určujících výměnu informace mezi nejméně dvěma entitami

zahrnuje

proceduru navázání spojení
adresování
přenos dat
zpracování chyb
řízení toku komunikace
přidělování prostředků

standardizovaný (podle RFC, IEEE, CCITT, ISO, apod.) nebo soukromý (proprietary)

Pro formální popis protokolů se používají:

stavové automaty - konečné automaty
gramatiky - formální jazyky, SDL
grafové modely - Petriho sítě, data-flow diagramy
algebraické prostředky - CCS, stopy

Formální popis je důležitý pro verifikaci protokolu.