Towards the Idealization Procedure of BAN-Like Logics

会议类型: 国际会议

会议名称: The 1st Chinese Conference on Trusted Computing and Information Security(第一届中国可信计算与信息安全学术会议)

会议地点: 武汉

会议语种:英文

页码: 214-218

在线出版日期: 2004-10-29（万方平台首次上网日期，不代表论文的发表时间）