×

找到577个文档（结果1-100）

最新的 引文 关联
阿查里亚、阿纳苏亚;卡米特·哈扎伊;奥克萨那州波布里纳亚;Muthuramakrishnan的Venkitasubramaniam

两全其美。重温间谍头目双重间谍问题。 （英语） Zbl 07799099号

Handschuh，Helena（编辑）等人，《密码学进展——密码2023》。第43届年度国际密码学会议，2023年8月20日至24日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2023。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。14081, 328-359 (2023).
MSC公司：94A60 68N20型 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{A.Acharya}等人，Lect。注释计算。科学。14081、328--359（2023；Zbl 07799099）
全文： 内政部
Hind伊德里西;穆罕默德·恩纳巴乌伊

增强的匿名ECC身份验证，用于TMIS中的轻量级应用程序。 （英语） Zbl 1522.94104号

El Hajji，Said（编辑）等人，《代码、密码学和信息安全》。第四届国际会议，C2SI 2023，摩洛哥拉巴特，2023年5月29日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13874, 290-320 (2023).
MSC公司：94A62型 94A60 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{H.Idrissi}和\textit{M.Ennahbaoui}，莱克特。注释计算。科学。13874290-320（2023年；Zbl 1522.94104）
全文： 内政部
劳尔·洛佩斯·鲁埃达;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜

一种用于通用符号协议分析的具有不可约性和SMT约束的高效规范收缩实现。 （英语） Zbl 07741961号

J.日志。阿尔盖布。方法计划。 135，文章ID 100895，27 p.（2023）.
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{R.López-Rueda}等人，J.Log。阿尔盖布。方法计划。135，文章ID 100895，27 p.（2023；Zbl 07741961）
全文： 内政部 arXiv公司
安德烈亚·亚历山大。;艾丽卡·布鲁姆;乔纳森·卡茨;损失，朱利安

在不断变化的网络条件下进行状态机复制。 （英语） Zbl 1524.68010号

Agrawal，Shweta（编辑）等人，《密码学进展——亚洲密码2022》。第28届密码学与信息安全理论与应用国际会议，台湾台北，2022年12月5日至9日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13791, 681-710 (2023).
MSC公司：68M10个 68平方米 68平方米25 94A60 94A62型
PDF格式BibTeX公司 XML格式引用
\文本{A.B.Alexandru}等人，Lect。注释计算。科学。13791、681至710（2023年；兹比尔1524.68010）
全文： 内政部
马克·詹德里

增强的随机预言。 （英语） Zbl 1517.94168号

Dodis，Yevgeniy（编辑）等人，《密码学进展——密码2022》。第42届国际密码学年会，2022年8月15日至18日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2022。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。13509, 35-65 (2022).
MSC公司：94A60
PDF格式BibTeX公司 XML格式引用
\textit{M.Zhandry}，莱克特。注释计算。科学。13509，35-65（2022；Zbl 1517.94168）
全文： 内政部
克里斯蒂安·马特;杰斯珀·布乌斯·尼尔森;瑟伦·埃勒·汤姆森

形式化延迟自适应损坏和泛洪网络的安全性。 （英语） Zbl 1515.68087号

Dodis，Yevgeniy（编辑）等人，《密码学进展——密码2022》。第42届国际密码学年会，2022年8月15日至18日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2022。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13508, 400-430 (2022).
MSC公司：68平方米25 68M10个 68平方米 68兰特 94A60
PDF格式BibTeX公司 XML格式引用
\textit{C.Matt}等人，Lect。注释计算。科学。13508400-430（2022；Zbl 1515.68087）
全文： 内政部 链接
薛英杰;莫里斯·赫利希

受邀论文：跨链状态机复制。 （英语） Zbl 1522.68072号

Devismes，Stéphane（编辑）等人，《分布式系统的稳定、安全和保障》。第24届国际研讨会，SSS 2022，法国克莱蒙特-弗莱德，2022年11月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13751, 51-65 (2022).
MSC公司：64岁以下 68平方米 68米15 68平方米25
PDF格式BibTeX公司 XML格式引用
\textit{Y.Xue}和\textit{M.Herlihy}，莱克特。注释计算。科学。13751、51-65（2022年；Zbl 1522.68072）
全文： 内政部 arXiv公司
马塞洛·桑帕约·德·阿伦卡尔

