排序方式： 共有2条查询结果，搜索用时 0 毫秒
1
1.
2.
对Guttman等人提出的三种测试中的输入测试(incoming test)进行扩展,使其能够用来分析使用签名和验证的协议,如CCITT X.509协议等。使用扩展后的输入测试来分析CCITT X.509协议的正确性,发现它的不足之处。 相似文献
1