×

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

最新的 引文 关联
桑贾姆·加格;阿披实·耆那;普拉泰·穆克吉;罗希特·辛哈;王明远;张一诺

加权密码：MPC、加密和签名。 （英语） Zbl 07799098号

Handschuh，Helena（编辑）等人，《密码学进展——密码2023》。第43届年度国际密码学会议，2023年8月20日至24日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2023。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。14081, 295-327 (2023).
MSC公司：94A60 64岁以下 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{S.Garg}等人，Lect。注释计算。科学。14081295-327（2023年；兹bl 07799098）
全文： 内政部
杨，范;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅

通过进程代数语义选择串空间。 （英语） 兹比尔1529.94036

Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 307-350 (2023).
MSC公司：94A60 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Yang}等人，Lect。注释计算。科学。13160307--350（2023年；Zbl 1529.94036）
全文： 内政部 arXiv公司
道尔顿奇切斯特;杜伟;雷蒙德·考夫曼;林，海;克里斯托弗·林奇;安德鲁·马歇尔。;凯瑟琳·梅多斯。;纳伦德兰，帕里斯;维埃娜·拉维珊卡;路易斯·罗维拉;布兰登·罗泽克

CryptoSolve：面向密码算法的符号分析工具。 （英语） Zbl 1530.94003号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370、147-161（2022）。
MSC公司：94-04 94A60
PDF格式BibTeX公司 XML格式引用
\textit{D.Chichester}等人，《电子》。程序。西奥。计算。科学。（EPTCS）370、147--161（2022年；Zbl 1530.94003）
全文： arXiv公司 链接
洛佩斯·鲁埃达，劳尔;圣地亚哥埃斯科瓦尔

具有不可约性和SMT约束的规范收缩作为通用符号协议分析方法。 （英语） Zbl 1517.94128号

Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，德国慕尼黑，第14届WRLA 2022国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13252, 45-64 (2022).
MSC公司：94A60 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{R.López-Rueda}和\textit{S.Escobar}，莱克托。注释计算。科学。13252，45-64（2022；Zbl 1517.94128）
全文： 内政部
塞巴斯蒂安·莫德谢姆

重写隐私。 （英语） Zbl 1514.68069号

Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，德国慕尼黑，第14届WRLA 2022国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13252, 22-41 (2022).
MSC公司：第68页第27页 94A60
PDF格式BibTeX公司 XML格式引用
\textit{S.Mödersheim}，莱克特。注释计算。科学。13252，22-41（2022；Zbl 1514.68069）
全文： 内政部
西尔万·平斯基

Joshua Guttman：开创性的海滨空间。 （英语） 兹比尔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）
全文： 内政部
里卡多·福卡迪;弗拉米尼娅·卢西奥。

在串空间中保护密钥管理策略。 （英语） 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）
全文： 内政部
阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜

具有时间和空间的协议分析。 （英语） Zbl 1498.94052号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 22-49 (2021).
MSC公司：94A60 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Aparicio-Sánchez}等人，Lect。注释计算。科学。13066，22-49（2021；Zbl 1498.94052）
全文： 内政部
凯瑟琳·梅多斯

在计算声音上移动条形图。 （英语） Zbl 1499.94048号

Bertino，Elisa（编辑）等人，《计算机安全–ESORICS 2021》。第26届欧洲计算机安全研究研讨会，德国达姆施塔特，2021年10月4日至8日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12973, 275-295 (2021).
MSC公司：94A60
PDF格式BibTeX公司 XML格式引用
\textit{C.Meadows}，莱克特。注释计算。科学。12973、275——295（2021年；Zbl 1499.94048）
全文： 内政部
伊格纳西奥·卡斯库多;大卫，贝尔纳多

ALBATROSS：基于秘密共享的公开可证明的批随机性。 （英语） 兹比尔1511.94173

