×

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

最新 引文 关联
塞德里克·Fornet;卡尔蒂基扬·巴尔干;安德鲁·戈登。

通过键入样本协议实现进行加密验证。 （英语） Zbl 1344.68072号

Aldini，Alessandro（编辑）等人，《安全分析和设计基础》，第六版，FOSAD教程讲座。柏林：施普林格出版社（ISBN 978-3-642-23081-3/pbk）。计算机科学讲义6858，66-100（2011）。
MSC公司：68第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{C.Fournet}等人，Lect。注释计算。科学。6858、66-100（2011年；Zbl 1344.68072）
全文： 内政部 哈尔
安德鲁·戈登。;阿兰·杰弗里

保密，尽管妥协：类型、密码学和π演算。 （英语） Zbl 1134.68439号

Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山，2005年8月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653186-201（2005）。
MSC公司：68问题85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Gordon}和\textit{A.Jeffrey}，莱克特。注释计算。科学。3653186-201（2005年；Zbl 1134.68439）
全文： 内政部
安德鲁·戈登。

从类型化进程计算到基于源的安全。 （英语） Zbl 1141.68368号

Hankin，Chris（编辑）等人，《静态分析》。2005年9月7日至9日在英国伦敦举行的2005年SAS第12届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28584-9/pbk）。计算机科学课堂讲稿3672，2（2005）。
MSC公司：68号30 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Gordon}，莱克特。注释计算。科学。3672，2（2005年；Zbl 1141.68368）
全文： 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。

web服务身份验证的语义。 （英语） Zbl 1325.68140号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。198-209 (2004).
MSC公司：60年第68季度 68英里11 68个M12 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{K.Bhargavan}等人，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。198-209（2004；Zbl 1325.68140）
全文： 内政部 链接
安德鲁·戈登。;阿兰·杰弗里

在安全协议中键入一对一和一对多通信。 （英语） Zbl 1033.94525号

Okada，Mitsuhiro（编辑）等人，《软件安全——理论和系统》。墨西哥NSF JSPS国际研讨会，ISSS 2002，日本东京，2002年11月8日至10日。修订论文。柏林：施普林格出版社（ISBN 3-540-00708-3/pbk）。莱克特。注释计算。科学。2609, 263-282 (2003).
MSC公司：94A60型 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Gordon}和\textit{A.Jeffrey}，莱克特。注释计算。科学。2609263-282（2003年；Zbl 1033.94525）
全文： 链接
塞德里克·Fornet;安德鲁·戈登。

烟囱检查：理论和变体。 （英语） Zbl 1323.68115号

2002年1月16日至18日，美国俄勒冈州波特兰市POPL'02，第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-450-9）。307-318 (2002).
MSC公司：68甲18 68甲15 68号30 68问题55 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Fournet｝和\textit｛A.D.Gordon｝，载于：第29届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’02，美国俄勒冈州波特兰，2002年1月16日至18日。纽约州纽约市：计算机协会（ACM）。307--318（2002年；Zbl 1323.68115）
全文： 内政部
安德鲁·戈登。

加密协议的类型。 （英语） Zbl 1012.68528号

Brim，Luboš（编辑）等人，CONCUR 2002-并发理论。第十三届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2421, 99-100 (2002).
MSC公司：68问题85 68第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Gordon}，莱克特。注释计算。科学。2421，99--100（2002；Zbl 1012.68528）
全文： 链接
安德鲁·戈登。;阿兰·杰弗里

键入通信协议的对应断言。 （英语） Zbl 1260.94063号

Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，119-140（2001）。
MSC公司：94A62型 94A60型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Gordon}和\textit{A.Jeffrey}，电子。注释Theor。计算。科学。45、119——140（2001年；Zbl 1260.94063）
全文： 内政部
安德鲁·戈登。;阿兰·杰弗里

安全协议的类型和效果分析。 （英语） Zbl 0997.68555号

Patrick Cousot（编辑），静态分析。第八届国际研讨会，2001年7月16日至18日，法国巴黎，SAS 2001。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2126, 432 (2001).
MSC公司：68单位99 68第25页 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Gordon}和\textit{A.Jeffrey}，莱克特。注释计算。科学。2126432（2001年；Zbl 0997.68555）
全文： 链接
马丁·阿巴迪;安德鲁·戈登。

spi演算中有关密码协议的推理。 （英语） Zbl 1512.94054号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243，59-73页（1997年）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Abadi}和\textit{A.D.Gordon}，莱克特。注释计算。科学。1243、59-73（1997年；Zbl 1512.94054）
全文： 内政部

筛选结果依据…

文档类型

作者

全部的 前5名

出版年份

主字段

全部的 前3名

软件