×

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

最新的 引文 相关性
西尔文·平斯基

Joshua Guttman：开创性的海滨空间。 （英语） Zbl 1498.68007号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 348-354 (2021).
MSC公司：68-03 94-03 68平方米25 68伏15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.平斯基}，莱克特。注释计算。科学。13066、348--354（2021；Zbl 1498.68007）
全文： DOI程序
穆拉德·阿洪多夫;费德里科·莫拉;尼克·冯;文森特·惠;玛莎·契契克

通过在程序片上赌博进行验证。 （英语） Zbl 1497.68282号

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 266-282 (2021).
MSC公司：60年第68季度 68号30 65年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Akhundov}等人，Lect。注释计算。科学。12971，266--282（2021；Zbl 1497.68282）
全文： DOI程序
Alireza Mahzoon;丹尼尔·格罗;罗尔夫·德雷克斯勒

Genmul：生成体系结构复杂的乘数来挑战正式的验证工具。 （英语） Zbl 07410746号

Drechsler，Rolf（编辑）等人，布尔技术的最新发现。第14届布尔问题国际研讨会论文集，IWSBP，虚拟，2020年9月24日至25日。查姆：斯普林格。177-191 (2021).
MSC公司：60年第68季度 2006年第68季度 94C11号机组
PDF格式BibTeX公司 XML格式引用
\textit{A.Mahzoon}等人，in：布尔技术的最新发现。第14届布尔问题国际研讨会论文集，IWSBP，虚拟，2020年9月24日至25日。查姆：斯普林格。177-191（2021；Zbl 07410746）
全文： DOI程序
安德烈亚斯·赫斯。;塞巴斯蒂安·莫德谢姆。;阿希姆·D·布鲁克。

有状态协议组成。 （英语） Zbl 1496.68065号

Lopez，Javier（编辑）等人，《计算机安全》。第23届欧洲计算机安全研究研讨会，2018年ESORICS，西班牙巴塞罗那，2018年9月3-7日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11098, 427-446 (2018).
MSC公司：68平方米25 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Hess}等人，Lect。注释计算。科学。11098，427--446（2018；Zbl 1496.68065）
全文： DOI程序 链接
马克·乔伊

基于身份的密码系统和二次剩余。 （英语） Zbl 1388.94062号

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，225-254（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Joye}，莱克特。注释计算。科学。9614，225--254（2016年；Zbl 1388.94062）
全文： DOI程序
赖俊佐;罗伯特·H·邓。;马，常熟;樱井，口一;翁，Jian

CCA安全密钥全同态加密。 （英语） Zbl 1388.94067号

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，70-98（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Lai}等人，Lect。注释计算。科学。9614，70-98（2016年；兹bl 1388.94067）
全文： DOI程序 链接
高弘松田;花冈、果一郎

交易明文-可模拟性，以实现选定的密文安全。 （英语） Zbl 1388.94073号

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。《计算机科学讲义》9614，3-34（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{T.Matsuda}和\textit{G.Hanaoka}，莱克特。注释计算。科学。9614，3--34（2016；Zbl 1388.94073）
全文： DOI程序
雷诺德·克莱维尔;劳伦斯·皮埃尔;雷吉斯·勒沃格尔

使用PVS进行稳健性分析。 （英语） Zbl 1342.68281号

Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，71-86（2011）。
MSC公司：68吨15 94立方厘米10 94C12号机组
PDF格式BibTeX公司 XML格式引用
\textit{R.Clavel}等人，Lect。注释计算。科学。6898，71--86（2011；Zbl 1342.68281）
全文： DOI程序
塞巴斯蒂安·莫德谢姆;卢卡·维甘诺

用于安全协议符号分析的开源定点模型检查器。 （英语） Zbl 1252.68193号

Aldini，Alessandro（编辑）等人，《安全分析和设计基础V.FOSAD 2007/2008/2009教程讲座》。柏林：施普林格出版社（ISBN 978-3-642-03828-0/pbk）。计算机科学讲座笔记5705166-194（2009）。
MSC公司：60年第68季度 68个M12 68第25页 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{S.Mödersheim}和\textit{L.Viganó}，莱克特。注释计算。科学。5705166--194（2009年；Zbl 1252.68193）
全文： DOI程序
贾努斯·布尔佐夫斯基;米哈埃拉·乔尔吉

瞬变代数中的门电路。 （英语） Zbl 1075.94034号

西奥。通知。申请。 39，第1号，67-91（2005）.
审核人：特尔曼·阿利耶夫（巴库）
MSC公司：94C12号机组 06年06月06日 94立方厘米10
PDF格式BibTeX公司 XML格式引用
\textit{J.Brzozowski}和\textit{M.Gheorghiu}，Theor。通知。申请。39，第1号，67--91（2005；Zbl 1075.94034）
全文： DOI程序 Numdam编号 Numdam编号 欧洲DML

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件