形式化描述

作品数：545被引量：1759H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉史建琦赵保华屈玉贵顾翔更多>>
相关机构：国防科学技术大学清华大学武汉大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Dalvik指令的Android恶意代码特征描述及验证被引量：26
《计算机研究与发展》2014年第7期1458-1466,共9页李挺 董航 袁春阳 杜跃进 徐国爱 
国家科技重大专项基金项目(2012ZX03002012);国家信息安全专项基金项目(发改委高技[2012]1424号)
为实现Android平台下恶意软件的高效检测,提出了一种基于Dalvik指令的Android恶意代码特征形式化描述和分析方法,能够在无需反编译应用程序的基础上,快速检测样本的恶意特征.该方法首先依照DEX文件格式对Android应用程序切分得到以方法...
关键词：Dalvik指令 安卓 恶意代码 形式化描述 相似度 
混合偏好模型下的分布式理性秘密共享方案被引量：8
《计算机研究与发展》2014年第7期1476-1485,共10页彭长根 刘海 田有亮 吕桢 刘荣飞 
国家自然科学基金项目(60963023;61262073;61363068);贵州省自然科学基金项目(20092113;20132112);全国统计科学研究计划重点项目(2013LZ46);贵州大学博士基金项目(2007040;2012024);贵州大学研究生创新基金项目(2013017;2013018)
理性秘密共享方案通过扩展参与者的类型后具有更好的适应性,而现有方案中的共享秘密往往依赖于秘密分发者,但在某些特定环境中秘密分发者并不一定存在.通过对传统分布式秘密共享方案的分析,给出了分布式理性秘密共享方案的一般形式化描...
关键词：混合偏好模型 分布式理性秘密共享 形式化描述 策略一致机制 公平性 
软件动态正确性的形式化描述被引量：4
《计算机研究与发展》2013年第3期626-635,共10页马艳芳 张敏 陈仪香 
国家自然科学基金项目(91118007);中央高校基本科研业务费专项基金项目(78210045);安徽省高等学校省级自然科学研究项目(KJ2011A248;KJ2012Z347);上海市高可信计算重点实验室开放课题项目(07dz22304201004);安徽省淮北师范大学青年科学基金项目(700583)
软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互...
关键词：软件正确性 参数化互模拟 形式化 极限 拓扑 
DNSSEC域名解析的形式化描述及量化分析研究
《计算机研究与发展》2012年第S2期55-63,共9页王勇 云晓春 姚垚 熊刚 
国家"八六三"高技术研究发展计划基金项目(2007AA01Z444;2011AA010601);国家自然科学基金项目(60703021;61070185)
DNSSEC将公钥体系引入DNS,实现了对数据的完整性、数据来源等验证,有效地保护了域名服务体系的安全.采用扩展的有限自动机对DNSSEC域名解析过程进行了形式化描述,引入DNSKEY,DS,NSEC3信任关系来刻画信任链建立中的信任传递过程.在此基础...
关键词：域名服务扩展 形式化描述 域名解析成功率 域名服务器响应率 
基于模型检验的构件验证技术研究进展被引量：6
《计算机研究与发展》2011年第6期913-922,共10页贾仰理 李舟军 邢建英 陈石坤 
国家自然科学基金项目(90718017;60973105);教育部高等学校博士学科点专项科研基金项目(20070006055)
模型检验以其自动化程度和完备性高、与构件技术互补性强等特点,在软件构件可信性质的分析和验证中发挥着日益重要的作用.将基于模型检验的构件验证方法分为基于系统规约模型的验证和基于源代码的验证,分别对其研究现状和发展动态进行...
关键词：构件 模型检验 形式化描述 验证 可信性质 
一种笔段网格汉字字形描述方法被引量：13
《计算机研究与发展》2010年第2期318-327,共10页林民 宋柔 
国家自然科学基金项目(60863007;60872121) ~~
现有计算机汉字字形描述方法在特征选取、字形比对计算方面存在缺陷,无法解决输入错字、古籍异体字、拼合字和自动比对字形等问题.面向应用提出一种具有颗粒度适当、无歧义、规范化基元特征,能描述一切可能字形(包括错字、异体字、拼合...
关键词：汉字字形 笔段网格 形式化描述 字形比对 笔画 
基于线性时序逻辑的对象文件系统形式化描述
《计算机研究与发展》2007年第z1期154-160,共7页曾令仿 冯丹 王芳 施展 
国家自然科学基金项目(60303032,60603048);国家发改委CNGI基金项目(CNGI-04-5-1D);国家"九七三"重点基础研究发展规划基金项目(2004CB318201)
基于线性时序逻辑,给出了对象文件系统特性的形式化描述.对象文件系统时序逻辑(OFSTL)是线性时序逻辑在描述对象文件系统应用中的一个推广.用OFSTL描述对象文件系统的性质,用模型化的状态迁移系统表示对象文件系统的访问行为.试图解决...
关键词：对象文件系统 线性时序逻辑 智能存储 性质验证 
基于类型化内存地址的安全策略的设计与实现
《计算机研究与发展》2003年第7期1001-1007,共7页郭帆 陈意云 胡荣贵 
国家自然科学基金 ( 60 173 0 49)
提出了一种检查代码安全的类型安全策略 ,详细描述了该策略的逻辑表示、形式化描述和基于该策略的证明方法 ,最后给出一个基于该策略的定理证明器HBTSTP 策略的核心思想是给每个合法的内存地址赋予类型 ,使用符号表达式记录内存的状态变...
关键词：类型安全策略 证明方法 类型检查 代码安全 逻辑表示 形式化描述 
邻居发现协议的形式化测试被引量：6
《计算机研究与发展》2001年第12期1409-1417,共9页田军 张玉军 于东 付晓宇 郑红霞 李忠诚 
Nokia中国研发中心基金资助
Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不...
关键词：领导发现协议 一致性测试 形式化描述方法 网络协议 IPV6协议 IPV4协议 通信协议 
攻击分类研究与分布式网络入侵检测系统被引量：76
《计算机研究与发展》2001年第6期727-734,共8页王晓程 刘恩德 谢小权 
入侵检测是保护计算机系统安全的重要手段 .攻击分类研究对于系统地分析计算机系统脆弱性和攻击利用的技术方法有着重要的意义 ,这有助于构造高效的入侵检测方法 .通过对现有入侵检测方法和攻击分类方法的分析和研究 ,提出了一种面向检...
关键词：攻击分类方法 计算机网络 形式化描述 分布式网络入侵检测系统 网络安全 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部