Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems
تقدم هذه الورقة Maude-HCS، وهو إطار نمذجة قابل للتنفيذ يصيغ عدم القدرة على كشف أنظمة الاتصال الخفية في شكل عدم تميز إحصائي، مما يمكّن المصممين من تحليل وتدقيق المقايضات بين الأداء الخفي وقابلية الكشف بشكل منهجي تحت افتراضات معادية صريحة.