×

找到7个文档（结果1-7）

最新的 引文 关联
埃马努埃莱·德苏萨尔多；费利克斯·斯图兹

用于验证具有无限会话的密码协议的可确定归纳不变量。 （英语） Zbl 07559487号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第31条，第23页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.D'osualdo}和\textit{F.Stutz}，LIPIcs——莱布尼茨国际程序。通知。171，第31条，第23页（2020；Zbl 07559487）
全文： 内政部 arXiv公司
西比尔·弗罗斯科尔

因果关系、行为等效性和网络物理系统的安全性。 （英语） Zbl 1444.68041号

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，为纪念Ernst-Rüdiger Olderog 60岁生日而举办的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360，83-98（2015年）。
MSC公司：68平方米25 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Fröschle}，莱克特。注释计算。科学。9360，83-98（2015；Zbl 1444.68041）
全文： 内政部
布鲁诺·布兰切特

符号模型中安全协议的自动验证：验证器ProVerif。 （英语） Zbl 1448.68185号

Aldini，Alessandro（编辑）等人，《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。8604, 54-87 (2014).
MSC公司：68平方米25 60年第68季度 68问题85 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\发短信{B.Blanchet}，Lect。注释计算。科学。8604，54-87（2014；Zbl 1448.68185）
全文： 内政部
休伯特·科蒙·隆德

安全协议自动验证的挑战。 （英语） Zbl 1165.68403号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，396-409（2008）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.科蒙·隆德}，莱克特。注释计算。科学。5195396--409（2008年；Zbl 1165.68403）
全文： 内政部
迈托·阿拉皮尼斯；玛丽·杜弗洛特

在安全协议中免费绑定消息。 （英语） Zbl 1135.68389号

Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855376-387（2007）。
MSC公司：第68页第25页 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Arapinis｝和\textit｛M.Duflot｝，Lect。注释计算。科学。4855、376--387（2007年；Zbl 1135.68389）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件