×

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

最新的 引文 关联
艾尔维拉·阿尔伯特；贝尔斯·穆尼奥斯（Bellés-Muñoz），玛尔塔；米盖尔·伊莎贝尔；克拉拉·罗德里格斯·努涅斯；阿尔伯特·鲁比奥

提取零知识协议中的约束。 （英语） Zbl 1514.68081号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。13371, 430-443 (2022).
MSC公司：第68季度11 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，Lect。票据计算。科学。13371430-443（2022年；Zbl 1514.68081）
全文： 内政部
伊曼纽尔·贝里尼；亚历山德罗·德·皮科利；鲁西迪·马卡里姆；波兰人，塞尔吉奥；洛伦佐·里瓦；安德烈亚·维斯康蒂

使用SAT解算器对简化的SHA-1进行图像前搜索的新记录。 （英语） Zbl 1498.94053号

Giri，Debasis（ed.）等人，《第七届数学与计算国际会议论文集》，ICMC 2021，印度Shibpur，2021年3月2日至5日。新加坡：施普林格。高级智能。系统。计算。1412, 141-151 (2022).
MSC公司：94A60型 68第25页 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.Bellini}等人，高级情报。系统。计算。1412、141--151（2022年；Zbl 1498.94053）
全文： 内政部
迈克尔·巴克斯；塞巴斯蒂安·梅瑟；多米尼克·施罗德

可删除的功能签名。 （英语） Zbl 1388.94088号

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，357-386（2016）。
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit{M.Backes}等人，Lect。票据计算。科学。9614，357--386（2016；Zbl 1388.94088）
全文： 内政部
罗向玉；苏凯乐；顾，明；吴丽君；杨金吉

草食协议中检验知识的符号模型。 （英语） Zbl 1327.68037号

范德梅登（van der Meyden）、罗恩（Ron）等，《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-20673-3/pbk）。计算机科学课堂讲稿6572。人工智能课堂讲稿，112-129（2011）。
MSC公司：68个M12 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{X.Luo}等人，Lect。票据计算。科学。6572112-129（2011年；Zbl 1327.68037）
全文： 内政部
法比奥·马萨奇；约翰·米洛波洛斯；尼古拉·赞诺

在具有委托的层次化希波克拉底数据库中实现最小程度的公开。 （英语） Zbl 1487.68091号

de Capitani di Vimercati，Sabrina（编辑）等人，《计算机安全–ESORICS 2005》。第十届欧洲计算机安全研究研讨会，意大利米兰，2005年9月12-14日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。3679, 438-454 (2005).
MSC公司：第68页，共15页 68第27页 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{F.Massacci}等人，Lect。票据计算。科学。3679、438--454（2005；Zbl 1487.68091）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

出版年份

主字段

全部的 前3名

软件