×

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

最新的 引文 关联
克莱门·奥伯特;彼得·布朗宁

可逆分布式微积分的实现。 （英语） Zbl 07786603号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960210-217（2023年）。
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{P.Browning}，莱克特。注释计算。科学。13960、210-217（2023；Zbl 07786603）
全文： 内政部 哈尔
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫（John P.Gallagher）。;曼努埃尔五世（Manuel V.Hermenegildo）。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

用于程序验证的约束Horn子句的分析和转换。 （英语） Zbl 07776353号

理论与实践。日志。程序。 22，第6期，974-1042（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，理论与实践。日志。程序。22，第6号，974--1042（2022；Zbl 07776353）
全文： 内政部 arXiv公司
OA许可证
朱利安·瓦内格

对抗逻辑。 （英语） Zbl 1524.68105号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 422-448 (2022).
MSC公司：68号30 03B70号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Vanegue}，莱克特。注释计算。科学。13790422--448（2022年；Zbl 1524.68105）
全文： 内政部
斯特凡尼德劳恩;约瑟夫·拉勒曼德

一票就足以分析隐私。 （英语） Zbl 1523.68019号

Atluri，Vijayalakshmi（编辑）等人，《计算机安全–ESORICS 2022》。第27届欧洲计算机安全研究研讨会，丹麦哥本哈根，2022年9月26日至30日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13554, 173-194 (2022).
MSC公司：68平方米25 68第27页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Delaune}和\textit{J.Lallemand}，莱克特。注释计算。科学。13554173-194（2022年；兹比尔1523.68019）
全文： 内政部 哈尔
洛伊奇费雷拉

用于受约束设备的隐私保护认证密钥交换。 （英语） Zbl 1509.68025号

Ateniese，Giuseppe（编辑）等人，《应用密码学和网络安全》。第20届国际会议，ACNS 2022，意大利罗马，2022年6月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13269, 293-312 (2022).
MSC公司：68平方米25 68英里11 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{L.Ferreira}，莱克特。注释计算。科学。13269，293--312（2022；Zbl 1509.68025）
全文： 内政部
塞尔达尔·埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森

终止非不相交的组合统一。 （英语） Zbl 07496644号

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

将ProVerify和自动定理证明器结合起来进行安全协议验证。 （英语） Zbl 07178986号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 354-365 (2019).
MSC公司：60年第68季度 68伏15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.L.Li}和\textit{A.Tiu}，Lect。注释计算。科学。11716、354--365（2019；Zbl 07178986）
全文： 内政部
马尔瓦·查伊布;米尔科·科西纳;Yousfi、Souheib;帕斯卡·拉福卡德;Riadh罗巴纳

DABSTERS：用于许可区块链的保护隐私的电子投票协议。 （英语） Zbl 07142682号

Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日，第16届国际学术讨论会，突尼斯哈马马特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11884, 292-312 (2019).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Chaieb}等人，Lect。注释计算。科学。11884、292--312（2019；Zbl 07142682）
全文： 内政部
丹尼尔·南特;佩雷斯（Jorge A.Pérez）。

安全性和通信正确性的相关过程语言（扩展抽象）。 （英语） 兹比尔1508.68249

Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10854, 79-100 (2018).
MSC公司：68问题85 68平方米25
PDF格式BibTeX公司 XML格式引用
\textit{D.Nantes}和\textit{J.A.Pérez}，莱克特。注释计算。科学。10854，79-100（2018年；Zbl 1508.68249）
全文： 内政部 哈尔
戴维·巴恩斯;克雷默斯，卡斯;凯瑟琳·梅多斯

模型检查安全协议。 （英语） Zbl 1392.68228号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。727-762 (2018).
MSC公司：60年第68季度 68个M12 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，in：模型检查手册。查姆：斯普林格。727--762（2018；Zbl 1392.68228）
全文： 内政部
塞尔吉·布尔苏克;克里斯蒂安·约翰森;徐世伟

自动验证信任协议的动态根。 （英语） Zbl 1444.68037号

Maffei，Matteo（编辑）等人，《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议，即2017年POST，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10204, 95-116 (2017).
MSC公司：68平方米25 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Bursuc}等人，Lect。注释计算。科学。10204，95-116（2017；Zbl 1444.68037）
全文： 内政部 arXiv公司
奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺

Alice和Bob：协调正式模型和实现。 （英语） Zbl 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年；兹比尔1434.68294）
全文： 内政部 链接
戴维·巴恩斯;米歇尔·凯勒;萨沙拉多米罗维奇;拉尔夫·萨西

爱丽丝和鲍勃遇到了等式理论。 （英语） 兹比尔1321.68343

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，160-180（2015）。
MSC公司：60年第68季度 68个M12 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，Lect。注释计算。科学。9200、160-180（2015年；Zbl 1321.68343）
全文： 内政部
布鲁诺·布兰切特

符号模型中安全协议的自动验证：验证器ProVerif。 （英语） Zbl 1448.68185号

