×

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

最新的 引文 关联
理查德·巴纳赫

验证导向的智能合约。 （英语） Zbl 1520.91440号

Braccali，Andrea（编辑）等人，《金融加密和数据安全》。2019年2月18日至22日在圣基茨和尼维斯举行的2019年FC国际研讨会、投票和WTSC，修订了部分论文。查姆：斯普林格。莱克特。票据计算。科学。11599, 106-121 (2020).
MSC公司：91克99 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Banach}，莱克特。票据计算。科学。11599，106-121（2020；Zbl 1520.91440）
全文： 内政部
丹尼尔·多尔蒂（Daniel J.Dougherty）。；约书亚·D·古特曼。；约翰·D·拉姆斯代尔。

上下文中的安全协议分析：使用SMT和CPSA计算最小执行数。 （英语） Zbl 1514.94078号

Furia，Carlo A.（编辑）等，《综合形式方法》。2018年9月5日至7日，第14届国际会议，2018年国际单项体育联合会，爱尔兰Maynooth。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。第11023130-150页（2018）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.J.Dougherty}等人，Lect。票据计算。科学。11023、130-150（2018；Zbl 1514.94078）
全文： 内政部
克里希南德·查特吉；戈哈沙迪·阿米尔·卡夫什达尔；拉斯穆斯·易卜森·延森；纱线维纳

用于分析密码攻击的遍历平均值游戏。 （英语） Zbl 1520.94045号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第11条，第17页（2018年）。
MSC公司：94A60型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。118，第11条，第17页（2018；Zbl 1520.94045）
全文： 内政部 arXiv公司
Peter Y.A.Ryan。

加密圣诞老人。 （英语） Zbl 1405.94086号

Ryan，Peter Y.A.（编辑）等，《新的代码破坏者》。纪念大卫·卡恩85岁生日的文章。柏林：施普林格出版社（ISBN 978-3-662-49300-7/pbk；978-3-62-49301-4/电子书）。计算机科学讲义9100，543-549（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{P.Y.A.Ryan}，莱克特。票据计算。科学。9100、543--549（2016；Zbl 1405.94086）
全文： 内政部
安德烈亚斯·胡尔辛；Joost Rijneveld公司；宋芳

在基于哈希的签名中缓解多目标攻击。 （英语） Zbl 1388.94092号

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。第19届IACR公钥密码学实践与理论国际会议，台湾台北，2016年3月6日至9日。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，387-416（2016）。
MSC公司：94A62型 81页94
PDF格式BibTeX公司 XML格式引用
\textit{A.Hülsing}等人，Lect。票据计算。科学。9614，387--416（2016；Zbl 1388.94092）
全文： 内政部 链接
克里希南德·查特吉；维什瓦纳斯·拉曼

数字合同签署的综合协议。 （英语） Zbl 1325.94115号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148152-168（2012）。
MSC公司：94A60型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{V.Raman}，莱克特。票据计算。科学。7148152--168（2012年；Zbl 1325.94115）
全文： 内政部
托马斯·布雷班特

Coquet：用于验证硬件的Coq库。 （英语） Zbl 1350.68226号

Jouannaud，Jean-Pierre（编辑）等人，认证程序和证明。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，330-345（2011）。
MSC公司：68吨15 60年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Braibant}，莱克特。票据计算。科学。7086330-345（2011年；Zbl 1350.68226）
全文： 内政部 arXiv公司 链接
邓玉欣；卡图西亚帕拉米德斯；庞、军

弱概率匿名性。 （英语） Zbl 1277.68027号

Michael Backes（编辑）等人，《安全与并发国际研讨会论文集》（SecCo 2005），美国加利福尼亚州旧金山，2005年8月22日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》180，第1期，55-76（2007）。
MSC公司：68英里11 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}等人，《电子》。注释Theor。计算。科学。180，编号1，55--76（2007；Zbl 1277.68027）
全文： 内政部
奥赞，西蒙；埃里克·德文克

通过可靠网络签订多方合同。 （英语） Zbl 1335.68015号

Mauw，S.（ed.）等人，《第一届安全与信任管理国际研讨会论文集》（STM 2005），意大利米兰，2005年9月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》157，第3期，27-41（2006）。
MSC公司：68个M12 68问题85 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{S.Orzan}和\textit{E.de Vink}，电子。注释Theor。计算。科学。157，第3号，27--41（2006；Zbl 1335.68015）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件