学术出版新技术应用与公共服务实验室出品
首页
热门 论文降重
免费 免费查重
学术期刊
学术导航
任务中心
论文润色
登录
文献导航

中国科学院大学学报期刊
出版文献量（篇）
2247
总下载数（次）
2
总被引数（次）
15229

中国科学院大学学报

Journal of University of Chinese Academy of Sciences
曾用名： 中国科学院研究生院学报

CACSCDJSTCSTPCD

影响因子 0.6658
主办单位：
中国科学院大学
ISSN：
2095-6134
CN：
10-1131/N
出版周期：
双月刊
邮编：
100049
地址：
北京玉泉路19号（甲）
出版文献量（篇）
2247
总下载数（次）
2
总被引数（次）
15229
文章浏览
热门刊内文献
年度刊次
目录
  • 1. 无线PKI体系的设计
    作者： 冯登国 叶顶锋 孙林红
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  223-228
    摘要： 研究了无线PKI体系,对无线认证系统、WTLS协议、WAP安全网关以及WIM卡的接口进行了设计.
  • 2. 一个远程口令鉴别方案的分析
    作者： 戴宗铎 方根溪 杨君辉
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  229-232
    摘要： 对谭凯军等提出的基于矢积的远程口令鉴别方案进行了安全性分析,指出攻击者为了冒充用户的登录请求,只须截获该用户的两次登录请求,或者只须再申请一张智能卡,取出其中有关信息后截获一次登录请求,因而...
  • 3. 基于PVS的密码协议形式化规范
    作者： 吕述望 沈昌祥 胡成军 郑援
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  233-239
    摘要： 给出用PVS对密码协议进行形式化规范的一种方法.该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强攻击者和理想加密系统.重要的结构如消息、事件、协议规则等都通...
  • 4. 一种混合的安全协议形式化分析技术
    作者： 冯登国 范红
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  240-245
    摘要： 分析了模型检测技术和逻辑推证技术的优点与不足,并在此基础上提出了一种混合的形式化分析技术的说明,该技术可提供更为完全的安全协议形式化分析.
  • 5. 基于挑战-响应的认证协议安全的必要条件
    作者： 来学嘉
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  246-253
    摘要： 基于挑战-响应方式的相互认证协议的安全需求被明确表示为7个简单的必要条件.每一个条件和一种攻击相关联,所以不实现所有这些条件的协议将会遭到某种攻击.给出了两个协议,使得它们包含所需最少的安全...
  • 6. 基于单向陷门函数的TMN协议的改进
    作者： 孙海波 林东岱
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  254-262
    摘要： 提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式，利用串空间理论证明了它的安全性，并给出了几个具体的实现形式.
  • 7. 运用ASM描述安全协议
    作者： 冯登国 薛锐
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  263-270
    摘要： 介绍了抽象状态机(ASM)，建立了基于这种形式化方法的协议描述于验证的环境，并建立了一般意义上的入侵者模型.作为应用实例，给出了Helsinki协议的ASM规约，说明利用这个规约可以直观的演...
  • 8. 安全网络数学计算协议
    作者： Paul S.Wang 宋志敏 林东岱
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  271-277
    摘要： 讨论了网络数学计算框架IAMC的安全性问题,给出了一个用安全协议SSL/TLS提高数学计算协议MCP安全性的实现方案.改进后的网络数学计算框架可有效地提供计算数据的机密性、完整性和用户认证等...
  • 9. 为π演算建立具有安全级别的简单类型系统
    作者： 王立斌 陈克非
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  278-281
    摘要： 为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.
  • 10. 基于Plncker坐标的秘密共享方案
    作者： 冯登国 王明生 王贵林
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  282-287
    摘要： 基于Pliicker坐标这一数学中的重要概念，提出一个构造门限秘密共享方案的新方法.该方案不仅是安全的，并且几个著名的线性秘密共享方案都能够由Pliicker坐标表示.
  • 11. 安全协议分析的界--综合模型检查与Strand Spaces
    作者： 刘怡文 李伟琴
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  288-294
    摘要： Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协...
  • 12. 电子选举中的安全协议
    作者： 冯登国 孟江涛 胡振宇
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  295-305
    摘要： 随着因特网上出现的一些小范围的电子选举,电子选举开始引起人们的关注.而电子选举中的关键技术之一是电子选举协议的设计,特别是在多种投票方式下大规模电子选举协议的安全性问题.讨论了优秀的电子投票...
  • 13. 关于BAN逻辑分析的改进
    作者： 冯彬
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  306-310
    摘要： 基于BAN逻辑的协议分析往往容易忽略密码协议潜在的"重放攻击"漏洞,为解决这一问题,对BAN逻辑分析的新消息判断法则逻辑公设作了一点改进.从而降低了BAN逻辑分析的误导性.
  • 14. 分布式网络环境下密码协议形式模型和安全性
    作者： 怀进鹏 李先贤
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  311-323
    摘要： 随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种安全需求.在大规模分布式网络环境下,参与协议运行的主体是大数量的甚至...
  • 15. 简评AES工作模式
    作者： 吴文玲
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  324-333
    摘要： 工作模式是一个算法，它刻画了如何利用分组密码提供信息安全服务.在给AES征集工作模式标准的过程中，NIST收到了15个候选工作模式.简要介绍15个候选工作模式及它们的设计思想.
  • 16. 无线电子商务安全性的几个关键技术
    作者： 平湖 陆佩忠
    刊名： 中国科学院大学学报
    发表期刊： 2002年3期
    页码:  334-341
    摘要： 综述现有无线安全技术的发展概况,重点研究实现WPKI可能要使用的几个重要的协议.特别是IEEE 802.11中的WEP算法和无线应用协议(WAP)中的无线传输层安全协议(WTLS).讨论如何...