Moriai，Shiho（编辑）等人，《密码学进展——亚洲密码2020》。第26届密码学和信息安全理论与应用国际会议，韩国大田，2020年12月7日至11日。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。12493, 311-341 (2020).
MSC公司：94A62型 94A60 65T50型
PDF格式BibTeX公司 XML格式引用
\textit{I.Cascudo}和\textit{B.David}，莱克特。注释计算。科学。12493、311--341（2020年；Zbl 1511.94173）
全文： 内政部 链接
阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜

随时间的协议分析。 （英语） Zbl 1492.94055号

Bhargavan，Karthikeyan（编辑）等人，《密码学进展——INDOCRYPT 2020》。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12578, 128-150 (2020).
MSC公司：94A60 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{D.Aparicio-Sánchez}等人，Lect。注释计算。科学。12578，128-150（2020；Zbl 1492.94055）
全文： 内政部 arXiv公司 链接
阿莫斯·贝梅尔;侯赛因·奥斯曼

不断演变的斜坡秘密共享与小差距。 （英语） Zbl 1479.94292号

Canteaut，Anne（编辑）等人，《密码学进展–EUROCRYPT 2020》。第39届密码技术理论与应用国际年会，克罗地亚萨格勒布，2020年5月10日至14日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12105, 529-555 (2020).
MSC公司：94A62型 94A60
PDF格式BibTeX公司 XML格式引用
\textit{A.Beimel}和\textit{H.Othman}，莱克特。注释计算。科学。121052529-555（2020年；Zbl 1479.94292）
全文： 内政部
杰拉西莫斯·梅利托。;迪米特里奥斯·特里安塔费卢。;迈克尔·弗拉哈蒂斯。

首次通过多项式的最大公约数研究斜坡秘密共享方案。 （英语） Zbl 1512.94115号

Daras，Nicholas J.（编辑）等人，《计算数学与变分分析》。查姆：斯普林格。Springer Optim公司。申请。159247-259（2020年）。
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit{G.C.Meletiu}等人，Springer Optim。申请。159247--259（2020年；Zbl 1512.94115）
全文： 内政部
李迪龙;蒂乌，阿尔文

将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）
全文： 内政部
巴伦·杜瓦里;黛巴斯·吉里

基于有限几何的理想的（t，n）多秘密共享方案。 （英语） Zbl 1420.94101号

Chandra，Peeyush（编辑）等人，《信息技术和应用数学》。2017年10月30日至11月1日，印度哈尔迪亚哈尔迪亚理工学院，2017年ICITAM。新加坡：斯普林格。高级智能。系统。计算。699, 85-94 (2019).
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit｛B.Duari｝和\textit｛D.Giri｝，Adv.Intell。系统。计算。699，85-94（2019；Zbl 1420.94101）
全文： 内政部
丹尼尔·多尔蒂（Daniel J.Dougherty）。;约书亚·D·古特曼。;约翰·D·拉姆斯代尔。

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

Furia，Carlo A.（编辑）等人，《综合形式方法》。2018年9月5日至7日，第14届国际会议，2018年国际单项体育联合会，爱尔兰Maynooth。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11023, 130-150 (2018).
MSC公司：94A60
PDF格式BibTeX公司 XML格式引用
\textit{D.J.Dougherty}等人，Lect。注释计算。科学。11023、130-150（2018；Zbl 1514.94078）
全文： 内政部
维罗尼克·科尔蒂尔;安托万·达隆;德莱恩，斯特凡尼

有效地确定标准原语和阶段的等价性。 （英语） 兹比尔1496.68060

Lopez，Javier（编辑）等人，《计算机安全》。第23届欧洲计算机安全研究研讨会，2018年ESORICS，西班牙巴塞罗那，2018年9月3-7日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11098, 491-511 (2018).
MSC公司：68平方米25 第68页第27页 94A60
PDF格式BibTeX公司 XML格式引用
\textit{V.Cortier}等人，Lect。注释计算。科学。11098、491--511（2018；Zbl 1496.68060）
全文： 内政部 哈尔
保罗·达科;罗伯托·德·普里斯科;阿尔弗雷多·德·桑提斯;天使佩雷斯·德尔·波佐;乌戈·瓦卡罗

