1.2.4 如何能“证明”一个软件是可以继续发展的？

2022-06-29 14:27:00 971 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

密码学中可证明安全CCA2 密码学中可证明安全CCA2 可证明安全推荐书目: 《密码学中的可证明安全性》杨波：：清华大学出版社《Introduction to Security Reduction》Fuchun Guo;Willy Susilo;Yi Mu ：：Springer CCA1 与 CCA2 的区别 CCA2 与 CCA1 只有一个区别，那就是在生成挑战密文后，CCA2依然允许敌手进行解密询问（限制是不能允许敌手询问挑战密文的解密询问）。 ... 阅读详情

能证明所开发的软件是可以维护和继续发展的。例如，对用户需求的分析有详细的文档说明，包括对将来发展的分析和计划。
——P17

我赞同软件开发需要有长远规划的观点，因为一个产品不可能永远停留在一个阶段，要想成功一定需要紧跟时代的步伐。

但是在最初开发的阶段“证明”一个软件是可以继续发展的似乎不太容易。也许在当前的社会背景下，某种应用能够取得不错的市场，但是当社会的风向标转变时，一个比较庞大的软件很难做到迅速转型，而其最初指定的持续发展的目标方案在这时候就不一定行得通了。所以我对书中的这段描述有些疑惑。
————————————————
版权声明：本文为CSDN博主「BUAA19373333」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/BUAA19373333/article/details/123430452

...全文