BAN-logic相关论文
在分布式网络环境中,访问控制、隐私保护和身份认证是保证该系统安全可靠运行的关键。针对分布式系统的认证方案能够保证数据的机......
本文指出了ＢＡＮ－逻辑推理中存在的逻辑错误，提出了一种改进的ＢＡＮ－逻辑，它具有精确的语义定义和正确的推理规则，当协议的初始条件正确时，逻辑推理......
