北京大学信息科学技术学院高可信软件技术教育部重点实验室
研究主题：自适应 隐私保护 软件复用 代码 软件体系结构
研究学科：自动化类 电子信息类 哲学类 经济学类 生物科学类
被引量：1,937 H指数：21 WOS: 21 EI: 209 北大核心: 274 CSSCI: 2 CSCD: 295
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
排序方式：
相关度排序
被引量排序
时效性降序
时效性升序
软件分析技术进展 ( EI收录) 1 北京大学信息科学技术学院高可信软件教育部重点实验室;国防科学技术大学计算机学院并行与分布处理国防科技重点实验室 国家"九七三"重点基础研究发展规划项目基金(2009CB320703);国家自然科学基金创新研究群体研究科学基金项目(60821003);国家自然科学基金(60725206);国家"八六三"高技术研究发展计划项目基金(2006AA01Z175)资助;supported by NSFC(National Science Foundation of China)project on Group Creative Project 软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,... 关键词：软件分析 静态分析 动态分析 一种考虑QoS数据可信性的服务选择方法 ( EI收录) 2 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 国家重点基础研究发展计划(973);国家自然科学基金;国家高技术研究发展计划(863)~~ 随着Internet上功能相似的Web服务的逐渐增多,在运行时刻基于服务质量(QoS)对Web服务进行查找和选择已成为研究热点.现有的基于QoS的服务选择方法通常假定服务提供者和使用者给出的QoS数据都是真实可信的,然而... 关键词：可信 大数据计算环境下的隐私保护技术研究进展 ( EI收录) 3 北京大学软件与微电子学院;北京大学软件工程国家工程研究中心;高可信软件技术教育部重点实验室(北京大学) 钱文君 国家自然科学基金(61672026,61232005)资助. 批处理、流式计算和机器学习等分布式的大数据计算环境在云上的广泛部署与应用,为云用户带来了极大的便利,但随之带来的隐私数据泄露事件愈演愈烈.如何在这种云上部署的大数据计算环境下保护数据隐私成为一个研究热点,本文对近些年国内... 关键词：大数据隐私保护 基于时间自动机的物联网服务建模和验证 ( EI收录) 4 中国科学院数学与系统科学研究院;中国科学院研究生院;高可信软件技术教育部重点实验室(北京大学) 国家"九七三"重点基础研究发展规划项目基金(2011CB302704);国家自然科学基金青年科学基金项目(60803010)资助~~ 物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变... 关键词：物联网服务 程序分析研究进展 ( EI收录) 5 计算机科学国家重点实验室(中国科学院软件研究所);中国科学院大学;清华大学网络科学与网络空间研究院;武汉大学计算机学院;高可信软件技术教育部重点实验室(北京大学);华为技术有限公司;中国人民大学信息学院;中国科学院计算技术研究所;国防科技大学计算机学院 国家重点基础研究发展计划(973)(2014CB340701);中国科学院前沿科学重点项目(QYZDJ-SSW-JSC036);国家自然科学基金(61772308;U1736209;61872273;61672045;61472440;61632015;61872445;61502465)~~ 在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析... 关键词：程序分析 基于RFID的无源感知机制研究综述 ( EI收录) 6 计算机软件新技术国家重点实验室(南京大学);南京航空航天大学计算机科学与技术学院;高可信软件技术教育部重点实验室(北京大学);北京大学计算机学院 王楚豫 谢磊 国家自然科学基金(61902175,61872174,61832008,61832005);江苏自然科学基金(BK20190293,BK20200067);北大百度基金(2019BD005)。 随着物联网技术的飞速发展与广泛部署,物联网领域的应用需求逐步从“万物互联”转变成“人-机-物”的感知融合.在众多感知技术之中,射频识别技术(radio frequency identification,RFID)作为物联... 关键词： 大数据技术前瞻 7 高可信软件技术教育部重点实验室(北京大学);中国人民大学信息学院;华中科技大学计算机科学与技术学院;中国科学院计算技术研究所;中国科学院大学计算机科学与技术学院;北京理工大学计算机学院 世界主要国家高度重视大数据发展,我国也将发展大数据作为国家战略,发展大数据技术具有重要意义。大数据技术涉及从采集、传输到管理、处理、分析、应用的全生命周期以及生命周期各阶段的数据治理。选取数据生命周期中的管理、处理和分析... 关键词：大数据技术 大数据管理 大数据处理 大数据分析 大数据治理 RFID标签所有权转移协议研究 ( EI收录) 8 北京大学信息科学技术学院网络与信息安全实验室;高可信软件技术教育部重点实验室(北京大学);北京大学软件与微电子学院 国家自然科学基金项目(60773163) 无线射频识别技术(RFID)是适用于普适计算环境的技术之一,它的应用正在变得随处可见.RFID安全与隐私问题是这些应用的基本需求之一.由于RFID标签的资源限制,传统的安全元素不能很好地应用到RFID标签中.因此,设计轻... 关键词：安全 认证 所有权转移协议 软件开发方法发展回顾与展望 ( EI收录) 9 计算机软件新技术国家重点实验室(南京大学);南京大学计算机科学与技术系;北京大学信息科学技术学院软件研究所;高可信软件技术教育部重点实验室(北京大学) 国家自然科学基金委-中国科学院学科发展战略研究项目:软件学科发展战略研究(XK2017XXC01)~~ 软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方... 关键词： 分片位图索引:一种适用于云数据管理的辅助索引机制 ( EI收录) 10 高可信软件技术教育部重点实验室(北京大学);北京大学信息科学技术学院;机器感知与智能教育部重点实验室(北京大学) 国家"八六三"高技术研究发展计划项目基金(2012AA011002;2011AA010706);核高基重大专项(2010ZX01042-002-002-02;2010ZX01042-001-003-05);国家自然科学基金(60973002;61170003;61073018);深港创新圈项目(JSE201007160004A)资助~~ 云计算技术的快速发展为海量数据的存储和管理提供了可能.然而,由于存储模型的根本改变,传统关系数据库管理系统中成熟的索引技术既不能直接应用于海量数据的处理,也无法被简单地迁移到云计算环境中.通过分析对比辅助索引在云环境中的... 关键词：
