1. Roger, M. and Goubault-Larrecq, J, Log auditing through model-checking, Proc. 14th IEEE Workshop on Computer Security Foundations, IEEE Computer Society, Washington, DC, 2001, pp. 220–234.
2. Olivain, J. and Goubault-Larrecq, J, The orchids intrusion detection tool, Proc. 17th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Scotland, UK, 2005, pp. 286–290.
3. Goubault-Larrecq, J. and Olivain, J., A smell of orchids, Proc. 8th International Workshop, RV2008, Budapest, 2008, pp. 1–20.
4. Weijun, Z., Zhongyong, W., and Haibin, Z, Intrusion detection algorithm based on model checking interval temporal logic, China Commun., 2011, vol. 8, no. 3, pp. 66–72.
5. Weijun, Z., Qinglei, Z., Weidong, Y., and Haibin, Z., A novel algorithm for intrusion detection based on rasl model checking, Math. Probl. Eng., 2013. doi 10.1155/2013/621203