搜索到 篇“ OTWAY-REES协议 “的相关文章

相关作者

唐郑熠
作品数：50被引量：70H指数：4
供职机构：福建工程学院
研究主题：SPIN 行为时序逻辑 新鲜性 语义WEB PROMELA
曹正君
作品数：1被引量：1H指数：1
供职机构：中国人民解放军总参谋部第五十一研究所
研究主题：SG OTWAY-REES协议 逻辑分析
解颜铭
作品数：6被引量：5H指数：2
供职机构：湖北师范学院计算机科学与技术学院
研究主题：串空间模型 安全协议 形式化分析 串空间 KAILAR逻辑
姜正涛
作品数：58被引量：216H指数：8
供职机构：中国传媒大学
研究主题：加密体制 陷门 搜索 透明性 信任
卢凤清
作品数：3被引量：3H指数：1
供职机构：中国科学院软件研究所
研究主题：串空间 OTWAY-REES协议 形式化方法 公平交换协议