软件学报期刊
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 冯登国 卿斯汉 蒋绍权
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1283-1285
    摘要: 分析了一个极小泄露证明协议的错误,给出一个更正的协议,并证明了其安全性.
  • 作者: 卿斯汉
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1286-1293
    摘要: 如何构造并行密码体制是值得关心的重要问题,也为构造与传统密码不同的密码体制开辟了一个新的思路.分析了串行环境和并行环境的内在不同点,根据并行环境的特征,基于并行复杂性理论提出一系列构造并行密...
  • 作者: 卿斯汉 吴文玲 贺也平
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1294-1298
    摘要: 对差分-线性密码分析方法进行推广,提出了截断差分-线性密码分析方法.对9-轮和11- 轮DES(data encryption standard)密码算法的分析表明,该方法具有更加方便、灵活...
  • 作者: 冯登国 刘晓晨
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1299-1302
    摘要: S-盒是许多密码算法的唯一非线性部件,它的密码强度决定了整个密码算法的安全强度.但是对于大的S-盒的构造比较困难,而且软硬件实现也比较难,目前比较流行的是8×8的S-盒 .基于m-序列,提出...
  • 作者: 刘宏伟 戴宗铎 杨君辉 杨栋毅
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1303-1306
    摘要: 提出一种椭圆曲线数字签名算法.此方案比已有的椭圆曲线数字签名算法(elliptic curve digital signature algorithm,简称ECDSA)和Schnorr签名方...
  • 作者: 李世取 黄晓英
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1307-1311
    摘要: 建立了"停走"生成器输出序列的概率模型,讨论了由这类序列构成的随机变量序列的概率分布、独立性、数学期望和方差等概率性质,在得到此类随机变量序列是强平稳的和α -混合的这一结论的基础上证明了它...
  • 作者: 卿斯汉 蒋建春 陈伟锋 马恒太
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1312-1319
    摘要: 提出了一个基于Agent的分布式入侵检测系统模型框架.该模型提供了基于网络和基于主机入侵检测部件的接口,为不同Agent的相互协作提供了条件.在分布式环境中,按照系统和网络的异常使用模式的不...
  • 作者: 李立新 陈伟民 黄尚廉
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1320-1325
    摘要: 讨论了在基于角色的安全系统中实现强制访问控制(mandatory access control,简称MAC)的问题.首先介绍了角色的基本概念及其在安全系统中的应用和MAC的基本概念,然后给出...
  • 作者: 卿斯汉 王贵林
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1326-1332
    摘要: 门限群签名是一类重要的数字签名,但现有的门限群签名方案几乎都有缺点.首先给出良好的门限群签名所应具备的性质,随后详细分析了3个门限群签名方案的弱点.其中最主要的弱点是:部分成员可以合谋得到系...
  • 作者: 白英彩 邱卫东 陈克非
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1333-1337
    摘要: 提出一种基于二次剩余问题的新型Rabin签名方案.该方案对明文空间几乎没有限制,可能抵抗选择密文攻击,其描述也更为简单,同时还具有更高的实现效率,在签名检验时仅需作一次模乘运算.
  • 作者: 卿斯汉
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1338-1343
    摘要: 在克服一种非否认协议草案的缺陷的基础上,提出一种新的非否认协议.新的协议可以在不安全和不可靠的信道上工作,并能对付各种欺骗行为.此外,还对SVO逻辑进行扩充,引进一些新的概念和方法,并用扩展...
  • 作者: 王宏 肖国镇 肖鸿
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1344-1347
    摘要: 二方共享RSA密钥产生协议是很重要的一个密码协议,在密钥托管及其他许多方面都有重要的应用.Niv Gilboa提出了一个二方共享RSA密钥产生协议,其效率较高,但不能防止任何一方恶意欺骗.基...
  • 作者: 吴建平 张玉清 王磊 肖国镇
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1348-1352
    摘要: 密码协议安全性的分析是当前网络安全研究领域的一个世界性难题.提出了运用模型检测工具SMV(symbolic model verifier)分析密码协议的方法,并对著名的Needham-Sch...
  • 作者: 石纯一 胡山立
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1353-1360
    摘要: 阐述了Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具的观点.建立了Agent-BDI逻辑的代表系统A-BI,讨论了它的语法和语义.特别是给出了非正规模态算子基...
  • 作者: 俞铁城 戴汝为 陈小苹
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1361-1367
    摘要: 手写中文速记符的自动识别是文字类识别中的一个比较特殊的课题.实现了一个联机手写中文速记符识别系统HCSRS(handwritten Chinese shorthand recognition...
  • 作者: 孙家广 汪国平
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1368-1374
    摘要: 除直线、圆弧、速端曲线等少数几种曲线外,平面参数曲线的offset曲线通常不能表示成有理参数形式,因此在实际应用中,为了方便造型系统中数据结构和几何算法的统一表示,offse t曲线通常用低...
  • 作者: 万俊伟 卢锡城
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1375-1381
    摘要: 自适应服务质量技术能有效地适应随时间变化的网络环境.提出了基于服务质量水平max-mi n公平的带宽分层自适应模型.此模型建立在应用层和网络层自适应控制的机制上.网络层利用资源探测协议来实现...
  • 作者: 傅韶勇 刘积仁 马俊涛
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1382-1389
    摘要: 多智能体系统(multi-agent system,简称MAS)具有复杂的动态结构及行为特征.传统的体系结构描述语言(architecture description language,简称...
  • 作者: 李战怀 李红燕
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1390-1396
    摘要: 继承性是对象-关系型数据库管理系统(ORDBMS)的一个重要特征.它提供了强有力的增量建模能力,也增加了模式演变的复杂度.通过对完全继承语义进行进一步的探讨,提出ORDBMS 中动态模式修改...
  • 作者: 卢达 浦炜 谢铭培
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1397-1404
    摘要: 提出了一种用于字符预分类的模糊逻辑分析法.对文本字符作印刷结构分析,给出了一个带有容差分析的文本行字符基线精确测定算法,其他有效参考线则是通过聚类分析而获得.模糊逻辑用于确定各字符类的隶属值...
  • 作者: 吴思宁 孔德慧 尹宝才
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1405-1411
    摘要: 主要讨论基于空间网格表面距离的插值曲面.定义了一种空间网格表面距离,基于空间网格表面距离,给出了两种定义在空间网格上的插值曲面:基于网格表面距离的径向基函数插值曲面和基于网格表面距离的Kri...
  • 作者: 吴燕萍 施润身
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1412-1419
    摘要: 提出支持面向对象查询物理优化的二维字典签名方法.首先提出其基本设计思想,在定义二维字典及其数据结构之后,给出了二维字典签名的构造算法及其查询操作算法,最后构造了存储开销和查询代价模型.
  • 作者: 李文兵 裴伟东
    刊名: 软件学报
    发表期刊: 2000年10期
    页码:  1420-1424
    摘要: 磺化过程PLC(programmable logic controller)控制系统显示了PLC在过程控制方面比其他种类计算机的优越性,结束了磺化过程靠按动按钮控制温度、扭动阀门调节硫酸速度...

软件学报基本信息

刊名 软件学报 主编 李明树
曾用名
主办单位 中国科学院软件研究所 中国计算机学会  主管单位 中国科学院
出版周期 月刊 语种
chi
ISSN 1000-9825 CN 11-2560/TP
邮编 100190 电子邮箱 jos@iscas.ac.cn
电话 010-62562563 网址 www.jos.org.cn
地址 北京8718信箱

软件学报评价信息

期刊荣誉
1. 百种中国杰出学术刊物

软件学报统计分析

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