基于Java平台实现安全行为模型验证

李泽鹏[1] 金英[1] 张晶[1] 郑晓娟[2]

计算机工程与科学 . 2007, (10): 7 -10 .