通信学报
• • 上一篇 下一篇
陈 晨,陈卫红,闫振天,祝跃飞
出版日期:
发布日期:
Online:
Published:
摘要: 构建一个基于项重写理论的向量序,该序具有替换、组合封闭等性质,在可实现性、规则调用次数和自动化实现等方面优于目前主要应用的几个形式化排序方法;并给出向量序在信息安全领域中的应用,即解决异或操作等价合一问题的实现算法,该算法分析合一的所有条件,并在合一成功时输出合一解。
陈 晨,陈卫红,闫振天,祝跃飞. 基于项重写的形式化排序方法及应用[J]. 通信学报.
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.infocomm-journal.com/txxb/CN/
https://www.infocomm-journal.com/txxb/CN/Y2011/V32/I3/18