关于BAN逻辑的语义模型的分析与改进
관우BAN라집적어의모형적분석여개진
On the Refinement for the Semantics Model of BAN Logic
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2004年 15期 67-69,121 ,共4页

    费定舟%邓达强

    비정주%산체강

    Authentication logic BAN 逻辑 语义模型 Authentication logic BAN 邏輯 語義模型
    Authentication logic BAN 라집 어의모형
    该文针对BAN逻辑及其语义模型的不足之处,提出了改进后的定义,它比BAN原作者们所提供的信念定义更加合理.
    해문침대BAN라집급기어의모형적불족지처,제출료개진후적정의,타비BAN원작자문소제공적신념정의경가합리.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문