Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi. Towards a self-forensics property in the ASSL toolset. In Bipin C. Desai, Carson Kai-Sang Leung, Sudhir P. Mudur, editors, Canadian Conference on Computer Science & Software Engineering, C3S2E 2010, Montreal, Quebec, Canada, May 19-20, 2010, Proceedings. ACM International Conference Proceeding Series, pages 108-113, ACM, 2010. [doi]
Abstract is missing.