US military contractor open sources tool for validating hidden communications networks

Maude-HCS from RTX (formerly Raytheon) helps model and validate hidden communication systems A software toolkit built for DARPA to test and validate covert communication networks is now open source, a...