×

找到10个文档(结果1-10)

结合盲对算子的Dolev-Yao理论。 (英语) Zbl 1455.94122号

Hospodár,Michal(编辑)等人,《自动机的实现和应用》。2019年7月22日至25日在斯洛伐克科希策举行的CIAA 2019第24届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11601, 58-69 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

协议中的知识转移和信息泄漏。 (英语) Zbl 1495.68023号

D’Souza,Deepak(编辑)等人,《验证和分析自动化技术》。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10482, 225-240 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全协议对可判定认知逻辑的挑战。 (英语) Zbl 1317.03023号

van Benthem,Johan(编辑)等人,《游戏、规范和理由》。十字路口的逻辑。多德雷赫特:施普林格出版社(ISBN 978-94-007-0713-9/hbk;978-94-007-0920-1/套;978-94-007-0714-6/电子书)。Synthese Library 353,215-231(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有分布式加密的DEXPTIME完备Dolev-Yao理论。 (英语) Zbl 1287.94050号

Hliněn଑,Petr(ed.)等人,《2010年计算机科学的数学基础》。2010年8月23日至27日,第35届国际研讨会,MFCS 2010,捷克共和国布尔诺。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15154-5/pbk)。计算机科学课堂讲稿6281102-113(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

零知识的Dolev-Yao模型。 (英语) Zbl 1273.94337号

Datta,Anupam(编辑),《计算机科学进展——2009年亚洲》。信息安全和隐私。第十三届亚洲计算科学会议,韩国首尔,2009年12月14-16日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-10621-7/pbk)。计算机科学课堂讲稿5913,137-146(2009)。
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于信息的安全协议推理。 (英语) Zbl 1268.94030号

Goubault-Larrecq,Jean(编辑),LACPV’2001。密码协议验证的逻辑方面。2001年7月23日,法国巴黎,第一次研讨会(CAV’01卫星研讨会)会议记录。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》55,第1期,85-100(2003)。
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

标记使保密性也可以通过无界的nonce来决定。 (英语) Zbl 1205.94097号

Pandya,Paritosh K.(编辑)等人,FST TCS 2003:软件技术和理论计算机科学基础。第23届会议,印度孟买,2003年12月15日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20680-9/pbk)。莱克特。注释计算。科学。2914, 363-374 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

软件