Chapman Flack, Mikhail J. Atallah. Better Logging through Formality. In Hervé Debar, Ludovic Mé, Shyhtsun Felix Wu, editors, Recent Advances in Intrusion Detection, Third International Workshop, RAID 2000, Toulouse, France, October 2-4, 2000, Proceedings. Volume 1907 of Lecture Notes in Computer Science, pages 1-16, Springer, 2000. [doi]
Abstract is missing.