形式化

作品数：5172被引量：11555H指数：35
导出分析报告
相关领域：自动化与计算机技术文化科学更多>>
相关作者：关永施智平薛锦云张广泉段振华更多>>
相关机构：华东师范大学国防科学技术大学西安电子科技大学清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
WebAssembly安全综述
《计算机研究与发展》2024年第12期3027-3053,共27页庄骏杰 胡霜 华保健 汪炀 潘志中 
国家自然科学基金项目(62072427,12227901);中国科学院稳定支持基础研究领域青年团队计划项目(YSBR-005);中国科学技术大学学术带头人培养项目。
WebAssembly是一种新兴的二进制指令集体系结构与代码分发格式,旨在为高级程序语言提供统一且架构无关的编译目标.由于其安全、高效与可移植等先进特性,WebAssembly在Web领域与非Web领域均得到了广泛应用,正在成为最有前景的跨平台公共...
关键词：WebAssembly 语言安全 漏洞检测与利用 安全增强 形式化验证 
一种针对物联网智能系统的规则冲突检测方法
《计算机研究与发展》2023年第3期592-605,共14页杨波 郭浩然 冯俊辉 李戈 金芝 
中央高校基本科研业务费专项资金(BLX202003);国家自然科学基金项目(62072007,62192733,61832009,62192730,61772078,61502011);北京林业大学热点追踪项目(BLRD202124)。
物联网系统架构的核心是逻辑控制器,逻辑控制器中使用规则控制业务逻辑,减少物联网系统的开发、维护成本,提高物联网设备的灵活性.但随着物联网系统的规模扩大,规则间的关系变得复杂,从而可能产生规则冲突.为避免规则发生冲突,一些研究...
关键词：物联网 智能系统 规则冲突 冲突检测 规则形式化 
面向无人驾驶时空同步约束制导的安全强化学习被引量：4
《计算机研究与发展》2021年第12期2585-2603,共19页王金永 黄志球 杨德艳 Xiaowei Huang 祝义 华高洋 
国家重点研发计划项目(2018YFB1003900);国家自然科学基金项目(61772270,62077029)。
无人驾驶系统综合了软件和硬件复杂的交互过程,在系统设计阶段,形式化方法可以保证系统满足逻辑规约和安全需求;在系统运行阶段,深度强化学习被广泛应用于无人驾驶系统决策中.然而,在面对没有经验的场景和复杂决策任务时,基于黑盒的深...
关键词：时空同步约束 形式化规约 安全强化学习 时序差分 智能交通仿真 无人驾驶安全 
工业以太网EtherCAT协议形式化安全评估及改进被引量：8
《计算机研究与发展》2020年第11期2312-2327,共16页冯涛 王帅帅 龚翔 方君丽 
国家自然科学基金项目(61462060,61762060)。
EtherCAT协议由于具有较高的实时性和较强的性能而被广泛应用,但是随着工业以太网协议的快速发展和开放化,使得工业控制系统承受着巨大的网络攻击风险.目前有许多对工业以太网协议安全和改进的研究,但是这些研究缺乏对协议的形式化建模...
关键词：EtherCAT协议 FSoE CPN Dolev-Yao 安全评估 安全性验证 
面向SDN的脆弱性扩散形式化建模与扩散因素分析被引量：2
《计算机研究与发展》2018年第10期2256-2268,共13页王健 赵国生 赵中楠 李可 
国家自然科学基金项目(61403109;61202458);高等学校博士学科点专项科研基金项目(20112303120007);黑龙江省自然科学基金项目(F2017021);黑龙江省教育厅科研基金项目(12541169);哈尔滨市科技创新人才研究专项资金项目(2016RAQXJ036)~~
SDN将传统网络控制面与转发面解耦,在实施集中化管控的同时引入诸多新的安全和管理问题.脆弱点类型在SDN各层及南北向接口存在差异性,且传播趋势不同.针对脆弱性在SDN层内及层间的扩散效果及抑制策略问题,提出了一种基于Bio-PEPA的SDN...
关键词：软件定义网络 Bio-PEPA 形式化建模 脆弱性扩散 抑制策略 
一种形式化的互联网地址机制通用框架被引量：5
《计算机研究与发展》2017年第5期940-951,共12页朱亮 徐恪 徐磊 
国家自然科学基金面上项目(61170292;61472212);国家科技重大专项基金项目(2015ZX03003004);国家"八六三"高技术研究发展计划基金项目(2013AA013302;2015AA015601);国家"九七三"重点基础研究发展计划基金项目(2012CB315803);欧盟CROWN基金项目(FP7-PEOPLE-2013-IRSES-610524);清华信息科学与技术国家实验室(筹)学科交叉基金项目~~
地址机制作为互联网体系结构中的核心组成部分,其演进性决定了对上层网络创新应用的承载能力.传统IP地址的缺陷导致当前互联网陷入僵化,大量新型地址机制的异构性使研究者很难以统一方法论解释和把握未来互联网地址体系的演进发展.针对...
关键词：互联网体系结构 通用框架 形式化 地址机制 正确性证明 
WISHBONE片上总线符号模型检测被引量：1
《计算机研究与发展》2014年第12期2759-2771,共13页逄涛 段振华 
国家"九七三"重点基础研究发展计划基金项目(2010CB328102);国家自然科学基金项目(61003078;61272117;61133001;61272118;91218301;61322202;61202038)
随着多核体系结构的出现和普及,片上总线逐渐成为影响片上系统功能和性能的关键部件.因此,片上总线的验证成为片上系统设计中一个重要组成部分.模型检测作为一种主流的形式化验证方法,可以自动化穷举搜索系统行为以决定片上系统的设计...
关键词：时序逻辑 符号模型检测 WISHBONE总线 片上系统 形式化验证 
混合偏好模型下的分布式理性秘密共享方案被引量：8
《计算机研究与发展》2014年第7期1476-1485,共10页彭长根 刘海 田有亮 吕桢 刘荣飞 
国家自然科学基金项目(60963023;61262073;61363068);贵州省自然科学基金项目(20092113;20132112);全国统计科学研究计划重点项目(2013LZ46);贵州大学博士基金项目(2007040;2012024);贵州大学研究生创新基金项目(2013017;2013018)
理性秘密共享方案通过扩展参与者的类型后具有更好的适应性,而现有方案中的共享秘密往往依赖于秘密分发者,但在某些特定环境中秘密分发者并不一定存在.通过对传统分布式秘密共享方案的分析,给出了分布式理性秘密共享方案的一般形式化描...
关键词：混合偏好模型 分布式理性秘密共享 形式化描述 策略一致机制 公平性 
基于Dalvik指令的Android恶意代码特征描述及验证被引量：26
《计算机研究与发展》2014年第7期1458-1466,共9页李挺 董航 袁春阳 杜跃进 徐国爱 
国家科技重大专项基金项目(2012ZX03002012);国家信息安全专项基金项目(发改委高技[2012]1424号)
为实现Android平台下恶意软件的高效检测,提出了一种基于Dalvik指令的Android恶意代码特征形式化描述和分析方法,能够在无需反编译应用程序的基础上,快速检测样本的恶意特征.该方法首先依照DEX文件格式对Android应用程序切分得到以方法...
关键词：Dalvik指令 安卓 恶意代码 形式化描述 相似度 
一种实用动态完整性保护模型的形式化分析被引量：3
《计算机研究与发展》2013年第10期2082-2091,共10页杨涛 王永刚 唐礼勇 孔令波 胡建斌 陈钟 
国家自然科学基金项目(61170263,61003230)
从完整性保护模型提出到现在,其成熟度远不如机密性模型.究其原因,完整级划分以及模型实用性是制约其发展的根本因素.从完整性模型的实用性角度出发,归纳总结几种现有完整性保护模型的优缺点,提出了一种实用型的动态完整性保护模型(dyna...
关键词：完整性策略 形式化模型 动态完整性级别 实用完整性 动态完整性保护模型 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部