Software Dataplane Verification.

The industry is in the mood for programmable networks, where an operator can dynamically deploy network functions on network devices, akin to how one deploys virtual machines on physical machines in a cloud environment. Such flexibility brings along the threat of unpredictable behavior and performan...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 58; no. 11; pp. 113 - 122
Autores principales:	Dobrescu, Mihai, Argyraki, Katerina
Formato:	Artículo
Publicado:	Association for Computing Machinery Nov2015
Materias:	Software verification Computer network monitoring Data packeting Domain-specific programming languages Coding theory Security systems
Acceso en línea:	Ver este registro en EBSCOhost