云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(61272083)

国家自然科学基金(61272083): 作品数：22被引量：98H指数：6; 导出分析报告; 相关作者：黄志球沈国华王飞彭焕峰范大娟更多>>; 相关机构：南京航空航天大学南京工程学院北京大学中国航空综合技术研究所更多>>; 相关期刊：《计算技术与自动化》《计算机应用与软件》《小型微型计算机系统》《电子产品世界》更多>>; 相关主题：隐私隐私保护信誉度描述逻辑AADL更多>>; 相关领域：自动化与计算机技术更多>>

一种基于失效传播模型的危害分析方法被引量：1: 《计算机工程与科学》2019年第6期1026-1033,共8页葛晓瑜沈国华黄志球邓刘梦宛伟健; 国家自然科学基金(61502231,61272083);国家重点研发计划(2016YFB1000802);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20171606); 嵌入式实时系统越来越多地应用于交通、航空、核能等安全关键环境。尽管系统设计可能没有任何缺陷,但由于物理组件的磨损或环境的突变而导致的随机故障在运行时仍可能导致系统发生危险。目前基于失效传播模型的危害分析方法要么仅考虑...; 关键词：实时系统危害分析失效传播传播时延

基于限定自然语言需求模板的AADL模型生成方法被引量：13: 《软件学报》2018年第8期2350-2370,共21页王飞杨志斌黄志球周勇刘承威章文炳薛垒许金淼; 国家自然科学基金(61502231,61272083);阁家高技术发展计划(863)(2015AA105303);GF基础科研重点项目(JCKY20162038011)：国家重点研发计划(20J6YFB1000802);江苏省自然科学基金(BK20150753);软件开发环境国家重点实验室开放课题(SKLSDE-2015KF-04);航空科学基金(2015ZC52027); 随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,使得保障软件安全性成为系统开发过程中的重要部分.传统的安全性分析方法主要应用在软件的需求分析阶段...; 关键词：嵌入式软件软件安全性需求规约限定自然语言需求模板 AADL 可追踪性

Using information flow analysis to detect implicit information leaks for web service composition被引量：2: 《Frontiers of Information Technology & Electronic Engineering》2018年第4期494-502,共9页Jia-xin JIANG Zhi-qiu HUANG Wei-wei MA Yan CAO; Project supported by the National High-Tech R&D Program(863)of China(No.2015AA015303);the National Natural Science Foundation of China(No.61272083); Information leak,which can undermine the compliance of web-service-composition business processes for some policies,is one of the major concerns in web service composition.We present an automated and effective approac...; 关键词：Information flow analysis Business process execution language Petri net INTERFERENCE

满足隐私需求的服务组合信息流控制方法研究被引量：2: 《计算机科学与探索》2018年第3期370-379,共10页姜家鑫黄志球马薇薇; 国家自然科学基金(61272083);国家高技术研究发展计划(863计划)(2015AA015303).; 确保服务组合在满足用户功能性需求的前提下保护用户的隐私信息,是服务组合隐私保护的关键性问题。现有的Web服务访问控制模型不能有效地控制信息在系统内的传播和数据的间接污染,从而导致隐私信息的间接泄漏,而信息流分析方法是一种保...; 关键词：服务组合隐私保护信息流控制 PETRI网

基于位置服务中单向哈希法隐私保护研究: 《计算技术与自动化》2017年第4期84-87,共4页刘林武张弛; 国家自然科学基金资助项目(61272083); 基于位置的服务(LBS)正在被越来越多的移动用户使用,用户的身份信息和位置信息也将暴露给服务提供商,从而可能导致用户的隐私被侵犯。提出了单向哈希方法,避免将用户的个人信息直接暴露给服务提供商;使用一种匿名方法,由匿名器将用户的...; 关键词：隐私保护 LBS 哈希函数

支持抽象解释的静态分析方法的形式化体系研究: 《计算机科学》2017年第12期126-130,155,共6页张弛黄志球丁泽文; 国家高技术研究发展计划(863)(2015AA105303);国家自然科学基金资助项目(61272083);软件新技术与产业化协同创新中心资助; 在安全关键领域中,如何保证软件的安全性已经成为了一个广受关注的重要课题。静态程序分析是一类十分有效的程序自动化验证方法。基于抽象解释的静态分析技术在验证软件的非功能性安全属性上表现十分突出。可配置程序分析(Configurable ...; 关键词：形式化方法静态分析抽象解释可配置程序分析

Lightweight fault localization combined with fault context to improve fault absolute rank被引量：1: 《Science China(Information Sciences)》2017年第9期174-189,共16页Yong WANG Zhiqiu HUANG Yong LI Bingwu FANG; supported by National High Technology Research and Development Program of China (863) (Grant No. 2015AA015303);National Natural Science Foundation of China (Grant Nos. 61272083, 61562087, 71371012, 61300170, 61572033);Key Support Program Projects for Outstanding Young Talents of Anhui Province (Grant No. gxyq ZD2016124);Advanced Research of National Natural Science Foundation (Grant No. 2016yyzr10);Anhui Natural Science Foundation (Grant Nos. KJ2016A252, 1608085MF147); Lightweight fault localization （LFL）, which outputs a list of suspicious program entities in descend- ing order based on their likelihood to be a root fault, is a popular method used by programmers to assist them in...; 关键词：fault context fault localization program spectrum absolute rank debugging

云计算中能耗和性能感知的虚拟机优化部署算法被引量：6: 《计算机工程与科学》2016年第12期2419-2424,共6页房丙午黄志球; 国家自然科学基金(61272083);安徽省教育厅自然科学基金(KJ2013B009;KJ2013B010); 优化虚拟机部署是数据中心降低能耗的一个重要方法。目前大多数虚拟机部署算法都明显地降低了能耗,但过度虚拟机整合和迁移引起了系统性能较大的退化。针对该问题,首先构建虚拟机优化部署模型。然后提出一种二阶段迭代启发式算法来求解...; 关键词：云计算虚拟机部署在线迁移能耗和性能感知

面向服务组合的用户隐私需求规约与验证方法被引量：4: 《软件学报》2016年第8期1948-1963,共16页彭焕峰黄志球范大娟章永龙; 国家自然科学基金(61272083);国家高技术研究发展计划(863)(2015AA015303);中国博士后科学基金(201104914 11);江苏省博士后科研计划(1101092C)~~; 用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函...; 关键词：信誉度服务组合隐私保护隐私开放工作流网隐私数据项依赖图

支持SPIN验证的详细级SFMEA方法研究被引量：1: 《计算机应用与软件》2016年第5期281-284,306,共5页刘畅李海峰沈国华顾益刘银陵; 国家自然科学基金项目(61272083); 随着软件系统的规模和复杂度不断增大,以软件为核心的安全关键系统的可靠性和安全性越来越难以保证。软件失效模式与影响分析SFMEA(Software Failure Modes and Effect Analysis)是军工业中常用的一种安全分析方法,其依赖人工分析、缺...; 关键词：软件FMEA 失效模式 SPIN 安全关键系统

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(61272083)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(61272083)

检索结果分析

下载全文

用户登录

高级检索检索式检索