[论文解读] Steganography: a Class of Algorithms having Secure Properties

Jacques M. Bahi, Jean-François Couchot+1 more|arXiv (Cornell University)|Dec 7, 2011

Advanced Steganography and Watermarking Techniques参考文献 10被引用 4

一句话总结

本文提出了一类基于有限布尔动力系统中Devaney拓扑混沌的非盲隐写算法的正式化类别。通过利用具有强连通迭代图和双随机马尔可夫矩阵的混沌迭代，作者证明了隐写安全性（隐写状态的均匀分布）和混沌安全性（Devaney混沌），将先前关于dhCI算法的工作推广至广泛的模式和策略适配器类别。

ABSTRACT

Chaos-based approaches are frequently proposed in information hiding, but without obvious justification. Indeed, the reason why chaos is useful to tackle with discretion, robustness, or security, is rarely elucidated. This research work presents a new class of non-blind information hidingalgorithms based on some finite domains iterations that are Devaney's topologically chaotic. The approach is entirely formalized and reasons to take place into the mathematical theory of chaos are explained. Finally, stego-security and chaos security are consequently proven for a large class of algorithms.

研究动机与目标

• 将基于有限布尔空间中混沌迭代的非盲隐写算法的一般类别形式化。
• 通过马尔可夫链收敛到均匀平稳分布，证明隐写安全性——即隐写状态的均匀分布。
• 通过强连通迭代图证明迭代过程中满足Devaney混沌，从而建立混沌安全性。
• 将dhCI算法的安全性从取反模式推广到广泛的函数和策略适配器。
• 为安全信息隐藏提供一个理论基础，统一安全性、隐蔽性与基于混沌的特性。

提出的方法

• 该方法采用布尔离散时间动力系统（BS），通过策略适配器生成索引序列以异步更新比特。
• 为每个 $ n $ 定义一个模式函数 $ f_n: \mathds{B}^n \to \mathds{B}^n $，推广了dhCI中使用的取反函数。
• 策略适配器确保索引在 $ \llbracket 1, l \rrbracket $ 上均匀分布（u.d.），且独立于载体数据。
• 迭代过程建模为马尔可夫链，其转移矩阵 $ M $ 由模式函数导出，其中 $ \pi^{t+1} = \pi^t M $。
• 通过证明马尔可夫链在双随机 $ M $ 的假设下收敛到均匀平稳分布 $ \pi = (1/2^l, \dots, 1/2^l) $，从而证明隐写安全性。
• 通过证明迭代图 $ \Gamma(f) $ 的强连通性，建立混沌安全性，确保对初值的敏感依赖性和稠密轨道。

实验结果

研究问题

• RQ1 能否正式定义一类隐写算法，使得隐写安全性和混沌安全性均可被证明？
• RQ2 由混沌迭代诱导的马尔可夫链收敛到均匀分布，是否能保证隐写安全性？
• RQ3 在何种模式函数和策略适配器条件下，可实现迭代过程中的Devaney混沌？
• RQ4 dhCI算法的安全特性能否从取反模式推广到其他布尔函数？
• RQ5 迭代图 $ \Gamma(f) $ 的何种结构特性可同时确保混沌安全性和隐写安全性？

主要发现

• 该方法实现了隐写安全性，因为由迭代过程诱导的马尔可夫链收敛到均匀平稳分布 $ \pi = (1/2^l, \dots, 1/2^l) $，从而确保隐写状态不可区分。
• 在马尔可夫矩阵 $ M $ 与模式函数相关且为双随机且正则的条件下，隐写安全性得到形式化证明。
• 通过证明当迭代图 $ \Gamma(f) $ 强连通时，Devaney混沌的条件（对初值的敏感依赖、稠密轨道、拓扑传递性）均被满足，从而确立了混沌安全性。
• 该算法类别通过允许任意模式函数 $ f_n $，其迭代图 $ \Gamma(f_n) $ 强连通且其马尔可夫矩阵为双随机，从而推广了dhCI算法。
• CIIS策略适配器被证明可生成均匀分布的索引，满足隐写安全性所要求的u.d.条件。
• 该理论框架允许通过选择具备所需图论性质和矩阵性质的适当模式与策略适配器，系统性地构建安全的隐写方案。