形式化方法

作品数：864被引量：2370H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：薛锦云肖美华张广泉黄志球胡军更多>>
相关机构：华东师范大学中国科学院软件研究所上海交通大学南京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种针对安全可达动态系统的形式化学习方法
《计算机应用研究》2023年第8期2411-2416,共6页鲁腾飞 娄攀登 王胜朴 丁觅 林望 
国家自然科学基金资助项目(62272416)。
在动态系统建模问题中,深度学习为建模提供了更便捷和灵活的方法,但其难以解释的特点降低了模型的可靠性。针对具有安全性和可达性的动态系统,提出了一种形式化模型学习方法,将安全性和可达性引入到对目标系统的学习过程中,使模型满足...
关键词：形式化方法 动态系统学习 安全性 可达性 
信息中心网络架构NetInf安全性改进研究
《计算机应用研究》2015年第11期3416-3420,3429,共6页刘解放 赵斌 周宁 
国家自然科学基金资助项目(61272500)
信息中心网络(information-centric networking,ICN)已经成为下一代网络架构研究的新热点。针对NetInf(network of information)架构下,由于无效的数据注册,NRS在发布阶段容易受伪装和内容投毒攻击,提出在发布和检索之前增加一个注册阶...
关键词：信息网络 信息中心网络 形式化方法 身份认证 授权 
CIM建模及模型形式化方法研究综述被引量：3
《计算机应用研究》2014年第10期2896-2901,共6页李宗花 周晓峰 顾爱华 李勤丰 
国家科技支撑计划资助项目(2013BAB05B00;2013BAB06B04)
以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent mo del,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键。首先介绍了现...
关键词：计算无关模型 多视图多层次模型 模型一致性 模型形式化 
安卓隐私安全研究进展被引量：6
《计算机应用研究》2014年第8期2241-2247,共7页吴泽智 陈性元 杨智 杜学绘 
国家"973"计划资助项目(2011CB311801);国家"863"计划基金资助项目(2012AA012704);河南省科技创新人才计划资助项目(114200510001)
针对安卓移动操作系统平台,研究了在保护用户隐私数据方面已有的安全机制及其安全缺陷。从访问控制与信息流分析两方面出发,综合分析近年来安卓隐私安全增强工作的关键技术,对比了各类工作在高效性、正确性、灵活性和易用性等方面的优...
关键词：安卓 隐私数据 访问控制 信息流分析 形式化方法 
一种安全转移系统模型的构造及其运用
《计算机应用研究》2014年第2期558-562,共5页万良 肖源 
国家自然科学基金资助项目(61163001);中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目成果(+12 XNLF06);贵州自然科学基金项目(J[2011]2328)
为提高安全性,一般利用密码技术,但系统运行过程的安全尚显不足,为此基于行为时序逻辑TLA提出一种安全转移系统模型。通过设置安全属性,构造安全行为,使得系统在运行过程中的每次转移都满足安全属性,从而提高过程的安全性。为此,定义初...
关键词：形式化方法 行为时序逻辑 安全性 安全行为 安全转移系统 
基于多色集合的大规模产品定制形式化解决方法被引量：1
《计算机应用研究》2013年第11期3362-3364,3369,共4页周宪 
国家自然科学基金资助项目(51105310)
为了满足大规模定制中客户的个性化要求,以产品族设计为研究对象,提出了基于多色集合层次理论的产品族配置建模方法。利用元素、个人颜色、统一颜色等概念,建立产品族模型与客户需求之间的映射关系,提供产品族元素选择的形式解决方案,...
关键词：大规模定制 产品族 多色集层次结构 形式化方法 
第十四届全国Petri网理论与应用学术年会征文通知
《计算机应用研究》2013年第3期F0002-F0002,共1页
由中国计算机学会主办的“第十四届全国Petri网理论与应用学术年会”（两年一届）将于2013年8月23～25日在西安召开。该会是中国Petri网理论与应用研究领域最高水准的学术盛事，会议将对Petri网理论研究、应用研究、工具开发、仿真技术...
关键词：PETRI网 学术年会 应用 征文通知 形式化方法 仿真技术 并发模型 计算机 
基于MDA的MARTE模型形式化方法被引量：4
《计算机应用研究》2012年第8期3018-3021,共4页许海洋 王萍 
针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语...
关键词：模型驱动体系 形式化方法 模型转换 MARTE元模型 
基于BIP框架的DPU系统建模与验证
《计算机应用研究》2012年第8期2961-2966,共6页黄崇迪 万海 顾明 陈睿 
国家自然科学基金资助项目(91018015);国家"975"重大基础研究计划资助项目(2010CB328003);国家自然科学基金委;中法多年期合作项目(60811130468)
DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为...
关键词：数据处理单元 行为—交互—优先级框架 形式化方法 建模 验证 
可信链的随机进程代数模型
《计算机应用研究》2010年第12期4650-4653,共4页刘昌平 范明钰 王光卫 
国家"863"计划资助项目(2009AA01Z403;2009AA01Z435)
计算终端引导过程的可信链表现为顺序性,在运行过程中可信链表现出随机性。相关研究工作以计算终端引导过程的可信链建模为主。以随机进程代数为形式化描述语言,建立了一种可信链模型来描述计算终端运行过程的信任传递。该模型在随机进...
关键词：可信链 可信计算 随机进程代数 软件行为 形式化方法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部