发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Distributed temporal logic for the analysis of security protocol models

Distributed temporal logic for the analysis of security protocol models

David Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò

作者David Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò
卷第412卷
期第31期
印刷ISSN0304-3975
文件大小1251.52KB
发表时间2011
DOI10.1016/j.tcs.2011.04.006
页码4007-4043

← 返回【学霸图书馆】主页