密码和网络安全。 （英语） Zbl 1510.68003号

River出版商安全和数字取证系列Gistrup：River出版社；伦敦：Routledge（ISBN 978-87-7022-407-9/hbk；978-1-003-33776-8/电子书）。xiii，第293页。(2022).
MSC公司：68-01 68M10个 68英里11 68平方米 68平方米25 68页30 94A60
PDF格式BibTeX公司 XML格式引用
\textit{M.Sampaio de Alencar}，《加密和网络安全》。Gistrup：River出版社；伦敦：劳特利奇（2022；Zbl 1510.68003）
全文： 内政部
洛佩斯·鲁埃达，劳尔;圣地亚哥埃斯科瓦尔

具有不可约性和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）
全文： 内政部
斯奈希尔·乔希;潘迪，杜尔盖什;坎南州斯利纳坦

ATSSIA：异步真阈值Schnorr签名，用于不一致的可用性。 （英语） Zbl 07628044号

Park，Jong Hwan（编辑）等人，《信息安全与密码学——ICISC 2021》。第24届国际会议，韩国首尔，2021年12月1日至3日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13218, 71-91 (2022).
MSC公司：68平方米25 68第25页 94A60
PDF格式BibTeX公司 XML格式引用
\textit{S.Joshi}等人，Lect。注释计算。科学。13218，71-91（2022；Zbl 07628044）
全文： 内政部
拉里·彼得森。;戴维，布鲁斯·S。

计算机网络。系统方法。第6版。 （英语） Zbl 1473.68007号

阿姆斯特丹：Elsevier/Morgan Kaufmann（ISBN 978-0-12-818200-0/pbk；978-0-12-818201-7/ebook）。xxvi，817页。(2022).
审核人：Józef Woźniak（哥丹斯克）
MSC公司：68-01 68M10个 68英里11 68平方米 68平方米25
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Peterson}和\textit{B.S.Davie}，计算机网络。系统方法。第6版。阿姆斯特丹：Elsevier/Morgan Kaufmann（2022；Zbl 1473.68007）
乔纳森·卡茨;损失，朱利安;迈克尔·罗森博格

提高盲签名方案的安全性。 （英语） Zbl 1514.94153号

Tibouchi，Mehdi（编辑）等人，《密码学进展——亚洲密码2021》。第27届密码学和信息安全理论与应用国际会议，新加坡，2021年12月6日至10日。诉讼程序。第四部分查姆：斯普林格。莱克特。注释计算。科学。13093, 468-492 (2021).
MSC公司：94A62型 94A60 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{J.Katz}等人，Lect。注释计算。科学。13093、468--492（2021年；Zbl 1514.94153）
全文： 内政部
契丹·卡马特;凯伦·克莱恩;彼得扎克（Pietrzak，Krzysztof）;迈克尔·沃尔特

图上安全游戏的自适应成本。 （英语） Zbl 1511.94115号

Nissim，Kobbi（编辑）等人，《密码学理论》。第19届国际会议，TCC 2021，罗利，北卡罗来纳州，美国，2021年11月8-11日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。第13043页，第550-581页（2021年）。
MSC公司：94A60 05第57页 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{C.Kamath}等人，Lect。注释计算。科学。13043550-581（2021年；兹比尔1511.94115）
全文： 内政部
伊泰·亚伯拉罕;吉拉德·阿沙罗夫;阿维沙·亚奈

高效、完全安全的计算，具有最佳弹性。 （英语） Zbl 1511.94036号

Nissim，Kobbi（编辑）等人，《密码学理论》。第19届国际会议，TCC 2021，罗利，北卡罗来纳州，美国，2021年11月8-11日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13043, 66-96 (2021).
MSC公司：94A60
PDF格式BibTeX公司 XML格式引用
\textit{I.Abraham}等人，Lect。注释计算。科学。13043，66-96（2021；Zbl 1511.94036）
全文： 内政部
Brandon Broadnax公司;杰里米亚斯·梅克勒;纽伦·穆勒·奎德

