网络安全协议的自动化设计策略

作者：王张宣; 李莉; 张焕国网络安全协议ban逻辑演化计算

摘要：文章以演化计算为工具，以BAN逻辑为基本的推理准则，在第一阶段随机搜索候选协议，然后在第二阶段通过冗余协议约简方案得出优化的协议。两阶段设计方案可以自动生成各种需求的两方或三方通信协议，并且广泛支持各种加密方法。通过两阶段的生成和过滤，我们的方法可以实现较大规模网络安全协议的自动化设计，例如三方密钥分配协议等。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社