Algebraic Models of Stream Ciphers

该项目调查移动环境中的通信安全，在移动环境中，保密性和真实性都是首要关注的问题。流密码是移动环境中的自然选择，因为它们使用有限的计算资源提供有效的密码保护。我们将流密码视为代数对象，其性质完全决定了它们的密码强度。我们首先分析了现有的流密码的代数性质，然后推导出一种可证明安全的流密码的设计方法。该项目为流密码带来了新的安全和高效的设计，流密码是澳大利亚工业中使用的首选加密工具。

The project investigates communication security in the mobile environment where both confidentiality and authenticity are of a prime concern. Stream ciphers are a natural choice in mobile environments as they provide an efficient cryptographic protection using a limited computing resources. We treat stream ciphers as algebraic objects whose properties fully determine their cryptographic strength. We first analyse existing stream ciphers showing their algebraic properties and later we derive a design methodology for provably secure stream ciphers. The project leads to new secure and efficient designs for stream ciphers that are the preferred cryptographic tools used in Australian industry.