About this Journal Submit a Manuscript Table of Contents
Mathematical Problems in Engineering
Volume 2013 (2013), Article ID 621203, 10 pages
http://dx.doi.org/10.1155/2013/621203
Research Article

A Novel Algorithm for Intrusion Detection Based on RASL Model Checking

1School of Information Engineering, Zhengzhou University, Zhengzhou, Henan 450001, China
2MOE Key Laboratory of Grain Information Technology & Control, Henan University of Technology, Zhengzhou, Henan 450001, China
3School of Computer Science, Xidian University, Xi'an, Shaanxi 710071, China

Received 29 November 2012; Revised 6 February 2013; Accepted 15 February 2013

Academic Editor: Jitao Sun

Copyright © 2013 Weijun Zhu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Weijun Zhu, Qinglei Zhou, Weidong Yang, and Haibin Zhang, “A Novel Algorithm for Intrusion Detection Based on RASL Model Checking,” Mathematical Problems in Engineering, vol. 2013, Article ID 621203, 10 pages, 2013. doi:10.1155/2013/621203