#hcs

RTX BBN의 Maude-HCS로 숨김 통신 시스템 검증 시간 주 단위에서 시간 단위로 단축함

US military contractor open sources tool for validating hidden communications networks