付岩
【姓名】 付岩
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 协议验证,非单调逻辑,动态逻辑,信息安全,安全协议,逻辑,国家智能,缩略,计算机研究,非单调,开发中心,函数复合,加密,合成规则,密钥,IEEE,数据交换,Kail,私钥,基本动作,
【工作单位】 中国国家智能计算机研究开发中心
【曾工作单位】 中国国家智能计算机研究开发中心;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 0 55 245
中国期刊全文数据库    共找到1篇
[1]白硕,隋立颖,陈庆锋,付岩,庄超.安全协议的验证逻辑[J]软件学报.2000,(02)
更多