作者:刘锋; 李舟军; 李梦君; 宋震; 张艳smv安全协议消息重放计算机网络网络安全
摘要:SMV是一个基于线性时态逻辑的符号化模型检验工具.本文利用SMV对Needham-Schroeder公钥协议的简化版本进行了验证,发现了利用消息重放进行的攻击.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《计算机工程与科学》(CN:43-1258/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机工程与科学》的办刊宗旨是为计算机界同行发表有创见的学术论文,介绍有特色的科研成果,探讨有新意的学术观点提供理想园地;活跃计算机界学术气氛,扩大国内外交流,为发展中国的计算机事业尽一点微薄之力。本刊强调学术性、及时性和普及性。
北大期刊、统计源期刊
人气 543524 评论 58
部级期刊
人气 230989 评论 65
人气 230381 评论 63
人气 216803 评论 35