maude-hcs

Maude-HCS Maude-HCS는 실제 규모에서 Hidden Communication Systems HCS를 공식적으로 명세하고 추론하기 위한 최초의 일반화되고 모듈화된 툴체인 중 하나입니다. 이를 통해 네트워크 설계자는 대체 HCS 설계를 신속하고 효과적으로 탐색할 수 있으며, 설계를 신뢰하는 데 필요한 공식적인 개인정보 보호 및 성능 보장을 제공합니다. Introduction 숨은 통신 시스템Hidden Communication Systems, HCS은 일반 네트워크 활동 내에 은밀한 메시지를 삽입하여 통신의 존재를...