隋立颖
【姓名】 隋立颖
【职称】
【研究领域】 计算机软件及计算机应用;电信技术;互联网技术;
【研究方向】 Internet
【发表文献关键词】 防抵赖,可追踪,信息安全,注册,付费,逻辑验证,SET协议,防抵赖性,协议验证,非单调逻辑,电子商务,动态逻辑,可追踪性,安全协议,子商务,非单调,国家智能,逻辑,计算机研究,Chinese,Prol...
【工作单位】 中国国家智能计算机研究开发中心
【曾工作单位】 中国国家智能计算机研究开发中心;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 4 4 0 139 929
中国期刊全文数据库    共找到4篇
[1]陈庆锋,白硕,王驹,张师超,隋立颖.SET协议中问题的分析及解决方案[J]计算机学报.2000,(02)
[2]白硕,隋立颖,陈庆锋,付岩,庄超.安全协议的验证逻辑[J]软件学报.2000,(02)
[3]陈庆锋,白硕,王驹,张师超,隋立颖.电子商务安全协议及其非单调动态逻辑验证[J]软件学报.2000,(02)
[4]陈庆锋,王驹,白硕,张师超,隋立颖.电子商务安全协议的逻辑验证[J]软件学报.2000,(03)
更多