填空题

目前保证协议安全性，有两种基本方法：一种是用 ____ 来证明一个协议是安全的；另一种是设计者用经验来分析协议的安全性。

【参考答案】

形式化方法
<上一题 目录 下一题>
热门 试题

填空题
路由器的队列调度算法与拥塞管理机制是____。
填空题
包过滤规则一般是基于部分或全部____的内容。
相关试题