搜索到 篇“ 重写规则 “的相关文章

相关作者

杨元原
作品数：24被引量：42H指数：3
供职机构：公安部第三研究所
研究主题：安全协议 形式化分析 重写规则 个人信息保护 自动化检测
马文平
作品数：160被引量：517H指数：12
供职机构：西安电子科技大学
研究主题：认证码 跨域认证 密码算法 保密通信 仲裁
刘维博
作品数：8被引量：6H指数：2
供职机构：西安电子科技大学
研究主题：安全协议 自动化检测 重写规则 形式化分析 安全信道
陈海波
作品数：306被引量：144H指数：5
供职机构：上海交通大学
研究主题：虚拟机 内存 RDMA 服务器 硬件特性
李宣东
作品数：300被引量：846H指数：16
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统