Slim Rekhis, Noureddine Boudriga. A Temporal Logic-Based Model for Forensic Investigation in Networked System Security. In Vladimir Gorodetsky, Igor V. Kotenko, Victor A. Skormin, editors, Computer Network Security, Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 25-27, 2005, Proceedings. Volume 3685 of Lecture Notes in Computer Science, pages 325-338, Springer, 2005. [doi]
Abstract is missing.