根据标准（定时）假设，在平面模型中进行环境友好的可组合多方计算。 （英语） Zbl 1509.94072号

Nissim，Kobbi（编辑）等人，《密码学理论》。第19届国际会议，TCC 2021，罗利，北卡罗来纳州，美国，2021年11月8-11日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13042, 750-781 (2021).
MSC公司：94A60 68第25页 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{B.Broadnax}等人，Lect。注释计算。科学。13042750-781（2021年；Zbl 1509.94072）
全文： 内政部
亚历山德罗·布鲁尼;马尔科·卡博尼;罗萨里奥·朱斯托利西;塞巴斯蒂安·莫德谢姆;卡斯滕·舒尔曼

安全协议作为舞蹈。 （英语） Zbl 1499.94036号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 98-111 (2021).
MSC公司：94A60 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Bruni}等人，Lect。注释计算。科学。13066，98-111（2021；Zbl 1499.94036）
全文： 内政部 链接
伊格纳西奥·德尔加多·洛扎诺（Ignacio M.Delgado-Lozano）。;马丁内斯·罗德里格斯，Macarena C。;亚历山大·巴卡斯;比利·鲍勃·布鲁姆利;安东尼斯·米查拉斯

认证波：通过远程功率分析的平台信任。 （英语） Zbl 1498.68052号

Conti，Mauro（编辑）等人，《密码学和网络安全》。第20届国际会议，CANS 2021，奥地利维也纳，2021年12月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13099, 460-482 (2021).
MSC公司：68平方米25 68平方米 94A62型
PDF格式BibTeX公司 XML格式引用
\文本{I.M.Delgado-Lozano}等人，Lect。注释计算。科学。13099、460-482（2021；Zbl 1498.68052）
全文： 内政部 arXiv公司
简·博博尔茨;费边·艾登斯;斯蒂芬·克伦;塞巴斯蒂安·拉马赫;凯·萨梅林

发卡行-隐藏基于属性的凭据。 （英语） Zbl 1493.94028号

Conti，Mauro（编辑）等人，《密码学和网络安全》。第20届国际会议，CANS 2021，奥地利维也纳，2021年12月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13099, 158-178 (2021).
MSC公司：94A60 94A62型 68平方米25
PDF格式BibTeX公司 XML格式引用
\textit{J.Bobolz}等人，Lect。注释计算。科学。13099，158--178（2021；Zbl 1493.94028）
全文： 内政部
洛伊奇费雷拉

Sigforgery：破坏和修复Sigfox中的数据真实性。 （英语） Zbl 07543960号

Borisov，Nikita（编辑）等人，《金融加密和数据安全》。第25届国际会议，FC 2021，虚拟活动，2021年3月1日至5日。修订了选定的论文。第一部分柏林：施普林格。莱克特。注释计算。科学。12674, 331-350 (2021).
MSC公司：68第25页 68平方米 94A60
PDF格式BibTeX公司 XML格式引用
\textit{L.Ferreira}，莱克特。注释计算。科学。12674、331--350（2021；Zbl 07543960）
全文： 内政部
埃米尔·赫茨伯格;赫米·莱博维茨;西塔，埃瓦;萨拉·沃托尼亚克

MoSS：模块化安全规范框架。 （英语） Zbl 1486.94107号

Malkin，Tal（ed.）等人，《密码学进展——CRYPTO 2021》。第41届国际密码学年会，2021年8月16日至20日，CRYPTO 2021，虚拟事件。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。12827, 33-63 (2021).
MSC公司：94A60
PDF格式BibTeX公司 XML格式引用
\textit{A.Herzberg}等人，Lect。注释计算。科学。12827、33-63（2021年；Zbl 1486.94107）
全文： 内政部
尤瓦尔·伊斯海;达克希塔·库拉纳;阿米特·沙海;阿克沙亚拉姆·斯里尼瓦桑

