张晶 刘磊 金成植 李泽鹏 郑晓娟 韩鸿莺 付燕宁

自反 多线程Java程序 服务请求 服务发布 基本图 参数化扩展上下文无关文法 项 g演算 弱等价关系 面向服务的体系结构 静态检查 安全相关行为模型 携带模型代码 形式验证 回路 安全行为模型 Java安全机制 转换 action演算簇 Web服务

吉林长春 吉林大学计算机科学与技术学院 吉林通化 吉林大学计算机科学系 通化市建设银行中心支行科技部 东北师范大学软件学院