Redundancy management software services for Seawolf ship control system
New Directions in Cryptography