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

相关作者

杨元原
作品数:24被引量:41H指数:3
供职机构:公安部第三研究所
研究主题:安全协议 形式化分析 重写规则 个人信息保护 自动化检测
马文平
作品数:160被引量:508H指数:12
供职机构:西安电子科技大学
研究主题:认证码 跨域认证 密码算法 保密通信 仲裁
刘维博
作品数:8被引量:6H指数:2
供职机构:西安电子科技大学
研究主题:安全协议 自动化检测 重写规则 形式化分析 安全信道
李宣东
作品数:298被引量:835H指数:16
供职机构:南京大学
研究主题:自动机 面向对象 混成系统 MDA 实时系统
周建军
作品数:38被引量:154H指数:6
供职机构:国务院国有资产监督管理委员会研究中心
研究主题:产业政策 并购重组 全球产业链 技术创新 淡马锡模式