分享到:

基于重写系统的风险分析模型研究

计算机安全风险分析随着计算机系统安全问题的日益严重而受到广泛重视。因为其处理对象的庞大和复杂,风险分析需要自动化的方法实现以保证其实时性。风险分析方法的发展目前已经进入了以抽象的模型化方法为指导的阶段。项重写的风险分析模型以其良好的代数规范为风险分析的实现提供了理论基础。但是现存项重写的模型忽略了分析和决策之间的推理过程,容易导致潜在威胁的传播。本文针对项重写风险分析模型中资产的关键性级别,划分出关键资产,通过分步的风险分析,实现不仅可以降低系统复杂度,还能有效保证关键资产的优先处理;引入了与或攻击树构建攻击场景,节约了运行所需的空间,为后来的决策选择打下基础,同时也为以后的图重写的风险分析提供依据。另外将模型中的环境项作为系统状态,通过状态转移的方法描述了风险分析结果。本文证明了改进后的模型ITRS-RA是终止的,并且在一定条件下合流。本文在项重写系统所建立的代数规范的基础上提出了图重写的风险分析模型GRS-RA。该模型依赖项  (本文共62页) 本文目录 | 阅读全文>>

《中国信息技术教育》2017年05期
中国信息技术教育

“活”过来的经典计算机——马尔科夫重写系统

如果有一台机器,它所做的事情十分单一,就是把一个符号串中的一些字符替换成另外一些,反复替换后,这台机器就能实现通用计算。换句话说,人...  (本文共3页) 阅读全文>>

《计算机研究与发展》1990年40期
计算机研究与发展

依赖项重写系统及其在程序设计语言中的应用

项重写系统是一种简洁通用的计算模型,在许多领域中有着重要的应用.但是,在一些应用中,它不能很好地解决问题,为此,文中提出了一种新的项重写计算模型——依赖项重写系...  (本文共6页) 阅读全文>>

《软件学报》1992年04期
软件学报

半正则重写系统及其合流性

本文着重研究重写系统的合流性,通过引入符号测...  (本文共11页) 阅读全文>>

《小型微型计算机系统》1993年12期
小型微型计算机系统

项重写系统的并行实现方案

项重写系统的并行归约可以提高归约的效率,在无共享内存的Transput-er网络上实现时要考虑任务的分配、项的拼装、归约任务的控制等...  (本文共6页) 阅读全文>>

兰州大学
兰州大学

多重线性算子,重写系统与Gr(?)bner-Shirshov基

作用于研究对象上的线性算子,在数学研究中起着重要的作用,比如微分代数中的微分算子(它是分析中微分算子的代数化)和Rota-Baxter代数中的罗巴算子(它是分析中积分算子的代数化).受此启发,著名组合学家Rota提出了如下的公开问题:寻找代数上的线性算子满足的所有代数等式,称之为Rota分类问题.后来郭锂教授等人利用Gr(?)bner-Shirshov基理论和重写系统方法对Rota分类问题进行了精确的描述和刻画,并证明了一族线性算子多项式等式是Gr(?)bner-Shirshov基当且仅当它们诱导出的重写系统是收敛的,这里的线性算子是单重线性算子.在这篇文章中,我们继续Rota分类问题的研究,把郭锂教授等人的部分结果推广到多重线性算子版本.我们利用Gr(?)bner-Shirshov基理论和重写系统方法,来研究多重线性算子,证明一族多重线性算子多项式等式是Gr(?)bner-Shirshov基当且仅当它们诱导出的重写系统是收敛的...  (本文共46页) 本文目录 | 阅读全文>>