补充并纠正了一些算法证明。本文改进后的算法具有以下特点：多种防御措施，用户拥有加密与解密的自主控制权，易于追踪；

The work of the paper is to perfect and set up a system of encryption and decryption algorithms based on composite nonlinear discrete chaotic dynamical systems.

youdao

安全调查人员最近证明，利用 MD5 算法允许他们伪造可用的证书。

Security researchers have recently demonstrated exploits against the MD5 algorithm which allowed them to forge usable certificates.

youdao

有关这种算法的形式证明请参阅 参考资料。

See Resources for a formal proof of the algorithm.

youdao