Tracing Attacks and Restoring Integrity with Lascar

Alexandre Aellig, Philippe Oechslin. Tracing Attacks and Restoring Integrity with Lascar. In Sushil Jajodia, Leon Strous, editors, Integrity and Internal Control in Information Systems VI - IFIP TC11/WG11.5 Sixth Working Conference on Integrity and Internal Control in Information Systems (IICIS) 13-14 November 2003, Lausanne, Switzerland. Volume 140 of IFIP, pages 115-124, Springer, 2003. [doi]

Abstract

Abstract is missing.