《表2 BAN逻辑基本语句》
提示：宽带有限、当前游客访问压缩模式
本系列图表出处文件名：随高清版一同展现
《一种基于一次性口令的增强Kerberos协议方法及其形式化分析》
BAN逻辑一般包含3种处理对象：主体、公式和密钥。例如，A，B表示认证协议的参与主体；X，Y表示消息；K表示密钥。BAN逻辑基本语句如表2所示。
| 图表编号 | XD00112962500 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2019.10.10 |
| 作者 | 马利民、张伟、宋莹 |
| 绘制单位 | 北京信息科技大学计算机学院、北京信息科技大学计算机学院、北京信息科技大学计算机学院 |
| 更多格式 | 高清、无水印（增值服务） |