概率秘密共享。 （英语） Zbl 1512.94108号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。117，第64条，第16页（2018年）。
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit{P.D'Arco}等人，LIPIcs——莱布尼茨国际程序。通知。117，第64条，第16页（2018；Zbl 1512.94108）
全文： 内政部
詹妮克·德雷尔;查尔斯·杜梅尼;史蒂夫·克莱默;拉尔夫·萨西

超越状态协议自动验证中的子rm收敛方程理论。 （英语） Zbl 1444.68040号

Maffei，Matteo（编辑）等人，《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议，即2017年POST，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10204, 117-140 (2017).
MSC公司：68平方米25 60年第68季度 94A60
PDF格式BibTeX公司 XML格式引用
\textit{J.Dreier}等人，Lect。注释计算。科学。10204、117--140（2017；Zbl 1444.68040）
全文： 内政部 哈尔
松本龙太郎;迭戈·鲁亚诺

经典和量子秘密共享的几何和计算方法。 （英语） Zbl 1383.81075号

Kotsireas，Ilias S.（编辑）等人，《计算机代数的应用》，希腊卡拉马塔，2015年7月20日至23日。查姆：施普林格（ISBN 978-3-319-56930-7/hbk；978-3-3169-56932-1/电子书）。《Springer Proceedings in Mathematics&Statistics》198，267-272（2017）。
MSC公司：81页94 94A62型 94A60 94B05型 81便士70
PDF格式BibTeX公司 XML格式引用
\textit｛R.Matsumoto｝和\textit｛D.Ruano｝，Springer Proc。数学。Stat.198，267--272（2017；Zbl 1383.81075）
全文： 内政部 链接
林，富春;萨法维·奈尼，雷哈内;王鹏伟

检测泄漏存储系统中的代数操作。 （英语） Zbl 1407.94137号

Nascimento，Anderson C.A.（编辑）等人，《信息论安全》。2016年8月9日至12日在美国华盛顿州塔科马举行的ICITS 2016第九届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10015, 129-150 (2016).
MSC公司：94A60 68第20页 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{F.Lin}等人，Lect。注释计算。科学。10015、129--150（2016年；Zbl 1407.94137）
全文： 内政部 arXiv公司
安德烈·博格丹诺夫;郭思尧;伊兰·科马尔戈德斯基

阈值秘密共享需要线性大小的字母表。 （英语） 兹比尔1412.94222

Hirt，Martin（编辑）等人，《密码学理论》。第14届国际会议，TCC 2016-B，中国北京，2016年10月31日至11月3日，会议记录。第二部分。柏林：施普林格。莱克特。注释计算。科学。9986, 471-484 (2016).
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit{A.Bogdanov}等人，Lect。注释计算。科学。9986471--484（2016年；Zbl 1412.94222）
全文： 内政部
Farrás，猎户座

非完美秘密共享方案的最新进展。 （英语） Zbl 1479.94316号

贝克曼，阿诺德（编辑）等人，《追求宇宙》。第十二届欧洲可计算性会议，2016年6月27日至7月1日，法国巴黎，CiE 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9709, 89-98 (2016).
MSC公司：94A62型 94A60
PDF格式BibTeX公司 XML格式引用
\textit{O.Farrás}，莱克特。注释计算。科学。9709、89-98（2016年；Zbl 1479.94316）
全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅

利用非质量约束的模方程理论进行符号协议分析。 （英语） Zbl 1437.94060号

Bodei，Chiara（编辑）等人，《应用于生物学和安全的编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 238-261 (2015).
MSC公司：94A60 68号30 03C05号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Escobar}等人，Lect。注释计算。科学。9465，238--261（2015；Zbl 1437.94060）
全文： 内政部
凯瑟琳·梅多斯

