分析：请用文字解释下列公理的意义
bel(P,K→Q) , sees(P,{X}K-1) => bel( P, said(Q,X) )
P相信，K是Q的公钥；P收到了用Q的私钥签名的消息X。那么，P可以相信，Q发送了消息X。
分析：请用文字解释下列公理的意义
bel(P,cont(Q,X)) , bel(P,bel(Q,X)) => bel(P,X)
P相信，消息X是由Q控制的(比如它是Q产生的，别人不能产生)；P也相信，Q认可X。那么，P就可以相信消息X。
简答：BAN逻辑分析过程
理想化协议，对初始状态作出假设，将协议用BAN逻辑的符号表示，用推理规则得出协议试图达到的信念