关于黑盒安全MPC的全面复杂性。 （英语） Zbl 1486.94111号

Malkin，Tal（编辑）等人，《密码学进展-密码2021》。第41届国际密码学年会，2021年8月16日至20日，CRYPTO 2021，虚拟事件。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12826, 214-243 (2021).
MSC公司：94A60 68平方米 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{Y.Ishai}等人，Lect。注释计算。科学。12826、214--243（2021；Zbl 1486.94111）
全文： 内政部
安东尼奥·冈萨雷斯-伯格尼奥（Antonio González-Burgueño）;彼得·塞巴·奥维茨基

使用ANP和PDL中的异构设备规范和分析安全仪式。 （英语） Zbl 1528.68049号

J.日志。阿尔盖布。方法计划。 122，文章ID 100685，27 p.（2021）.
MSC公司：68平方米25 03B70号 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{A.González-Burgueño}和\textit{P.C.Ølveczky}，J.Log。阿尔盖布。方法计划。122，文章ID 100685，27 p.（2021；Zbl 1528.68049）
全文： 内政部 哈尔
音乐，卢卡;雪莲骑士;埃勒姆·卡舍菲

消除关于叠加攻击的误解：正式的安全模型和攻击分析。 （英语） 兹比尔1511.94143

Nguyen，Khoa（编辑）等人，《可证明的和实际的安全》。第14届国际会议，ProvSec 2020，新加坡，2020年11月29日至12月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12505, 318-337 (2020).
MSC公司：94A60 81页94
PDF格式BibTeX公司 XML格式引用
\textit{L.音乐}等人，Lect。注释计算。科学。12505318--337（2020年；Zbl 1511.94143）
全文： 内政部 arXiv公司
亚历山大·科赫;斯特凡·沃尔泽

基于卡的主动安全加密的基础。 （英语） Zbl 1516.94038号

Farach-Colton，Martin（编辑）等人，第十届算法乐趣国际会议。2021年5月30日至2021年6月1日，意大利西西里岛法维格纳纳岛。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。第157条，第17条，第23页（2020年）。
MSC公司：94A60 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Koch}和\textit{S.Walzer}，LIPIcs——莱布尼茨国际程序。通知。157，第17条，第23页（2020年；Zbl 1516.94038）
全文： 内政部
维罗尼克·科尔蒂尔

验证安全协议（受邀演讲）。 （英语） Zbl 07650814号

Fernández，Maribel（编辑）等人，第28届EACSL计算机科学逻辑年会，CSL 2020，西班牙巴塞罗那，2020年1月13日至16日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。152，第1条，第2页（2020年）。
MSC公司：68倍 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{V.Cortier}，LIPIcs——莱布尼茨国际程序。通知。152，第1条，第2页（2020；Zbl 07650814）
全文： 内政部
宁、建亭;黄新毅;Poh，Geong Sen先生;徐胜民;罗家昌;翁，Jian;罗伯特·H·邓。

Pine：支持TLS上的隐私保护深度包检查，具有规则隔离和快速连接建立功能。 （英语） Zbl 1524.68044号

Chen，Liqun（编辑）等人，《计算机安全–ESORICS 2020》。第25届欧洲计算机安全研究研讨会，ESORICS 2020，英国吉尔福德，2020年9月14日至18日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12308，3-22（2020）。
MSC公司：68平方米25 68M10个 68平方米 68第25页 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{J.Ning}等人，Lect。注释计算。科学。12308、3-22（2020年；Zbl 1524.68044）
全文： 内政部 链接
徐世伟;赵益智;任正伟;吴玲娟;佟燕;张焕国

用于系统分析基于TEE的协议的符号模型。 （英语） Zbl 1511.68049号

孟伟志（编辑）等，《信息与通信安全》。第22届国际会议，ICICS 2020，丹麦哥本哈根，2020年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12282, 126-144 (2020).
MSC公司：68平方米25 60年第68季度 94A60
PDF格式BibTeX公司 XML格式引用
\textit{S.Xu}等人，Lect。注释计算。科学。12282，126--144（2020；Zbl 1511.68049）
全文： 内政部
米歇尔·齐安比;罗伯托·帕里塞拉;丹尼尔·文丘里