密码协议分析中形式化方法的新问题和趋势：十二年后。 （英语） 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平方米 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{C.Meadows}，莱克特。注释计算。科学。9200、475--492（2015年；Zbl 1322.94089）
全文： 内政部
戴维·巴恩斯;米歇尔·凯勒;萨沙拉多米罗维奇;拉尔夫·萨西

爱丽丝和鲍勃遇到了等式理论。 （英语） 兹比尔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平方米 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 1286.94081号

克劳迪娅·卡萨迪奥（编辑）等人，《逻辑、语言和物理中的类别和类型》。纪念吉姆·兰贝克90岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-54788-1/pbk）。计算机科学课堂讲稿8222，353-367（2014）。
MSC公司：94A60 18B10型
PDF格式BibTeX公司 XML格式引用
\textit{D.巴甫洛维奇}，莱克特。注释计算。科学。8222，353--367（2014；Zbl 1286.94081）
全文： 内政部 arXiv公司
Damgård，伊万;乔纳斯·柯克;托夫特·托马斯

安全计算、I/O高效算法和分布式签名。 （英语） Zbl 1292.94052号

Dunkelman，Orr（编辑），密码学主题–CT-RSA 2012。2012年2月27日至3月2日在美国加利福尼亚州旧金山举行的2012年RSA大会上，密码学家们的足迹。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27953-9/pbk）。计算机科学讲义7178，278-295（2012）。
MSC公司：94A60
PDF格式BibTeX公司 XML格式引用
\textit{I.Damgárd}等人，Lect。注释计算。科学。7178，278--295（2012；Zbl 1292.94052）
全文： 内政部
刘志强;克里斯托弗·林奇

同态异或的有效广义统一。 （英语） Zbl 1341.68195号

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。人工智能课堂讲稿，407-421（2011）。
MSC公司：第68页第15页 2012年第68季度 94A60
PDF格式BibTeX公司 XML格式引用
\textit{Z.Liu}和\textit{C.Lynch}，Lect。注释计算。科学。6803407--421（2011年；Zbl 1341.68195）
全文： 内政部
文森特·雪瓦尔;休伯特·科蒙·隆德;德莱恩，斯特凡尼

自动化安全分析：约束系统的符号等价。 （英语） Zbl 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）
全文： 内政部 链接
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西

变量缩小和方程统一。 （英语） Zbl 1347.68194号

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，103-119（2009）。
MSC公司：2012年第68季度 68问题85 94A60
PDF格式BibTeX公司 XML格式引用
\textit{S.Escobar}等人，《电子》。理论注释。计算。科学。238、3号、103--119（2009；Zbl 1347.68194）
全文： 内政部
尤罕·博伊库特;海姆，皮尔雷·科里尔;奥尔加·库什纳伦科

树自动机用于检测对带有代数密码原语的协议的攻击。 （英语） 兹比尔1347.94020

Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239，57-72（2009）。
MSC公司：94A60 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Boichut}等人，《电子》。理论注释。计算。科学。239、57-72（2009年；Zbl 1347.94020）
全文： 内政部
塞巴斯蒂安·莫德谢姆;卢卡·维甘诺

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

Aldini，Alessandro（编辑）等人，《安全分析和设计基础V.FOSAD 2007/2008/2009教程讲座》。柏林：施普林格出版社（ISBN 978-3-642-03828-0/pbk）。计算机科学讲座笔记5705166-194（2009）。
MSC公司：60年第68季度 68平方米 68第25页 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{S.Mödersheim}和\textit{L.Viganó}，莱克特。注释计算。科学。5705166--194（2009年；Zbl 1252.68193）
全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔

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）
全文： 内政部
高，韩;奇亚拉博迪;迪加诺，皮尔保罗

