×

找到20个文档(结果1–20)

(\mathsf{DY}^{star}\)的辅导式介绍。 (英语) Zbl 1498.94055号

Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13066, 77-97 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

密码学进展——INDOCRYPT 2020。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。 (英语) Zbl 1490.94002号

计算机科学课堂讲稿12578.查姆:施普林格(ISBN 978-3-030-65276-0/pbk;978-3-0030-65277-7/电子书)。xix,第906页。(2020).
MSC公司:94-06 94A60型 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

现实世界密码学的实用形式方法(特邀演讲)。 (英语) Zbl 1519.94053号

Chattopadhyay,Arkadev(ed.)等人,第39届IARCS软件技术和理论计算机科学基础年会,2019年12月11-13日,印度孟买,FSTTCS 2019。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150,第1条,第12页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于域验证和ACME的形式化建模和验证。 (英语) Zbl 1460.94036号

Kiayias,Aggelos(编辑),《金融加密和数据安全》。2017年4月3日至7日在马耳他斯莱马举行的2017年足球俱乐部第21届国际会议。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10322, 561-578 (2017).
MSC公司:94A60型 68个M12
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

(\mathrm{F}^*\)中的依赖类型和多单子效应。 (英语) Zbl 1347.68038号

Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。256-270 (2016).
MSC公司:68甲15 68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明TLS握手是安全的(按原样)。 (英语) Zbl 1334.94060号

Garay,Juan A.(ed.)等人,《密码学进展——密码学》,2014年。2014年8月17日至21日,第34届年度密码学会议,美国加利福尼亚州圣巴巴拉。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-662-44380-4/pbk)。计算机科学讲座笔记8617,235-255(2014)。
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逐步键入安全嵌入JavaScript。 (英语) Zbl 1284.68108号

2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL’14,第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。425-437 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用值相关类型保护分布式编程。 (英语) Zbl 1323.68229号

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录,ICFP’11。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0865-6)。ACM SIGPLAN通知46,第9号,266-278(2011)。
MSC公司:68号30 68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

通过键入示例协议实现的密码验证。 (英语) 兹比尔1344.68072

Aldini,Alessandro(编辑)等人,《安全分析和设计基础VI》,FOSAD教程讲座。柏林:施普林格出版社(ISBN 978-3-642-23081-3/pbk)。计算机科学课堂讲稿6858,66-100(2011)。
MSC公司:68第25页 94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

通过键入对安全协议代码进行模块化验证。 (英语) Zbl 1312.68052号

2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-479-9)。445-456 (2010).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

已验证安全协议的互操作实现。 (英语) Zbl 1137.68323号

Broy,Manfred(编辑)等人,《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-731-4/hbk)。北约科学安全系列。D: 信息和通信安全9,87-115(2007)。
MSC公司:68个M12 68第25页
PDF格式BibTeX公司 XML格式引用

复制系统中一致性的基于约束的形式主义。 (英语) Zbl 1129.68387号

Higashino,Teruo(编辑),分布式系统原理。2004年12月15日至17日在法国格勒诺布尔举行的2004年OPODIS第八届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-27324-7/pbk)。计算机科学课堂讲稿3544,331-345(2005)。
MSC公司:64岁以下 68个M12
PDF格式BibTeX公司 XML格式引用
全文: 内政部

web服务身份验证的语义。 (英语) Zbl 1325.68140号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-729-X)。198-209 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

TulaFale:web服务的安全工具。 (英语) Zbl 1104.68306号

de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第二届国际研讨会,2003年FMCO,荷兰莱顿,2003年11月4-7日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-22942-6/pbk)。计算机科学课堂讲稿3188197-222(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可能出现的数据包:用于网络监控的自动机。 (英语) 兹比尔1323.68199

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2001年1月17日至19日,英国伦敦,POPL'01。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-336-7)。206-219 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

HOL/SPIN中的路由信息协议。 (英语) Zbl 0974.68010号

Aagaard,Mark(编辑)等人,《高阶逻辑中的定理证明》。2000年8月14日至18日在美国俄勒冈州波特兰举行的第13届TPHOLs 2000国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1869, 53-72 (2000).
MSC公司:68个M12 68吨15
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份