基于项重写的形式化排序方法及应用  

Formalism ordering method based on term rewriting and application

作　　者：陈晨[1] 陈卫红[1] 闫振天 祝跃飞[1] 

机构地区：[1]信息工程大学信息工程学院 [2]解放军65026部队

出　　处：《通信学报》2011年第3期138-142,共5页Journal on Communications

基　　金：国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z471)~~

摘　　要：构建一个基于项重写理论的向量序,该序具有替换、组合封闭等性质,在可实现性、规则调用次数和自动化实现等方面优于目前主要应用的几个形式化排序方法;并给出向量序在信息安全领域中的应用,即解决异或操作等价合一问题的实现算法,该算法分析合一的所有条件,并在合一成功时输出合一解。The vector order which based on term rewriting was constructed,it was closed under substitution and compo-sition,and had advantage in realization,the number of transferring rules and automatization compared with the other or-dering methods.An application in information security was given,i.e.an arithmetic which resolved the problem of XOR equivalent unification,it analysed all conditions and returns the solution.

关 键 词：计算机理论 形式化 项重写 等价合一 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]