对安全协议上的复杂类型漏洞攻击的形式化分析。 （英语） Zbl 1170.94330号

Meseguer，José（编辑）等人，代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79979-5/pbk）。计算机科学课堂讲稿5140167-183（2008）。
MSC公司：94A60 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{H.Gao}等人，Lect。注释计算。科学。5140167--183（2008年；Zbl 1170.94330）
全文： 内政部 链接
娄天成;克利斯朵夫·塔塔利

多门限可变秘密共享方案的分析与设计。 （英语） Zbl 1362.94061号

Franklin，Matthew K.（编辑）等人，《密码学和网络安全》。第七届国际会议，CANS 2008，中国香港，2008年12月2-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89640-1/pbk）。《计算机科学讲义》5339196-213（2008）。
MSC公司：94A62型 94A60
PDF格式BibTeX公司 XML格式引用
\textit{T.Lou}和\textit{C.Tartary}，莱克特。注释计算。科学。5339，196--213（2008；Zbl 1362.94061）
全文： 内政部
6月Kurihara;清本，新坂;福岛，Kazuhide;田中，Toshiaki

一种新的（k，n）-门限秘密共享方案及其扩展。 （英语） Zbl 1182.94052号

Wu，Tzong-Chen（编辑）等，《信息安全》。2008年9月15日至18日，第11届国际会议，ISC 2008，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85884-3/pbk）。计算机科学课堂讲稿5222455-470（2008）。
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit{J.Kurihara}等人，Lect。注释计算。科学。5222、455--470（2008年；Zbl 1182.94052）
全文： 内政部
陈浩;罗纳德·克莱默;罗伯特·德·哈恩;伊格纳西奥·卡斯库多·普约

曲线上高次有理点的强乘法斜坡方案。 （英语） Zbl 1149.94309号

Smart，Nigel（编辑），《密码学进展–EUROCRYPT 2008》。2008年4月13日至17日，土耳其伊斯坦布尔，第27届密码技术理论与应用年度国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78966-6/pbk）。计算机科学课堂讲稿4965，451-470（2008）。
MSC公司：94A60 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{H.Chen}等人，Lect。注释计算。科学。4965、451--470（2008年；Zbl 1149.94309）
全文： 内政部
克莱尔·迪克森;玛丽·卡门·费尔南德斯·加戈;迈克尔·费希尔;范德霍克，威比

知识的时间逻辑及其在安全中的应用。 （英语） Zbl 1277.94051号

Dima，Cétélin（ed.）等人，《信息和计算机安全第一次研讨会论文集》（ICS 2006），罗马尼亚蒂米索拉，2006年9月30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记186，27-42（2007）。
MSC公司：94A62型 03B44号 60年第68季度 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{C.Dixon}等人，《电子》。理论注释。计算。科学。186、27-42（2007年；Zbl 1277.94051）
全文： 内政部
阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;阿纳布·罗伊

协议组合逻辑（PCL）。 （英语） 兹比尔1277.68033

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给Gordon Plotkin的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，311-358（2007）。
MSC公司：68平方米 03B70号 94A60
PDF格式BibTeX公司 XML格式引用
\textit{A.Datta}等人，《电子》。理论注释。计算。科学。172311--358（2007；Zbl 1277.68033）
全文： 内政部
亚尼克·骑士;丹尼斯·卢吉兹;米歇尔·鲁西诺维奇

使用子rms约束验证加密协议。 （英语） Zbl 1137.94341号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，181-195（2007）。
MSC公司：94A60 68平方米
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Chevalier｝等人，Lect。注释计算。科学。4790181--195（2007年；Zbl 1137.94341）
全文： 内政部
亚尼克·骑士;穆尼拉·库尔杰

密码协议符号分析中的密钥替换。 （英语） Zbl 1135.94326号

Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855121-132（2007）。
MSC公司：94A60 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Chevalier}和\textit{M.Kourjieh}，莱克特。注释计算。科学。4855121-132（2007年；Zbl 1135.94326）
全文： 内政部 arXiv公司
萨布丽娜·塔伦托

