首页 | 期刊导航 | 学习空间 | 退出

期刊文章列表

  • 张晓丽1,2,杨家海2,3,孙晓晴1,2,吴建平1,2,3(清华大学计算机科学与技术系;清华大学网络科学与网络空间研究院;清华信息科学与技术国家实验室(清华大学)).分布式云的研究进展综述[J].软件学报,2018,第7期
  • 沙乐天1,2,肖甫1,2,陈伟1,2,孙晶3,王汝传2(南京邮电大学计算机学院;江苏省无线传感网高技术重点实验室;南京通信技术研究所).面向工业物联网环境下后门隐私泄露感知方法[J].软件学报,2018,第7期
  • 熊金波1,2,3,王敏燊1,田有亮2,马蓉1,姚志强1,3,林铭炜1(福建师范大学数学与信息学院;贵州省公共大数据重点实验室(贵州大学);福建省网络安全与密码技术重点实验室).面向云数据的隐私度量研究进展[J].软件学报,2018,第7期
  • 仲红,崔杰,朱文龙,许艳(安徽大学计算机科学与技术学院).高效且可验证的多授权机构属性基加密方案[J].软件学报,2018,第7期
  • 汪定1,李文婷2,王平2,3,4(北京大学信息科学技术学院;北京大学软件与微电子学院;软件工程国家工程研究中心;高可信软件技术教育部重点实验室(北京大学)).对三个多服务器环境下匿名认证协议的分析[J].软件学报,2018,第7期
  • 黄伟庆1,2,3,丁昶2,3,崔越2,3,王思叶1,2,3,张艳芳2,3,赵博白2,3,诸邵忆2,3,毛锐2,3,陈超2,3(北京交通大学计算机与信息技术学院;中国科学院信息工程研究所;中国科学院大学网络空间安全学院).基于恶意读写器发现的RFID空口入侵检测技术[J].软件学报,2018,第7期
  • 张曙光1,2,咸鹤群1,2,3,王雅哲3,刘红燕1,2,侯瑞涛1,2(青岛大学计算机科学技术学院;中国科学院网络测评技术重点实验室(中国科学院信息工程研究所);信息安全国家重点实验室(中国科学院信息工程研究所)).基于离线密钥分发的加密数据重复删除方法[J].软件学报,2018,第7期
  • 李顺东1,亢佳1,杨晓艺1,窦家维2(陕西师范大学计算机科学学院;陕西师范大学数学与信息科学学院).基于字符串排序的高效保密数据库查询[J].软件学报,2018,第7期
  • 许明艳1,2,赵华1,2,季新生1,2,申涓1(国家数字交换系统工程技术研究中心;移动互联网安全技术国家工程实验室).基于用户分布感知的移动P2P快速位置匿名算法[J].软件学报,2018,第7期
  • 尹鑫1,2,3,田有亮1,2,3,王海龙1,2,3(贵州大学计算机科学与技术学院;贵州省公共大数据重点实验室(贵州大学);贵州大学密码学与数据安全研究所).公平理性委托计算协议[J].软件学报,2018,第7期
  • 来齐齐1,2,杨波1,陈原3,韩露露1,白健2(陕西师范大学计算机科学学院;保密通信重点实验室;综合业务网理论及关键技术国家重点实验室(西安电子科技大学)).格上基于身份哈希证明系统的新型构造[J].软件学报,2018,第7期
  • 杨富强,张定华,黄魁东,高宗照,廖金明(现代设计与集成制造技术教育部重点实验室(西北工业大学)).CT投影采样策略对重建质量影响综述[J].软件学报,2018,第7期
  • 薛锐1,彭长根2,黄欣沂3,刘吉强4,禹勇5(信息安全国家重点实验室(中国科学院信息工程研究所);贵州大学计算机科学与技术学院;福建师范大学数学与计算机科学学院;北京交通大学计算机与信息技术学院;陕西师范大学计算机科学学院).面向隐私保护的新型技术与密码算法专题前言[J].软件学报,2018,第7期
  • 冯登国1,徐静1,2,兰晓3,2(计算机科学国家重点实验室(中国科学院软件研究所);中国科学院大学;信息安全国家重点实验室(中国科学院信息工程研究所)).5G 移动通信网络安全研究∗[J].软件学报,2018,第6期
  • 吴信东1,2,嵇圣硙1(合肥工业大学计算机与信息学院;School of Computing and Informatics,University of Louisiana at Lafayette).MapReduce 与Spark 用于大数据分析之比较∗[J].软件学报,2018,第6期
  • 李正1,2,吴敬征1,李明树1(中国科学院软件研究所;中国科学院大学).API 使用的关键问题研究∗[J].软件学报,2018,第6期
  • 舒挺,黄明献,丁佐华,王磊,夏劲松(浙江理工大学信息学院).基于条件概率模型的缺陷定位方法∗[J].软件学报,2018,第6期
  • 孟瑶1,2,李晓娟1,2,关永1,2,王瑞1,2,张杰3(首都师范大学信息工程学院;轻型工业机器人与安全验证北京市重点实验室(首都师范大学);北京化工大学信息科学与技术学院).机器人关节通信总线系统的建模与验证∗[J].软件学报,2018,第6期
  • 于广良1,杨孟飞2(北京控制工程研究所;中国空间技术研究院).考虑中断和上下文切换开销的响应时间分析∗[J].软件学报,2018,第6期
  • 李瑞远1,洪亮2,3(西安电子科技大学计算机学院;武汉大学信息管理学院;武汉大学深圳研究院).基于包含度的子图匹配方法∗[J].软件学报,2018,第6期
  • 王海洋1,2,段振华1,2,田聪1,2(西安电子科技大学计算理论与技术研究所;ISN国家重点实验室(西安电子科技大学)).APTL 公式的可满足性检查工具∗[J].软件学报,2018,第6期
  • 崔进1,2,段振华1,2,田聪1,2,张南1,2(ISN国家重点实验室(西安电子科技大学);西安电子科技大学计算理论与技术研究所).一种嵌套中断系统的建模和分析方法∗[J].软件学报,2018,第6期
  • 彭焕峰1,2,黄志球1,刘林源3,李勇1,柯昌博4(南京航空航天大学计算机科学与技术学院;南京工程学院计算机工程学院;南京审计大学电子商务系;南京邮电大学计算机学院).服务组合安全隐私信息流静态分析方法∗[J].软件学报,2018,第6期
  • 张业迪,宋富(上海科技大学信息科学与技术学院).异构多智能体系统模型检查∗[J].软件学报,2018,第6期
  • 王小兵,郭文轩,段振华(西安电子科技大学计算机学院).消息传递的MSVL通信机制及其实现∗[J].软件学报,2018,第6期
  • 郑晓琳1,邓玉欣1,付辰2,雷国庆1(上海市高可信计算重点实验室(华东师范大学);计算机科学国家重点实验室(中国科学院软件研究所)).互模拟准局部验证算法的扩展与实现∗[J].软件学报,2018,第6期
  • 李晅松1,2,陶先平2,宋巍1,2(南京理工大学计算机科学与工程学院;计算机软件新技术国家重点实验室(南京大学)).普适计算应用时空性质的运行时验证∗[J].软件学报,2018,第6期
  • 应云辉1,2,张民1,2(华东师范大学计算机科学与软件工程学院;高可信软件国家重点实验室(华东师范大学)).基于SMT 的时钟约束语言CCSL 的形式化分析方法与工具∗[J].软件学报,2018,第6期
  • 张文博1,龙环2(上海交通大学软件学院;上海交通大学计算机科学与工程系).向量加法系统验证问题研究综述∗[J].软件学报,2018,第6期
首页 上一页 3 4 5 6 7 下一页 尾页 共有9页,转到 页

帮助 | 繁體中文 | 关于发现 | 联系我们

超星发现系统 Copyright©·powered by 超星

客服电话:4008236966