Aldini，Alessandro（编辑）等人，《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。8604, 54-87 (2014).
MSC公司：68平方米25 60年第68季度 68问题85 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{B.Blanchet}，莱克特。注释计算。科学。8604，54-87（2014；Zbl 1448.68185）
全文： 内政部
詹妮克·德雷尔;帕斯卡·拉福卡德;亚辛·拉赫内奇

电子拍卖协议的正式验证。 （英语） Zbl 1390.68078号

David Basin（编辑）等人，《安全与信任原则》。2013年3月16日至24日在意大利罗马举行的第二届国际会议，即2013年POST，是欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36829-5/pbk）。计算机科学课堂讲稿7796247-266（2013）。
MSC公司：68个M12 68英里11 68第25页 60年第68季度 68吨15 91B26型
PDF格式BibTeX公司 XML格式引用
\textit{J.Dreier}等人，Lect。注释计算。科学。7796247-266（2013年；兹比尔1390.68078）
全文： 内政部
文森特·雪瓦尔;布鲁诺·布兰切特

证明与ProVerify的更多观测等价性。 （英语） Zbl 1391.94737号

David Basin（编辑）等人，《安全与信任原则》。2013年3月16日至24日在意大利罗马举行的第二届国际会议，即2013年POST，是欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36829-5/pbk）。计算机科学课堂讲稿7796，226-246（2013）。
MSC公司：94A60型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{V.Cheval}和\textit{B.Blanchet}，莱克特。注释计算。科学。7796，226--246（2013；Zbl 1391.94737）
全文： 内政部
拉杜·马特埃斯库;格温·萨拉恩

PIC2LNT：用于检查应用像素的模型转换。 （英语） Zbl 1381.68175号

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学讲义7795192-198（2013）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Mateescu}和\textit{G.Salaün}，Lect。注释计算。科学。7795，192--198（2013；Zbl 1381.68175）
全文： 内政部 哈尔
迈托·阿拉皮尼斯;塞尔吉·布尔苏克;马克·D·瑞恩。

简化方程理论以验证迹等价性：重加密、结合性和交换性。 （英语） Zbl 1353.68069号

Degano，Pierpaolo（编辑）等人，《安全与信任原则》。2012年3月24日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2012）的一部分，在爱沙尼亚塔林举行了第一届国际会议，即2012年邮政总局。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28640-7/pbk）。计算机科学课堂讲稿7215，169-188（2012）。
MSC公司：68第25页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Arapinis}等人，Lect。注释计算。科学。7215，169--188（2012；Zbl 1353.68069）
全文： 内政部
米里亚姆·帕奥拉;布鲁诺·布兰切特

使用列表验证安全协议：从长度1到无限长度。 （英语） 兹比尔1353.68021

Degano，Pierpaolo（编辑）等人，《安全与信任原则》。2012年3月24日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2012）的一部分，在爱沙尼亚塔林举行了第一届国际会议，即2012年邮政总局。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28640-7/pbk）。计算机科学课堂讲稿7215，69-88（2012）。
MSC公司：68个M12 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Paiola}和\textit{B.Blanchet}，莱克特。注释计算。科学。7215，69-88（2012；Zbl 1353.68021）
全文： 内政部
维罗尼克·科尔蒂尔;简·迪格里克;斯特凡尼德劳恩

分析路由协议：四个节点拓扑就足够了。 （英语） Zbl 1353.68020号

Degano，Pierpaolo（编辑）等人，《安全与信任原则》。2012年3月24日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2012）的一部分，在爱沙尼亚塔林举行了第一届国际会议，即2012年邮政总局。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28640-7/pbk）。计算机科学讲义7215，30-50（2012）。
MSC公司：68个M12 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{V.Cortier}等人，Lect。注释计算。科学。7215，30-50（2012；Zbl 1353.68020）
全文： 内政部
布鲁诺·布兰切特

安全协议验证：符号和计算模型。 （英语） Zbl 1297.68072号

Degano，Pierpaolo（编辑）等人，《安全与信任原则》。2012年3月24日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2012）的一部分，在爱沙尼亚塔林举行了第一届国际会议，即2012年邮政总局。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28640-7/pbk）。计算机科学课堂讲稿7215，3-29（2012）。
MSC公司：68第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{B.Blanchet}，莱克特。注释计算。科学。7215，3--29（2012；Zbl 1297.68072）
全文： 内政部
马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩

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公司
卡尔蒂基扬·巴尔干;塞德里克·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）
史蒂夫·克莱默;马克·瑞恩

对应用π演算中的电子投票协议的分析。 （英语） Zbl 1108.68462号

Sagiv，Mooly（编辑），《编程语言和系统》。2005年4月4日至8日在英国爱丁堡举行的第14届欧洲编程研讨会（ESOP 2005），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25435-8/pbk）。计算机科学课堂讲稿3444186-200（2005）。
MSC公司：68第25页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kremer}和\textit{M.Ryan}，莱克特。注释计算。科学。3444186-200（2005年；兹bl 1108.68462）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件