关于延迟输入sigma协议和Fiat-Shamir NIZK的自适应安全性。 （英语） Zbl 1506.94034号

Galdi，Clemente（编辑）等人，《网络安全与加密》。第十二届国际会议，SCN 2020，意大利阿马尔菲，2020年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12238, 670-690 (2020).
MSC公司：94A60 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Ciampi}等人，Lect。注释计算。科学。12238670-690（2020年；兹比尔1506.94034）
全文： 内政部 链接
梅丽莎·蔡斯;苗族、佩罕

来自轻量级遗忘PRF的互联网设置中的私用集交集。 （英语） 兹比尔1504.94118

Micciancio，Daniele（编辑）等人，《密码学进展——密码2020》。第40届国际密码学年会，2020年8月17日至21日，美国加利福尼亚州圣巴巴拉，CRYPTO 2020。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。12172, 34-63 (2020).
MSC公司：94A60 68平方米25 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{M.Chase}和\textit{P.Miao}，莱克特。注释计算。科学。12172，34-63（2020；Zbl 1504.94118）
全文： 内政部
萨夫拉迪普查克拉波蒂;斯特凡·齐姆博夫斯基;杰斯珀·布乌斯·尼尔森

主动安全MPC的反向防火墙。 （英语） Zbl 1504.94117号

Micciancio，Daniele（编辑）等人，《密码学进展——密码2020》。第40届国际密码学年会，2020年8月17日至21日，美国加利福尼亚州圣巴巴拉，CRYPTO 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12171, 732-762 (2020).
MSC公司：94A60 68第25页 68平方米25
PDF格式BibTeX公司 XML格式引用
\textit{S.Chakraborty}等人，Lect。注释计算。科学。12171、732--762（2020；Zbl 1504.94117）
全文： 内政部
伊曼纽埃莱·德苏亚尔多;费利克斯·斯图兹

用于验证具有无限会话的密码协议的可确定归纳不变量。 （英语） Zbl 07559487号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。171，第31条，第23页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.D'osualdo}和\textit{F.Stutz}，LIPIcs——莱布尼茨国际程序。通知。171，第31条，第23页（2020；Zbl 07559487）
全文： 内政部 arXiv公司
刘志昌、陈达;尤利·莫雷尔

同步构造加密。 （英语） Zbl 1485.94108号

Pass，Rafael（编辑）等人，《密码学理论》。第18届国际会议，TCC 2020，美国北卡罗来纳州达勒姆，2020年11月16-19日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12551, 439-472 (2020).
MSC公司：94A60 68第25页 64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{C.-D.刘志昌}和\textit{U.Maurer}，莱克特。注释计算。科学。12551、439--472（2020；Zbl 1485.94108）
全文： 内政部
Hiwatashi、Keitaro;Ohata、Satsuya;Koji，努伊达

一种高效的安全划分协议，使用近似的多位乘积和新的恒速构建块。 （英语） Zbl 07314291号

Conti，Mauro（编辑）等人，《应用密码学和网络安全》。2020年10月19-22日在意大利罗马举行的ACNS 2020第18届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12146, 357-376 (2020).
MSC公司：68平方米25 94A60
PDF格式BibTeX公司 XML格式引用
\textit{K.Hiwatashi}等人，Lect。注释计算。科学。12146，357--376（2020；Zbl 07314291）
全文： 内政部
阿南德·艾耶;梁，肖;尼鲁，纳里尼;欧姆坎·潘迪

随机行走和并发零知识。 （英语） Zbl 07314275号

Conti，Mauro（编辑）等人，《应用密码学和网络安全》。2020年10月19-22日在意大利罗马举行的ACNS 2020第18届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12146, 24-44 (2020).
MSC公司：68平方米25 94A60
PDF格式BibTeX公司 XML格式引用
\textit{A.Aiyer}等人，Lect。注释计算。科学。12146，24-44（2020；Zbl 07314275）
全文： 内政部
泽维尔·布尔特尔;詹妮克·德雷尔;Jean-Guillaume杜马;帕斯卡·拉福卡德

