共 17 条
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
网络安全态势可视化研究评述..朱亮;王慧强;郑丽君;.http://www.paper.edu.cn/downloadpaper.php?serial_number=200607-36.2009,
[9]
Rule based security checking..Baldwin R Kuang;..1994,
[10]
SMV:a symbolic model checker...http://www.cs.crnu.edu/~modelcheck.2009,

