×

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

最新的 引文 关联
塞德里克·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）
全文： 内政部 哈尔
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。

通过键入对安全协议代码进行模块化验证。 （英语） 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格式引用
\textit{K.Bhargavan}等人，in：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。445--456（2010；Zbl 1312.68052）
全文： 内政部
安德鲁·戈登。;塞德里克·Fornet

精化类型的原理和应用。 （英语） Zbl 1213.68188号

Esparza，Javier（编辑）等人，《可靠性和安全性的逻辑和语言》。根据2009年8月4日至16日在德国马克托伯多夫第30届国际暑期学校的演示文稿选出的论文。阿姆斯特丹：IOS出版社（ISBN 978-1-60750-099-5/hbk；978-1-60750-100-8/电子书）。北约和平与安全科学系列D：信息与通信安全25，73-104（2010）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit｛A.D.Gordon｝和\textit｛C.Fournet｝，《北约科学》。和平安全。序列号。D、 信息通信。安全。25、73——104（2010年；Zbl 1213.68188）
全文： 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;谢霆锋（Stephen Tse）

已验证安全协议的互操作实现。 （英语） 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格式引用
\textit{K.Bhargavan}等人，in：软件系统可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社。87-115（2007；Zbl 1137.68323）
塞德里克·Fornet;安德鲁·戈登。;塞尔吉奥·马菲斯

授权策略的类型规程。 （英语） Zbl 1108.68456号

Sagiv，Mooly（编辑），《编程语言和系统》。2005年4月4日至8日在英国爱丁堡举行的第14届欧洲编程研讨会（ESOP 2005），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25435-8/pbk）。计算机科学课堂讲稿3444141-156（2005）。
MSC公司：68第25页
PDF格式BibTeX公司 XML格式引用
\textit{C.Fournet}等人，Lect。注释计算。科学。3444，141--156（2005；Zbl 1108.68456）
全文： 内政部
卡尔蒂基扬·巴尔干;塞德里克·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）
全文： 内政部 链接
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;里卡多·普切拉

TulaFale：web服务的安全工具。 （英语） Zbl 1104.68306号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-22942-6/pbk）。计算机科学讲义3188197-222（2004）。
MSC公司：68M10个 64岁以下 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{K.Bhargavan}等人，Lect。注释计算。科学。3188197-222（2004；Zbl 1104.68306）
全文： 内政部
塞德里克·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}，in：第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'02，波特兰，俄勒冈州，美国，2002年1月16-18日。纽约州纽约市：计算机协会（ACM）。307--318（2002年；Zbl 1323.68115）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

主字段

全部的 前3名

软件