搜索到 篇“ 形式化分析 “的相关文章

相关作者

王亚弟
作品数：140被引量：334H指数：10
供职机构：解放军信息工程大学
研究主题：密码协议 安全协议 形式化分析 HOC网络 AD
文静华
作品数：83被引量：204H指数：8
供职机构：贵州财经大学信息学院
研究主题：公平 形式化分析 ATL 电子商务协议 安全性
韩继红
作品数：122被引量：356H指数：9
供职机构：解放军信息工程大学
研究主题：安全协议 密码协议 形式化分析 HOC网络 网络安全
冯登国
作品数：745被引量：7,671H指数：39
供职机构：中国科学院软件研究所
研究主题：信息安全 密码学 网络安全 访问控制 可信计算
周明天
作品数：393被引量：2,251H指数：21
供职机构：电子科技大学计算机科学与工程学院
研究主题：计算机网络 无线传感器网络 CORBA 中间件 可信计算