周,Ti;李孟军;李周军;陈火旺 使用约束对时间敏感的安全协议进行建模和验证。 (英语) Zbl 1286.68324号 Chen,Yixiang(编辑)等,《第一届信息学、计算与软件基础国际会议论文集》(FICS 2008),华东师范大学,中国上海,2008年6月3-6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记212,103-118(2008)。MSC公司:60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{T.Zhou}等人,《电子》。注释Theor。计算。科学。212、103——118(2008年;Zbl 1286.68324) 全文: 内政部
周,Ti;李周军;李孟军;陈火旺 安全协议验证中的约束抽象。 (英语) Zbl 1143.68465号 Preparia,Franco P.(编辑)等人,《算法的前沿》。第二届年度国际研讨会,2008年6月19日至21日,中国长沙,一汽2008。程序。柏林:施普林格出版社(ISBN 978-3-540-69310-9/pbk)。计算机科学课堂讲稿5059,252-263(2008)。MSC公司:60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{T.Zhou}等人,Lect。注释计算。科学。5059252--263(2008年;Zbl 1143.68465) 全文: 内政部