×

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

最新的 引文 关联
罗斯·霍恩;绍克·莫;塞门·尤尔科夫

使用拟开双相似性对应用（pi）演算中的协议等价性进行组合分析。 （英语） Zbl 07500647号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏尔坦，2021年9月8日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 235-255 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Horne}等人，Lect。注释计算。科学。12819、235-255（2021；Zbl 07500647）
全文： 内政部
OA许可证
林，海;克里斯托弗·林奇;安德鲁·马歇尔。;凯瑟琳·梅多斯。;巴利亚特·纳伦德兰;维埃娜·拉维珊卡;布兰登·罗泽克

自动合成密码验证的符号方法中的算法问题。 （英语） Zbl 07497926号

Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 253-270 (2021).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{H.Lin}等人，Lect。注释计算。科学。12941、253--270（2021；Zbl 07497926）
全文： 内政部
塞尔达尔·埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森

终止非分离组合统一。 （英语） Zbl 07496644号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，LOPSTR 2020，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 113-130 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Erbatur}等人，Lect。注释计算。科学。12561、113--130（2021；Zbl 07496644）
全文： 内政部 哈尔
基拉库米纳米

追踪等价和认知逻辑来表示安全属性。 （英语） Zbl 1511.68185号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 115-132 (2020).
MSC公司：68问题85 03B42号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{K.Minami}，莱克特。注释计算。科学。12136115-132（2020年；Zbl 1511.68185）
全文： 内政部 arXiv公司
斯特凡尼德劳恩

分析加密协议中的隐私类型属性（受邀演讲）。 （英语） Zbl 1462.68017号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第1条，第21页（2018年）。
MSC公司：68平方米25 68个M12 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Delaune}，LIPIcs——莱布尼茨国际程序。通知。108，第1条，第21页（2018；Zbl 1462.68017）
全文： 内政部
奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺

Alice和Bob：协调正式模型和实现。 （英语） 兹比尔1434.68294

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮尔保罗·德加诺65岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。9465, 66-85 (2015).
MSC公司：68问题55 68平方米25 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{O.Almousa}等人，Lect。注释计算。科学。9465、66-85（2015年；Zbl 1434.68294）
全文： 内政部 链接
安德烈亚·莫迪多;卡洛斯·卡莱罗

基于方程的经典逻辑。 （英语） Zbl 1465.03069号

Paiva，Valeria（编辑）等人，《逻辑、语言、信息和计算》。第22届国际研讨会，2015年7月20日至23日，美国印第安纳州布卢明顿，WoLLIC。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9160, 38-52 (2015).
MSC公司：03B70号 03B25号 2012年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Mordido}和\textit{C.Caleiro}，莱克特。注释计算。科学。9160，38-52（2015；Zbl 1465.03069）
全文： 内政部
马蒂尔德·阿尔诺;维罗尼克·科尔蒂尔;斯特凡尼德劳恩

通过递归测试确定协议的安全性。 （英语） Zbl 1341.68013号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，49-63（2011）。
MSC公司：68个M12 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Arnaud}等人，Lect。注释计算。科学。6803，49-63（2011；Zbl 1341.68013）
全文： 内政部
文森特·雪瓦尔;休伯特·科蒙·隆德;斯特凡尼德劳恩

自动化安全分析：约束系统的符号等价。 （英语） 兹比尔1291.94068

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，412-426（2010）。
MSC公司：94A60型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{V.Cheval}等人，Lect。注释计算。科学。6173412--426（2010年；Zbl 1291.94068）
全文： 内政部 链接
约翰·博格斯特罗姆

扩展spi演算的完全符号双相似性。 （英语） Zbl 1294.68109号

Kremer，Steve（编辑）等人，第六届并发安全问题国际研讨会会议记录（SecCo 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第3期，3-20（2009）。
MSC公司：60年第68季度 94A60型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Borgström}，电子。注释Theor。计算。科学。242，第3、3--20号（2009年；Zbl 1294.68109）
全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔

Maude-NPA：密码协议分析模方程属性。 （英语） Zbl 1252.94061号

Aldini，Alessandro（编辑）等人，《安全分析和设计基础V.FOSAD 2007/2008/2009教程讲座》。柏林：施普林格出版社（ISBN 978-3-642-03828-0/pbk）。计算机科学课程讲稿5705，1-50（2009）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Escobar}等人，Lect。注释计算。科学。5705，1-50（2009年；Zbl 1252.94061）
全文： 内政部
Ciobâcă，沙特凡;斯特凡尼德劳恩;史蒂夫·克莱默

在收敛方程理论下计算安全协议知识。 （英语） Zbl 1250.03016号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，355-370（2009）。
MSC公司：03B35型 03B25号 68个M12 68吨15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{ö.Ciobác}等人，莱克特。注释计算。科学。5663、355--370（2009年；Zbl 1250.03016）
全文： 内政部 链接
马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩

YAPA：用于计算入侵者知识的通用工具。 （英语） Zbl 1242.94018号

Treinen，Ralf（编辑），重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595148-163（2009）。
MSC公司：94A60型 03B25号 68第25页 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Baudet}等人，Lect。注释计算。科学。5595148-163（2009年；Zbl 1242.94018）
全文： 内政部 arXiv公司
Tiu，Alwen先生;拉杰夫·戈雷

入侵者理论的证明理论分析。 （英语） Zbl 1201.68051号

Treinen，Ralf（编辑），重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595103-117（2009）。
MSC公司：68第25页 03B35型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Tiu}和\textit{R.Goré}，莱克特。注释计算。科学。5595、103-117（2009年；Zbl 1201.68051）
全文： 内政部 链接
罗正琴

具有理想设置的概率协议的计算合理符号分析。 （英语） Zbl 1204.94074号

Baek，Joonsang（编辑）等人，《可证明安全性》。2008年10月30日至11月1日，第二届国际会议，ProvSec 2008，中国上海。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88732-4/pbk）。计算机科学课堂讲稿5324185-199（2008）。
MSC公司：94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\文本｛Z.Loo｝，Lect。注释计算。科学。5324185-199（2008年；Zbl 1204.94074）
全文： 内政部
休伯特·科蒙·隆德

安全协议自动验证的挑战。 （英语） 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）
全文： 内政部
维罗尼克·科尔蒂尔;斯特凡尼德劳恩

决定单体方程理论的安全协议知识。 （英语） 兹比尔1137.68325

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，196-210（2007）。
MSC公司：68个M12 68第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{V.Cortier}和\textit{S.Delaune}，莱克特。注释计算。科学。4790196-210（2007年；Zbl 1137.68325）
全文： 内政部
让·古鲍特·拉雷克;卡图西亚帕拉米德斯;安吉洛·特洛伊娜

概率应用像素。 （英语） Zbl 1137.68448号

Shao，Zhong（编辑），《程序设计语言和系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学讲座笔记4807175-190（2007）。
MSC公司：68问题85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Goubault-Larrecq}等人，Lect。注释计算。科学。4807175-190（2007年；Zbl 1137.68448）
全文： 内政部
斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩

应用pi演算的符号互模拟。 （英语） Zbl 1135.94327号

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

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件