%0 Journal Article
%T A Novel Algorithm for Intrusion Detection Based on RASL Model Checking
%A Weijun Zhu
%A Qinglei Zhou
%A Weidong Yang
%A Haibin Zhang
%J Mathematical Problems in Engineering
%D 2013
%I Hindawi Publishing Corporation
%R 10.1155/2013/621203
%U http://dx.doi.org/10.1155/2013/621203