加密签名方案的机器检查安全证明。 （英语） Zbl 1487.94159号

de Capitani di Vimercati，Sabrina（编辑）等人，《计算机安全–ESORICS 2005》。第十届欧洲计算机安全研究研讨会，意大利米兰，2005年9月12-14日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。3679, 140-158 (2005).
MSC公司：94A62型 68V20型 94A60
PDF格式BibTeX公司 XML格式引用
\textit{S.Tarento}，莱克特。注释计算。科学。3679、140-158（2005年；Zbl 1487.94159）
全文： 内政部 链接
迪特尔·赫特;阿克塞尔·谢尔

加密通信中可能的信息流控制。 （英语） Zbl 1487.68066号

Samarati，Pierangela（编辑）等人，《计算机安全–ESORICS 2004》。第九届欧洲计算机安全研究研讨会，2004年9月13日至15日，法国索菲亚·安蒂波利斯。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。3193209-224（2004年）。
MSC公司：68平方米25 64岁以下 94A60
PDF格式BibTeX公司 XML格式引用
\textit{D.Hutter}和\textit{A.Schairer}，莱克特。注释计算。科学。3193、209--224（2004；Zbl 1487.68066）
全文： 内政部
迈克尔·巴克斯;比吉特·普菲茨曼;迈克尔·韦德纳

模拟加密库中的对称身份验证。 （英语） Zbl 1482.94039号

Snekkenes，Einar（编辑）等人，《计算机安全–ESORICS 2003》。第八届欧洲计算机安全研究研讨会，2003年10月13日至15日，挪威Gjövik。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2808, 271-290 (2003).
MSC公司：94A60 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{M.Backes}等人，Lect。注释计算。科学。2808271-290（2003年；兹比尔1482.94039）
全文： 内政部
路易斯娅·卡卢奇·艾略;法比奥·马萨奇

攻击公平交换协议：并行模型与跟踪模型。 （英语） Zbl 1268.94024号

Goubault-Larrecq，Jean（编辑），LACPV’2001。密码协议验证的逻辑方面。2001年7月23日，法国巴黎，第一次研讨会（CAV’01卫星研讨会）会议记录。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记55，第1期，51-68（2003）。
MSC公司：94A60 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{L.C.Aiello}和\textit{F.Massacci}，电子。理论注释。计算。科学。55，编号1，51--68（2003；Zbl 1268.94024）
全文： 内政部
J·米切尔。;A.拉马纳森。;A.斯克洛夫。;提格，V。

用于密码协议分析的概率多项式时间演算（初步报告）。 （英语） Zbl 1260.68109号

Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，280-310（2001）。
MSC公司：68号30 68问题85 94A60
PDF格式BibTeX公司 XML格式引用
\textit{J.Mitchell}等人，《电子》。理论注释。计算。科学。45280-310（2001年；Zbl 1260.68109）
全文： 内政部
约翰·舒曼

使用SETHEO自动验证加密协议。 （英语） Zbl 1430.68422号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1249, 87-100 (1997).
MSC公司：68伏15 94A60
PDF格式BibTeX公司 XML格式引用
\textit{J.舒曼}，莱克特。注释计算。科学。1249、87--100（1997年；Zbl 1430.68422）
全文： 内政部
沃尔克马尔，洛茨

威胁场景作为正式开发安全系统的手段。 （英语） 兹比尔1493.68045

Bertino，Elisa（编辑）等人，《计算机安全–ESORICS 96》。第四届欧洲计算机安全研究研讨会，意大利罗马，1996年9月25-27日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1146, 242-265 (1996).
MSC公司：68平方米25 60年第68季度 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{V.Lotz}，莱克特。注释计算。科学。1146、242--265（1996年；Zbl 1493.68045）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件