作为一种多类型模态逻辑（many-sorted modal logic），BAN逻辑主要包含下面3种处 理对象：主体（principal）、密钥（keys）和公式（formula），公式也称为语句或命题。
基于4个网页-相关网页
many-sorted modal logic
多排序模态逻辑
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动