项重写

作品数：25被引量：13H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈晨祝跃飞冯速刘楠朱文也更多>>
相关机构：解放军信息工程大学北京师范大学中国科学技术大学北京航空航天大学更多>>
相关期刊：《纯粹数学与应用数学》《海军工程大学学报》《中国科学技术大学学报》《计算机学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划中国科学技术大学青年基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
项重写系统和自由幺半群
《纯粹数学与应用数学》2022年第2期266-275,共10页林沐辰 朱志成 张毅 
国家自然科学基金(11771191,12101316);南京信息工程大学人才启动金(2021r014);南京信息工程大学大学生创新创业训练计划项目(XJDC202210300386).
项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重...
关键词：自由幺半群 重写系统 Platic幺半群 中国幺半群 
情感记忆或能改写
《发明与创新（大科技）》2014年第10期54-54,共1页
记忆可以改变吗？如果可以，这项技术或许在将来的某一天有望治愈那些正经受恐惧症、创伤后心理紊乱以及其他焦虑症困扰的患者们。日前，一项重写小鼠记忆的实验就发现了涉及改变记忆的大脑回路。
关键词：记忆 改写 情感 焦虑症 项重写 大脑 小鼠 
基于项重写系统的联锁系统模型检测方法研究
《计算机工程与应用》2014年第3期49-54,共6页张舒青 徐中伟 陈祖希 
国家自然科学基金(No.60674004);国家高技术研究发展计划(863)(No.2012AA112801);国家十二五科技支撑项目(No.2011BAG01B03)
模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术,对于验证系统的正确性,具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法,采用基于项重写系统原理的Maude工具语言,对铁路联锁系统...
关键词：项重写系统 联锁 Maude语言 安全苛求系统 模型检测 
一种基于项重写的密码模块API安全性检测算法
《中国科学院大学学报（中英文）》2013年第5期699-705,共7页刘波 陈华 
国家自然科学基金(91118006)资助
针对密码模块API的形式化验证,提出一种基于项重写形式化模型的检测算法.该算法利用符号化及广度优先搜索方法,使用项重写规则对敌手的初始知识集不断进行匹配和扩展,直到找到攻击路径或者搜索完状态空间.以密码模块API标准PKCS#11为例...
关键词：PKCS#11 模型检测 项重写 广度优先搜索 
基于项重写的形式化排序方法及应用
《通信学报》2011年第3期138-142,共5页陈晨 陈卫红 闫振天 祝跃飞 
国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z471)~~
构建一个基于项重写理论的向量序,该序具有替换、组合封闭等性质,在可实现性、规则调用次数和自动化实现等方面优于目前主要应用的几个形式化排序方法;并给出向量序在信息安全领域中的应用,即解决异或操作等价合一问题的实现算法,该算...
关键词：计算机理论 形式化 项重写 等价合一 
基于项重写的安全电子交易形式化模型
《北京工业大学学报》2010年第5期664-668,共5页陈晨 刘楠 陈卫红 祝跃飞 
国家'八六三'计划资助项目(2007AA01Z471)
构建一个安全电子交易的形式化模型,为实现对相关安全协议的自动化分析提供了理论基础和技术手段.该模型基于项重写理论进行构建,通过符号化和规则化的方式刻画电子交易的3个主要过程,不但体现交易双方能互相检验身份的安全机制,并且通...
关键词：电子交易 形式化 项重写 
TA4SP的认证性扩展
《计算机工程》2010年第2期144-146,共3页朱文也 祝跃飞 刘楠 陈晨 
国家"863"计划基金资助项目(2007AA01471)
认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题,提出一种TA4SP的认证性检测方法。该方法基于对TA4SP设计原理的分析,采用分层认证思想,实现对其认证性的理论扩展,其结构清晰、...
关键词：TA4SP系统 项重写系统 树自动机 认证性 
基于树语言逼近的安全协议形式化分析被引量：1
《计算机科学》2010年第1期176-180,共5页刘楠 朱文也 祝跃飞 陈晨 
国家高技术研究发展计划(863)(2007AA01Z471)资助
利用形式化方法或工具自动化分析实用安全协议十分必要,定理证明技术因其可解决无限状态系统的验证备受关注,但扩展其验证规模和自动化实现时仍然存在一些局限性。以定理证明和重写逼近理论为基础,以项重写形式化定义协议模型,以树自动...
关键词：安全协议 项重写 树自动机 树语言 逼近 秘密性 认证性 
结合关系建模与项重写技术的时序电路等价验证被引量：1
《微电子学》2009年第2期259-262,共4页杨志 马光胜 刘晓晓 
国家自然科学基金资助项目"基于多项式符号代数的系统芯片DA新方法研究"(60273081)
提出一个新颖的时序电路等价验证的方法框架。该方法有效地结合了关系建模和项重写技术。首先利用带有测试条件的Kleene关系代数建模时序设计,进而通过对关系表达式的项重写来证明时序设计的等价性。与传统的基于状态空间遍历的时序等...
关键词：时序等价验证 关系建模 项重写 形式验证 
基于项重写的动态可重构系统建模与仿真框架被引量：2
《小型微型计算机系统》2007年第9期1652-1659,共8页罗赛 周学海 
高等学校博士学科点专项科研基金项目(20050358040)资助
可重构系统建模与仿真是一项复杂的任务.本文从可重构计算模式的基本特征出发,建立计算与通讯并重的生产者-消费者系统架构,并提取其数据、计算、通讯基本元素,解决运行时的调度和加载问题,形成基于项重写理论的动态可重构计算系统建模...
关键词：可重构计算 项重写系统 建模 仿真 验证 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部