DESCRIPTION OF SERVICES
Published: 08/03/2015
Description
Advanced Support for Protocol Analysis - Algorithms and GUI The Naval Research Laboratory (NRL) has a defined need for the development and improvement of software that is used by NRL experiments with formal analysis of cryptographic protocols. The ta...
