%0 Journal Article
%T Notes on the investigation of the freshness in BNA logic<br>“对BAN逻辑中新鲜子的研究”的注记
%A Yuan Ding
%A Fan Pingzhi
%A He Mingxing
%A <br>袁丁
%A 范平志
%A 何明星
%J 电子与信息学报
%D 2002
%I 
%X In this paper, it is pointed out by a counterexample that the condition of the freshness rule on BAN logic which in the paper "The Investigation of the Freshness in BAN Logic" written by Song Ronggong, et al. is so strict that it regards possibly a secure protocol as an insecure protocol.
%K Cryptographic protocol
%K BAN logic
%K Freshness<br>密码协议
%K BAN逻辑
%K 新鲜子
%K 形式化分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=1319827C0C74AAE8D654BEA21B7F54D3&jid=EFC0377B03BD8D0EF4BBB548AC5F739A&aid=51959A548D53029E&yid=C3ACC247184A22C1&vid=B91E8C6D6FE990DB&iid=5D311CA918CA9A03&sid=8FC26EAE44BDA92A&eid=6DAA05ECA4CD5075&journal_id=1009-5896&journal_name=电子与信息学报&referenced_num=3&reference_num=8