朱雪阳
- 作品数：26 被引量：212H指数：6
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学自然科学总论更多>>
- 软件与网络安全研究综述被引量：90
- 2018年
- 互联网已经渗入人类社会的各个方面,极大地推动了社会进步.与此同时,各种形式的网络犯罪、网络窃密等问题频繁发生,给社会和国家安全带来了极大的危害.网络安全已经成为公众和政府高度关注的重大问题.由于互联网的大量功能和网络上的各种应用都是由软件实现的,软件在网络安全的研究与实践中扮演着至关重要的角色.事实上,几乎所有的网络攻击都是利用系统软件或应用软件中存在的安全缺陷实施的.研究新形势下的软件安全问题日益迫切.从恶意软件、软件漏洞和软件安全机制这3个方面综述了国内外研究现状,进而分析软件生态系统面临的全新安全挑战与发展趋势.
- 刘剑苏璞睿杨珉和亮张源朱雪阳林惠民
- 关键词：网络安全恶意软件软件漏洞
- 一种基于关系--对象的数据库模型设计研究
- 关系数据库不直接支持复杂的数据类型的结果,必导致在非传统的应用,特别是工程应用中采用面向对象数据库来弥补这一不足.面向对象数据库和关系数据库将在不同的应用领域支持不同的应用需求.该文首先概述面向对象的分析设计方法,再介绍...
- 朱雪阳
- 关键词：面向对象数据库关系数据库
- 一种面向对象数据库应用系统的设计
- 1998年
- 面向对象（OO）方法以其自身清晰、自然的风格在软件开发的各个层次已得到广泛应用，它和数据库的结合是满足数据库系统新需求的有效方法。本文结合实例阐述面向对象数据库系统（OODBS）的分析、设计，以及利用关系－对象数据库（ORDB）应用开发工具－ORSDK实现的过程。
- 黄永亨朱雪阳郭红
- 关键词：面向对象数据库应用系统
- 物联网应用中访问控制智能合约的形式化验证被引量：4
- 2021年
- 蓝牙、WiFi等网络技术的进步推动物联网(IoT)的发展,然而IoT在方便了人们生活的同时也存在严重的个可信任的中心节点,不适合节点分散的IoT环境。区块链及智能合约的出现为IoT应用的访问控制提供了更有效的解决方案,但用一般测试方法难以保证实现IoT应用的访问控制智能合约的正确性。针对这个问题,提出一种利用模型检测工具Verds对访问控制智能合约进行形式化验证从而保障合约正确性的方法。该方法利用状态迁移系统定义从而形成Verds的输入模型及所要验证性质,然后利用Verds验证待测性质的正确性。方法核心是Solidity合约子集到Verds输入模型的转换。对两个IoT资源访问控制智能合约的实验结果表明,该方法可以对访问控制合约的典型场景及期望性质进行验证,提升了智能合约的可靠性。
- 包玉龙朱雪阳张文辉张文辉赵颖琪
- 关键词：物联网访问控制形式化验证
- 基于异构多核平台的同步数据流图帕累托优化与调度被引量：3
- 2015年
- 同步数据流图被广泛用于多媒体和数字信号处理程序等流应用程序的建模。流应用程序须达到一定吞吐量才能流畅运行,利用异构多核处理器来进一步提高流应用程序的吞吐量已经成为当今嵌入式系统的发展趋势,但是提高吞吐量往往伴随着能耗的增加。为了解决这个问题,基于异构多核平台的同步数据流图系统模型,给出了求解所有能耗和吞吐量的帕累托优化点及其相应静态调度的方法。首先将系统模型转换为时间自动机网络,并将分析目标转换为时序逻辑公式;再使用实时模型检测工具UPPAAL寻找解决方案;最后对UPPAAL返回的结果进行分析,找出满足要求的调度。由于模型检测方法可对问题空间进行穷尽搜索,该方法得到的结果是精确的。该方法可帮助设计者在系统开发早期了解系统能耗和吞吐量的量化关系,有利于缩短系统的开发周期,降低开发成本。
- 顾玉磊朱雪阳晏荣杰张广泉
- 关键词：帕累托优化调度
- 软件体系结构形式描述研究
- 体系结构设计在软件开发整个过程中扮演着重要角色。工程中常用直观、半形式化的图形建模的方法对软件体系结构进行描述，但这些建模语言的缺点是语义不够精确，难以对它们所表示的模型进行分析，这一点上形式化方法可与之互补。如何结合二...
- 朱雪阳
- 关键词：软件开发软件体系结构形式化语义
- 文献传递
- 面向对象科学计算的设计被引量：1
- 1998年
- 本文基于ＢＯＲＬＡＮＤＣ＋＋讨论面向对象科学计算的若干处理。
- 黄永亨朱雪阳
- 关键词：面向对象
- 如何制作多媒体光盘被引量：2
- 1999年
- 本文通过介绍《９８’中国投资贸易洽谈会》宣传光盘的设计与制作，论述了制作多媒体光盘的一般过程及如何根据光盘的具体内容和用途进行设计制作。
- 李剑敏朱雪阳
- 关键词：多媒体光盘
- 基于时序逻辑的软件体系结构描述语言XYZ/ADL被引量：55
- 2003年
- 体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格.
- 朱雪阳唐稚松
- 关键词：时序逻辑软件体系结构描述语言XYZ/ADL体系结构描述语言时序逻辑语言
- 基于MARTE模型的系统可靠性预测被引量：2
- 2015年
- 系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并将其修复。UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展。提出了基于MARTE模型的系统可靠性预测方法,该方法考虑的MARTE模型包括用例图、活动图、部署图。先将MARTE模型转换为马尔可夫决策过程网络模型,再利用概率模型检测工具PRISM进行分析,得到系统可靠性的预测结果。实例研究表明,所提方法不仅能够预测系统可靠性的最大值和最小值,还能通过调整各个资源的可靠性值,考察其对系统可靠性的影响,为设计人员的进一步工作提供参考。
- 柴叶生朱雪阳晏荣杰张广泉
- 关键词：系统可靠性UML马尔可夫决策过程
