
maude-hcs
Formal modeling and analysis framework for hidden communication systems, enabling specification of covert channels, adversary models, and statistical…
dns-analysiseducationnetwork-security+3
53

Formal modeling and analysis framework for hidden communication systems, enabling specification of covert channels, adversary models, and statistical…