DESCRIPTION_OF_SERVICES.PDF
Published: 08/03/2015
Description
1 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 protoco...
