最弱前置条件相关论文
在本论文中我们提出了一种通用的，可扩展的分析和检查加密协议的方法。我们的方法就是用CPAL（Cryptographic Protocol Analysis Lang......
在软件安全领域，软件故障树分析法是一种重要的软件危害分析方法，但是，软件故障树的建模和分析是非常繁琐费时的，因此，本文将计算机辅助......
