软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2011年第03期杂志 文档列表

软件学报杂志理论计算机科学

串的快速连续弱哈希及其应用第353-365页

关键词: 串匹配；  有限群；  有限环；  有限域；  

有穷时间投影时序逻辑的完备公理系统第366-380页

关键词: 投影时序逻辑；  公理系统；  完备性证明；  定理证明；  形式化方法；  

软件学报杂志系统软件与软件工程

网络化软件的复杂网络特性实证第381-407页

关键词: 网络化软件；  复杂网络；  复杂性；  实证研究；  

软件库调用规约挖掘第408-416页

关键词: 挖掘规约；  软件库钟浩等；  软件库调用规约挖掘；  

过程感知信息系统中过程的动态演化第417-438页

关键词: 过程感知信息系统；  过程模型；  动态演化；  高效性；  

引入关联缺陷的软件可靠性评估模型第439-450页

关键词: 关联缺陷；  非齐次泊松过程；  模型评估；  

软件学报杂志计算机网络与信息安全

负载相似节点分布解决传感器网络能量洞问题第451-465页

关键词: 无线传感器网络；  能量洞问题；  网络寿命；  空闲侦听；  负载相似节点分布；  

基于分布式实时信息的车载网络路由协议第466-480页

关键词: 车载自组织网络；  延迟容忍网络；  移动自组织网络；  

域间路由协同监测中的信息共享机制第481-494页

关键词: 域间路由系统；  路由监测；  信息共享；  协同；  边界网关协议；  

基于Markov博弈模型的网络安全态势感知方法第495-508页

关键词: 网络安全态势感知；  威胁传播网络；  markov博弈模型；  

公平交换协议形式逻辑第509-521页

关键词: 异步通信；  公平交换；  形式化分析；  推理逻辑；  模型检查；  

提升多维特征检测迷惑恶意代码第522-533页

关键词: 恶意代码检测；  多维特征；  迷惑；  提升；  

时间相关密码协议逻辑及其形式化语义第534-557页

关键词: 密码协议；  时间相关；  谓词模态逻辑；  形式化语义；  

线性网络编码的导出与扩展第558-571页

关键词: 单源组播；  随机网络编码；  编码方案的导出与扩展；  变组播率；  重传；  

AES访问驱动Cache计时攻击第572-591页

关键词: 高级加密标准；  访问驱动；  cache计时攻击；  远程攻击；  openssl；