一个更快的密码学家的阴谋圣诞老人。 （英语） Zbl 1453.68081号

西奥。计算。科学。 839, 122-134 (2020).
MSC公司：2010年第68季度 第68页第27页 2017年第68季度 65年第68季度 91A12号机组 91A68型 94A60
PDF格式BibTeX公司 XML格式引用
\textit{X.Bultel}等人，Theor。计算。科学。839、122--134（2020年；Zbl 1453.68081）
全文： 内政部 arXiv公司
马塞·霍瓦思;利文特·布蒂安;加博尔·塞凯利;多拉·诺伊布兰特

总有一个例外：在安全计算中控制部分信息泄漏。 （英语） Zbl 1446.68025号

Seo，Jae Hong（编辑），《信息安全与密码学——ICISC 2019》。第22届国际会议，韩国首尔，2019年12月4-6日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11975, 133-149 (2020).
MSC公司：68平方米25 94A60
PDF格式BibTeX公司 XML格式引用
\textit{M.Horváth}等人，Lect。注释计算。科学。11975、133--149（2020；Zbl 1446.68025）
全文： 内政部
卡尔蒂基扬·巴尔干;普拉萨德·纳尔德堡

现实世界密码学的实用形式方法（特邀演讲）。 （英语） Zbl 1519.94053号

Chattopadhyay，Arkadev（ed.）等人，第39届IARCS软件技术和理论计算机科学基础年会，2019年12月11-13日，印度孟买，FSTTCS 2019。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。150，第1条，第12页（2019年）。
MSC公司：94A60 60年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{K.Bhargavan}和\textit{P.Naldurg}，LIPIcs——莱布尼茨国际程序。通知。150，第1条，第12页（2019年；Zbl 1519.94053）
全文： 内政部
塞巴斯蒂安·贡德隆;塞巴斯蒂安·莫德谢姆

使用字母-贝塔隐私规范化和证明投票协议的隐私属性。 （英语） Zbl 1496.68136号

Sako，Kazue（编辑）等人，《计算机安全–ESORICS 2019》。第24届欧洲计算机安全研究研讨会，卢森堡，2019年9月23日至27日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11735, 535-555 (2019).
MSC公司：第68页第27页 94A60
PDF格式BibTeX公司 XML格式引用
\textit{S.Gondron}和\textit{S.Mödersheim}，莱克特。注释计算。科学。11735、535--555（2019年；Zbl 1496.68136）
全文： 内政部 链接
科林·博伊德;克里斯蒂安·戈斯汀;克莱门蒂·格里蒂;托马斯·海恩斯

在不可靠的网络上进行否决投票的盲券机制。 （英语） Zbl 1453.68024号

Hao，Feng（编辑）等人，《密码学进展——2019年INDOCRYPT》。2019年12月15日至18日在印度海得拉巴举行的第20届国际密码学会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11898, 250-270 (2019).
MSC公司：68平方米25 68平方米 94A60
PDF格式BibTeX公司 XML格式引用
\textit{C.Boyd}等人，Lect。注释计算。科学。11898，250-270（2019；Zbl 1453.68024）
全文： 内政部 链接
塞巴斯蒂安·卡纳德;洛伊奇费雷拉

将三方ACCE和应用扩展到LoRaWAN 1.1。 （英语） Zbl 1454.94057号

Buchmann，Johannes（编辑）等人，《密码学进展——2019年非洲密码》。2019年7月9日至11日在摩洛哥拉巴特举行的第十一届非洲密码学国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11627, 21-38 (2019).
MSC公司：94A60 68英里11 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{S.Canard}和\textit{L.Ferreira}，Lect。注释计算。科学。11627、21-38（2019年；Zbl 1454.94057）
全文： 内政部
阿格洛斯·凯亚斯;帕纳乔塔科斯、乔戈斯

区块链中的树、链和快速交易。 （英语） Zbl 1454.94116号

