JOC_基于UML和模型检测的安全模型验证方法.pdfVIP

32 4 Vo l. 32 N o. 4 2009 4 CH IN ESE JO U RN A L O F CO M PU T ER S A pr. 2009 UML 1) , 2) 2) 程 亮 张 阳 1) ( 230027) 2) ( 100 190)