On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention

Hans Langmaack. On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. In Dennis Dams, Ulrich Hannemann, Martin Steffen, editors, Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever. Volume 5930 of Lecture Notes in Computer Science, pages 74-95, Springer, 2010. [doi]