Lange，Tanja（编辑）等人，《密码学进展——LATINCRYPT 2017》。2017年9月20日至22日，第五届拉丁美洲密码学和信息安全国际会议，古巴哈瓦那。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11368, 327-351 (2019).
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kiayias}和\textit{G.Panagiotakos}，莱克特。注释计算。科学。11368、327--351（2019年；Zbl 1454.94116）
全文： 内政部 链接
A.M.库丁。;科瓦伦科，B.A。;I.V.施维琴科。

区块链技术：分析和综合问题。 （英语。俄文原件） Zbl 1443.68029号

赛博。系统。分析。 55，第3期，488-495（2019）；翻译自Kibern。修女。分析。2019年，第3期，第164-172页（2019年）。
MSC公司：64岁以下 68平方米 68平方米25 94A60
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Kudin}等人，Cybern。系统。分析。55，第3号，488--495（2019；Zbl 1443.68029）；翻译自Kibern。修女。分析。2019年，第3期，164--172（2019）
全文： 内政部
安藤美美;安娜·利桑斯卡娅;伊莱·厄普法尔

实用且安全的洋葱路由。 （英语） Zbl 1499.68044号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。107，第144条，第14页（2018年）。
MSC公司：68平方米25 68平方米 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{M.Ando}等人，LIPIcs——莱布尼茨国际程序。通知。107，第144条，第14页（2018；Zbl 1499.68044）
全文： 内政部 arXiv公司
德莱恩，斯特凡尼

分析加密协议中的隐私类型属性（受邀演讲）。 （英语） 兹比尔1462.68017

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。108，第1条，第21页（2018年）。
MSC公司：68平方米25 68平方米 60年第68季度 94A60
PDF格式BibTeX公司 XML格式引用
\textit｛S.Delaune｝，LIPIC——莱布尼茨国际会议记录。通知。108，第1条，第21页（2018；Zbl 1462.68017）
全文： 内政部
亚历山德罗·比安奇;塞巴斯蒂亚诺（Sebastiano）匹兹吉罗（Pizzutilo）;根纳罗·维西奥

MANET中拦截黑洞攻击：基于ASM的模型。 （英语） Zbl 1461.68047号

Cerone，Antonio（编辑）等人，《软件工程和形式化方法》。2017年SEFM并置研讨会：2017年9月4日至5日，意大利特伦托，DataMod、FAACS、MSE、CoSim-CPS和FOCLASA。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10729, 137-152 (2018).
MSC公司：68平方米25 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{A.Bianchi}等人，Lect。注释计算。科学。10729、137--152（2018；Zbl 1461.68047）
全文： 内政部
卡米特·哈扎伊;艾曼纽拉·奥西尼;彼得·斯科尔;爱德华多·索里亚·瓦兹克斯

TinyKeys：一种高效多方计算的新方法。 （英语） 兹比尔1446.94135

Shacham，Hovav（编辑）等人，《密码学进展——密码2018》。2018年8月19日至23日，第38届国际密码学年会，美国加利福尼亚州圣巴巴拉。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。10993, 3-33 (2018).
MSC公司：94A60
PDF格式BibTeX公司 XML格式引用
\textit{C.Hazay}等人，Lect。注释计算。科学。10993，3--33（2018；Zbl 1446.94135）
全文： 内政部 链接
Nhu Tuan Nguyen;Vu Son Dang先生

DC编程和DCA，用于增强基于SNR方法的放大和前向中继波束形成网络中的物理层安全性。 （英语） Zbl 1429.68024号

Le，Nguyen-Thinh（ed.）等人，《知识工程的高级计算方法》，《第五届计算机科学、应用数学和应用国际会议论文集》，2017年6月30日至7月1日，德国柏林。查姆：斯普林格。高级智能。系统。计算。629, 23-33 (2018).
MSC公司：68平方米 94A60
PDF格式BibTeX公司 XML格式引用
\textit{N.T.Nguyen}和\textit{V.S.Dang}，高级情报。系统。计算。629、23-33（2018年；Zbl 1429.68024）
全文： 内政部
里沙布·巴达乌里亚;阿什什·乔杜里

