搜索到 篇“ MOCHA “的相关文章

相关作者

翁立晨
作品数：3被引量：5H指数：1
供职机构：贵州大学计算机科学与信息学院
研究主题：博弈 MOCHA 形式化分析 公平 不可否认性
汪学明
作品数：92被引量：214H指数：7
供职机构：贵州大学计算机科学与技术学院
研究主题：形式化分析 签密 超椭圆曲线密码体制 量子 加密方案
陈清亮
作品数：19被引量：97H指数：5
供职机构：暨南大学
研究主题：SPV 最短路径 认知逻辑 安全协议 语义模型
董浩
作品数：1被引量：6H指数：1
供职机构：西安交通大学电子与信息工程学院
研究主题：MOCHA B方法 高可信软件 高可信 定理证明
周月洋
作品数：1被引量：2H指数：1
供职机构：西南大学
研究主题：MOCHA 影视后期