×

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

最新的 引文 关联
里卡多·福卡迪;弗拉米尼娅·卢西奥。

在串空间中保护密钥管理策略。 （英语） Zbl 1498.94060号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。13066, 175-197 (2021).
MSC公司：94A60型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Focardi}和\textit{F.L.Luccio}，莱克特。注释计算。科学。13066175-197（2021年；兹比尔1498.94060）
全文： 内政部
托马斯·施林普顿;马蒂恩·斯塔姆;沃林斯基，博格丹

密码API的模块化处理：对称密钥情况。 （英语） Zbl 1378.94063号

Robshaw，Matthew（编辑）等人，《密码学进展——密码2016》。2016年8月14日至18日在美国加利福尼亚州圣巴巴拉举行的第36届年度国际密码学会议。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-53017-7/pbk；978-3-562-53018-4/ebook）。计算机科学讲座笔记9814，277-307（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{T.Shrimpton}等人，Lect。注释计算。科学。9814，277--307（2016；Zbl 1378.94063）
全文： 内政部 链接
凯瑟琳·梅多斯

密码协议分析中形式化方法的新问题和趋势：十二年后。 （英语） Zbl 1322.94089号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学9200、475-492课堂讲稿（2015）。
MSC公司：94A60型 68个M12 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{C.Meadows}，莱克特。注释计算。科学。9200、475--492（2015年；Zbl 1322.94089）
全文： 内政部
托比·默里;加文·洛

关于精化的闭安全性质和不确定性组合。 （英语） 兹比尔1335.68179

Miller，Alice（编辑）等人，《第八届关键系统自动验证国际研讨会论文集》（AVoCS 2008），英国格拉斯哥，2008年9月30日至10月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第2期，49-68（2009）。
MSC公司：68问题85 68个M12 65年第68季度 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{T.Murray}和\textit{G.Lowe}，电子。注释Theor。计算。科学。250，编号2，49-68（2009；Zbl 1335.68179）
全文： 内政部
鲍里斯·科普夫;戴维·巴恩斯

同步系统的时间敏感信息流分析。 （英语） Zbl 1487.68068号

Gollmann，Dieter（编辑）等人，《计算机安全–ESORICS 2006》。第十一届欧洲计算机安全研究研讨会，德国汉堡，2006年9月18日至20日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。4189, 243-262 (2006).
MSC公司：68平方米25 65年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{B.Köpf}和\textit{D.Basin}，莱克托。注释计算。科学。4189243-262（2006年；兹bl 1487.68068）
全文： 内政部
罗伯托·戈里埃里;法比奥·马蒂内利;玛丽内拉·彼得罗奇

GNDC模式中信用和责任的形式化。 （英语） Zbl 1335.68014号

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

量化计算反应系统中的概率信息流。 （英语） Zbl 1487.68052号

de Capitani di Vimercati，Sabrina（编辑）等人，《计算机安全–ESORICS 2005》。第十届欧洲计算机安全研究研讨会，意大利米兰，2005年9月12-14日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。3679, 336-354 (2005).
MSC公司：68平方米25 68M10个 94A60型
PDF格式BibTeX公司 XML格式引用
\文本｛M.Backes｝，Lect。注释计算。科学。3679、336--354（2005；Zbl 1487.68052）
全文： 内政部
拉弗朗斯，圣潘;约翰·马林斯

基于互模拟的非确定性允许干扰及其在密码协议分析中的应用。 （英语） Zbl 1268.68129号

James Harland（编辑），CATS’02。计算：澳大利亚理论研讨会。第八届研讨会会议记录，2002年1月28日至2月1日，澳大利亚莫纳什。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记61154-177（2002）。
MSC公司：68问题85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Lafrance}和\textit{J.Mullins}，电子。注释Theor。计算。科学。61、154--177（2002年；Zbl 1268.68129）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件