一种BAN—逻辑的修正

本文指出了ＢＡＮ－逻辑推理中存在的逻辑错误，提出了一种改进的ＢＡＮ－逻辑，它具有精确的语义定义和正确的推理规则，当协议的初始条件正确时，逻辑推理的结论是正确的。