计算机学报期刊
出版文献量(篇)
5154
总下载数(次)
49
总被引数(次)
187004

计算机学报

Chinese Journal of Computers

CSCDEIJSTSACSTPCD

影响因子 3.6512
本刊是中国计算机领域的有代表性学术刊物,作为一种科学研究档案,代表了计算机领域各个研究阶段的水平。 本刊被《工程索引》(美国)、《科学文摘》(英国)、《数学文摘》(美国)、《科技文献速报》(日本)、《文摘杂志》(俄罗斯)等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位:
中国计算机学会 中国科学院计算技术研究所
期刊荣誉:
中国科学引文数据库来源期刊  科技论文统计源期刊 
ISSN:
0254-4164
CN:
11-1826/TP
出版周期:
月刊
邮编:
100190
地址:
中国科学院计算技术研究所(北京2704信箱)
出版文献量(篇)
5154
总下载数(次)
49
总被引数(次)
187004
文章浏览
目录
  • 作者: 冯登国 范丽敏 陈华
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  595-601
    摘要: 统计检测在分组密码安全性评估的过程中发挥着重要的作用,许多密码标准组织纷纷把对分组密码的统计检测作为评估过程中的重要环节来实施.文中提出了一种有效、实用的统计检测方法.该统计检测方法以分组长...
  • 作者: 刘晓芹 张鹏 赵强 邓高明 陈开颜
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  602-610
    摘要: 在密码运行过程中随机地插入时延是常用的防御时域旁路攻击的方法,该方法可导致密码算法的关键运算步骤在多次运行过程中出现在不同的时刻,以此抵抗时域分析攻击.在深入研究密码芯片电磁辐射产生机理及其...
  • 作者: 牟宁波 王保仓 胡予濮
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  611-617
    摘要: 对著名的明文填充方案三轮OAEP进行了分析,指出当解密机可以输出填充方案中的随机串时,三轮OAEP在适应性选择密文攻击下是不安全的,并给出了相应的攻击实例.对三轮OAEP进行了改进,使其具备...
  • 作者: 王颖 田园 金月 金锋
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  618-634
    摘要: 如何融合计算密码学与形式演算模型两条途径以有效分析和证明复杂密码协议,是信息安全领域富有挑战性的问题之一.文中提出Dolev-Yao刚性和Dolev-Yao相似性概念,运用密码协议的语法骨架...
  • 作者: 严飞 张焕国 徐明迪
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  635-645
    摘要: 可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响可信计...
  • 作者: 陈小峰
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  646-653
    摘要: 可信平台模块(Trusted Platform Module,TPM)是可信计算平台的核心和基础,可信平台模块的功能测试和验证是保证可信平台模块的实现正确性以及规范一致性的重要手段,但是目前...
  • 作者: 李昊 胡浩 陈小峰
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  654-663
    摘要: 提出了一种可信密码模块(TCM)符合性测试的形式化方法,采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依...
  • 作者: 冷东起 李小勇 桂小林 毛倩
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  664-674
    摘要: 大规模分布式系统中的动态信任关系模型本质上是最复杂的社会关系之一,涉及假设、期望、行为和环境等多种因子,很难准确的定量表示和预测.将粗糙集理论和信息熵理论结合起来,应用于开放环境下动态构建基...
  • 作者: 江夏秋 王丽娜 胡东辉
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  675-687
    摘要: 随着各种数字图像处理软件和信息隐藏软件的涌现,数字图像正面临"信任危机".文中从可信的角度考虑数字图像的安全问题,提出盲环境下数字图像可信性评估的概念.文中提出了两类可信性评估模型:可信性判...
  • 作者: 周胜源 张润莲 武小年 董小社
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  688-698
    摘要: 信任是人们在各种交易活动中的一个基本要素,其与风险密切相关,并成为系统安全决策的两个关键因素.现有的信任研究大多将风险看作信任的一种补充,甚至忽略了风险的影响,这将导致系统安全决策的片面性和...
  • 作者: 张阳 程亮
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  699-708
    摘要: 安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略...
  • 作者: 张阳
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  709-720
    摘要: 针对SELinux操作系统中多安全策略的实现方式,文中在信息流分析方法的基础上引入了多级安全敏感标签,以自动机与线性时态逻辑为理论基础,提出了一种改进的信息流分析方法,对SELinux安全策...
  • 作者: 咸鹤群
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  721-729
    摘要: 针对机密数据库泄漏源检测问题以及现有技术存在的不足,提出了一种基于复合型数据库水印的检测方法与量化评估方案.设计了复合型数据库水印的添加与检测算法,利用水印添加与数据分发协议,将机密数据与其...
  • 作者: 吴新松 周洲仪 梁洪亮 袁春阳 贺也平
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  730-739
    摘要: 现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证.文中基于TrustedBSD MAC框架对强制访问控制框架的正确性验证问题进行了研究,在授权钩子放置验证的...
  • 作者: 曾国荪 钮俊 陈波
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  740-750
    摘要: 对复杂信息系统的功能、性能进行组合验证,进而评估系统是否安全、可信,是当前的研究热点,但目前缺乏增加空间约束的验证模型.文章扩展已有的功能、性能验证模型,在状态空间上定义空间要求函数,提出一...
  • 作者: 周从华 宋香梅 王昌达 鞠时光
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  751-762
    摘要: 隐通道分析是高等级可信评估的重要指标,在TCSEC、CC和我国的GB17859-1999等标准中均有相关要求.隐通道的威胁审计是隐通道分析的重要组成部分,目前一般使用TCSEC的纯带宽标准,...
  • 作者: 连一峰 韦勇
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  763-772
    摘要: 文章分析和比较了目前的安全态势评估方法,提出了一种基于日志审计与性能修正算法的网络安全态势评估模型.首先利用日志审计评估节点理论安全威胁,并通过性能修正算法计算节点安全态势.然后利用节点服务...
  • 作者: 刘家红 吴泉源
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  773-783
    摘要: 大规模网络安全监控应用中需要对网络安全态势进行动态评估,在网络出现重大安全风险前进行proac-tive特性的有效防范.把网络安全监控系统建模为事件监控系统,对满足复合时序和属性值逻辑关系的...
  • 作者: 张红斌 裴庆祺 马建峰
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  784-792
    摘要: 利用系统访问控制关系,定义了主体、客体两个偏序结构和二者间的映射关系,建立了分层映射内部威胁模型;利用此模型定义了表征系统内部威胁状态的内部威胁云模型,并设计了基于云模型的感知算法,实现了对...
  • 作者: 李之棠 李伟明 董静 雷杰
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  793-804
    摘要: 准确地评估网络安全风险是提高网络安全性的关键.基于隐马尔卡夫模型的实时网络安全风险量化方法,以入侵检测系统的告警作为输入,能够实时量化网络风险值,有效评估网络受到的威胁,但仍然存在配置复杂、...
  • 作者: 付才 彭冰 徐兰芳 洪亮 韩兰胜
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  805-816
    摘要: 移动自组网是一种无中心、自组织以及多跳的无线网络,能否有效可靠地对通信节点进行风险评估是保障节点高质量通信的重要因素.当前基于可信度或是信誉的评估方法对评估样本都有特殊的要求,对评估对象提出...
  • 作者: 姜伟 张宏莉 方滨兴 田志宏
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  817-827
    摘要: 为了进行网络信息系统安全测评和主动防御,提出了网络防御图模型、攻防策略分类及其成本量化方法、网络攻防博弈模型和基于上述模型的最优主动防御选取算法.最后通过一个典型的网络实例分析了上述模型和算...
  • 作者: Srinivasan Raghunathan 朱建明
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  828-834
    摘要: 信息安全在企业信息系统建设中越来越重要,如何评价信息安全技术成为当前的一个研究课题.文中基于博弈论,对由防火墙、入侵检测系统和容忍入侵技术构成的三层安全体系结构进行了分析,提出了对信息安全技...
  • 作者: 管晓宏 蔡忠闽 褚伟波 陈明旭
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  835-846
    摘要: 基于真实网络流量的互动式回放测试是当前针对防火墙、IPS等串接型安全设备进行测评的最新方法.文中在分析现有基于状态判定的TCP流量互动式回放方法基础之上,引入收发平衡机制,提出了一种基于收发...
  • 作者: 冯登国
    刊名: 计算机学报
    发表期刊: 2009年4期
    页码:  Ⅰ-Ⅳ
    摘要:

计算机学报基本信息

刊名 计算机学报 主编 高文
曾用名
主办单位 中国计算机学会 中国科学院计算技术研究所  主管单位 中国科学院 中国科协
出版周期 月刊 语种
chi
ISSN 0254-4164 CN 11-1826/TP
邮编 100190 电子邮箱 cjc@ict.ac.cn
电话 010-62620695 网址 cjc.ict.ac.cn
地址 中国科学院计算技术研究所(北京2704信箱)

计算机学报评价信息

期刊荣誉
1. 中国科学引文数据库来源期刊
2. 科技论文统计源期刊

计算机学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