混沌映射与可逆线性记忆元胞自动机相融合的图像认证加密算法研究

为了使加密系统拥有图像认证功能,能够防止图像在存储与传输过程中被各种攻击肆意篡改,并提高其加解密速度以及安全性,使可逆线性元胞自动机具备记忆贮存功能,提出一种可逆线性记忆元胞自动机。采用混沌映射与可逆线性记忆元胞自动机相融合的图像认证加密算法来增强加密系统的性能,采用的是图像块加密算法,而非传统的密码流。首先采用二维分段线性混沌映射对初始明文图像进行置乱,改变像素位置;然后对置乱图像进行分块,并利用Logistic映射和可逆线性记忆元胞自动机对每一块进行扩散加密处理,改变其像素值,随后将这些加密后的分块密文组合起来形成密文图像;将HASH方程引入到本文算法中,使其拥有图像认证功能。借助MATLAB仿真软件来验证本文算法,结果表明:所提出的图像认证加密新算法具有优异的加密性能,扩散机制高度安全,计算效率高,其密钥空间足够大,抗攻击能力大幅度提升。

Fuzzy右线性语言的运算封闭性（Ⅱ）

在文献［２］的基础上， 对Ｆｕｚｚｙ右线性语言的一些常用面重要的性质作了进一步讨论。证明了ｆｕｚｚｙ右线性语言对逆运算及置换具有封闭性。这样完善系统化了Ｆｕｚｚｙ右线性语言的运算性质。

关于有限自动机弱译码误差传播有界的一些结果

本文主要讨论了一类特殊的延迟τ步可逆的可逆有限自动机。这一类有限自动机具有特殊的性质即:它的任意一个延迟τ1步弱逆都对它误差传播有界,且误差传播长度≤τ1。

自动协议逆向工程研究综述

全面梳理了该领域国内外相关文献,归纳分析了自动协议逆向工程的研究现状和发展趋势。为了更清晰地刻画不同方法的特点和比较异同,提出一种基于协议逆向工程输出结果的分类方法,将协议逆向方法分为侧重于协议格式提取、侧重于协议状态机推断、侧重于完整协议规范描述、侧重于其他输出结果四类,并据此进行分析和比较。基于目前的进展情况和进一步的问题剖析发现,复杂交互场景分析、链路层协议逆向、加密协议分析以及协议状态机优化等应作为自动协议逆向工程领域下一步的重点研究方向。

格值可逆自动机的代数性质

首先在格值逻辑框架下引入格值自动机的概念,并提出可逆映射的概念,从而诱导出格值可逆自动机的概念;其次研究了格值可逆自动机的代数性质,同时给出保证该代数性质成立的充分必要条件.

1-Way Multihead Quantum Finite State Automata

1-way multihead quantum finite state automata (1QFA(k)) can be thought of modified version of 1-way quantum finite state automata (1QFA) and k-letter quantum finite state automata (k-letter QFA) respectively. It has been shown by Moore and Crutchfield as well as Konadacs and Watrous that 1QFA can’t accept all regular language. In this paper, we show different language recognizing capabilities of our model 1-way multihead QFAs. New results presented in this paper are the following ones: 1) We show that newly introduced 1-way 2-head quantum finite state automaton (1QFA(2)) structure can accept all unary regular languages. 2) A language which can’t be accepted by 1-way deterministic 2-head finite state automaton (1DFA((2)) can be accepted by 1QFA(2) with bounded error. 3) 1QFA(2) is more powerful than 1-way reversible 2-head finite state automaton (1RMFA(2)) with respect to recognition of language.

可逆模糊自动机

首先提出了可逆模糊自动机的概念,研究了能被可逆模糊自动机接受的语言(简记为F(Σ))的一些性质。其次给出了自由群上被可逆模糊自动机接受的模糊子集的概念,详细研究了可逆模糊语言与经典可逆语言的关系。最后,通过引入语法幺半群刻画了F(Σ)的代数性质。通过这些性质可以有效的判断一个模糊语言是否能被一个可逆模糊自动机接受。