简要声明：异步安全分布式计算与可传输无歧义重温。 （英语） Zbl 1428.68059号

第37届ACM分布式计算原理研讨会论文集，PODC'18，英国埃格姆，2018年7月23日至27日。纽约州纽约市：计算机协会（ACM）。265-267 (2018).
MSC公司：64岁以下 68平方米 68平方米25 68宽15 94A60
PDF格式BibTeX公司 XML格式引用
\textit{R.Bhadauria}和\textit{A.Choudhury}，in：第37届ACM分布式计算原理研讨会论文集，PODC’18，英国埃格姆，2018年7月23日至27日。纽约州纽约市：计算机协会（ACM）。265--267（2018；Zbl 1428.68059）
全文： 内政部
布丽塔·黑尔

用户中介的身份验证协议和密钥冲突中的不可伪造性。 （英语） Zbl 1443.94091号

Baek，Joonsang（编辑）等人，《可证明安全性》。2018年10月25日至28日，第12届国际会议，ProvSec 2018，韩国济州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11192287-396（2018）中描述。
MSC公司：94A62型 94A60 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{B.Hale}，莱克特。注释计算。科学。11192387--396（2018年；Zbl 1443.94091）
全文： 内政部
伯特伦，诗人

更短的双重身份验证，防止小地址空间的签名。 （英语） Zbl 1423.94132号

Joux，Antoine（编辑）等人，《密码学进展——2018年非洲密码》。第十届非洲密码学国际会议，摩洛哥马拉喀什，2018年5月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10831, 344-361 (2018).
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit{B.诗人}，莱克特。注释计算。科学。10831344--361（2018；Zbl 1423.94132）
全文： 内政部
Sasaki，Tatsuya先生;巴蒂赫·马蒂亚斯·阿格博尔;Masuda、Shingo;Yu-ichi Hayashi;高崎水木;Sone，Hideaki先生

从均匀泄漏的密钥交换完整图中放大密钥。 （英语） Zbl 1498.68058号

Rahman，M.Sohel（编辑）等人，《WALCOM：算法和计算》。2018年3月3日至5日在孟加拉国达卡举行的2018年WALCOM第12届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10755, 20-31 (2018).
MSC公司：68平方米25 68平方米 68兰特 91A43型 94A60
PDF格式BibTeX公司 XML格式引用
\textit{T.Sasaki}等人，Lect。注释计算。科学。10755，20-31（2018年；兹比尔1498.68058）
全文： 内政部
陈倩斌（编辑）;孟伟晓（编辑）;赵丽强（编辑）

通信和网络。2016年9月24日至26日，第11届EAI国际会议，中国通信2016，中国重庆。诉讼程序。第一部分。 （英语） Zbl 1375.94010号

计算机科学、社会信息学和电信工程研究所讲稿209.查姆：施普林格（ISBN 978-3-319-66624-2/pbk；978-3-3169-66625-9/电子书）。xxii，516页。(2018).
MSC公司：94-06 94A05型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{Q.Chen}（编辑）等，《通信与网络》。2016年9月24日至26日，第11届EAI国际会议，中国通信2016，中国重庆。诉讼程序。第一部分查姆：施普林格（2018；Zbl 1375.94010）
全文： 内政部
马修·鲍尔。;罗希特·查达;马赫什·维斯瓦纳坦

在存在随机性的情况下对协议等价性进行模块化验证。 （英语） Zbl 1496.68058号

Foley，Simon N.（编辑）等人，《计算机安全–ESORICS 2017》。第22届欧洲计算机安全研究研讨会，挪威奥斯陆，2017年9月11-15日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。10492, 187-205 (2017).
MSC公司：68平方米25 68平方米 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.S.Bauer}等人，莱克特。注释计算。科学。10492、187--205（2017；Zbl 1496.68058）
全文： 内政部 链接
库沙尔·巴别尔;文森特·雪瓦尔;史蒂夫·克莱默

验证等价属性时的通信模型。 （英语） Zbl 1444.68035号

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

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件