搜索到 篇“ SVO逻辑 “的相关文章

相关作者

黎波涛
作品数：7被引量：44H指数：3
供职机构：东南大学计算机科学与工程学院
研究主题：不可否认协议 不可否认 形式化分析 SVO逻辑 PETRI网
罗军舟
作品数：400被引量：2,899H指数：22
供职机构：东南大学
研究主题：计算机网络 PETRI网 网络安全 网络管理 防火墙
陈明
作品数：62被引量：125H指数：6
供职机构：宜春学院数学与计算机科学学院
研究主题：基于身份密码学 认证密钥协商 基于身份 计算DIFFIE-HELLMAN问题 双线性对
汪学明
作品数：93被引量：222H指数：7
供职机构：贵州大学计算机科学与技术学院
研究主题：形式化分析 签密 超椭圆曲线密码体制 量子 加密方案
仇细平
作品数：7被引量：0H指数：0
供职机构：昆明理工大学信息工程与自动化学院
研究主题：串空间 SVO逻辑 形式化方法 信息安全 串空间模型