中国科学院大学学报基本信息

刊名 中国科学院大学学报 主编 石耀霖
曾用名 中国科学院研究生院学报
主办单位 中国科学院大学  主管单位 中国科学院
出版周期 双月刊 语种
chi
ISSN 2095-6134 CN 10-1131/N
邮编 100049 电子邮箱 journal@gscas.ac.cn
电话 010-88256013 网址 http://journal.gucas.ac.cn
地址 北京玉泉路19号（甲）

中国科学院大学学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
  • 期刊分类
  • 最新期刊
  • 期刊推荐
  • 相关期刊
中学生教育 体育 图书情报档案 大学学报 少儿教育 教育 文化 文学 新闻出版 科研管理 艺术 语言文字
安徽电子信息职业技术学院学报 合肥师范学院学报 开放学习研究 北京信息科技大学学报(自然科学版) 北京教育学院学报(自然科学版) 贵州工程应用技术学院学报 兵团教育学院学报 滨州学院学报 长春工业大学学报(高教研究版) 常德职业技术学院学报 河北民族师范学院学报 河北旅游职业学院学报 重庆大学学报(英文版) 湖南邮电职业技术学院学报 江苏理工学院学报 湘南学院学报 沧州师范学院学报 东华大学学报(英文版) 东南大学学报(英文版) 大同职业技术学院学报 福建广播电视大学学报 广播电视大学学报(哲学社会科学版) 广东技术师范学院学报(职业教育) 广州大学学报(综合版) 湖北成人教育学院学报
中国科学院大学学报 合肥师范学院学报 吉林广播电视大学学报 军事体育学报 南昌教育学院学报 兰州教育学院学报 牡丹江教育学院学报 燕山大学学报 沈阳大学学报(自然科学版) 河北农业大学学报(农林教育版) 北京信息科技大学学报(自然科学版) 中州大学学报 吉林工程技术师范学院学报 江苏理工学院学报 中国环境管理干部学院学报 湖北成人教育学院学报 长春工业大学学报(高教研究版) 潍坊学院学报 集美大学学报 河南职业技术师范学院学报(职业教育版) 玉林师范学院学报 襄阳职业技术学院学报 东南大学学报(英文版) 安徽电子信息职业技术学院学报 嘉应学院学报
中国科学院大学学报
按字母查找期刊：

联系合作 广告推广: shenyukuan@paperpass.com

京ICP备2021016839号 营业执照 版物经营许可证:新出发 京零 字第 朝220126号