×

找到982个文档(结果1-100)

mdTLS:如何使中间件TLS更有效? (英语) Zbl 07857824号

Seo,Hwajeong(编辑)等人,《信息安全与密码学——ICISC 2023》。第26届信息安全和密码学国际会议,ICISC 2023,韩国首尔,2023年11月29日至12月1日。修订了选定的论文。第二部分。新加坡:斯普林格。莱克特。注释计算。科学。14562, 39-59 (2024).
PDF格式BibTeX公司 XML格式引用

具有距离约束的连续引用。 (英语) Zbl 07857784号

Kalyanasundaram、Subrahmanyam(编辑)等人,《算法和离散应用数学》。第十届国际会议,CALDAM 2024,印度比莱,2024年2月15日至17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14508, 3-13 (2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

噪声排序的最佳边界。 (英语) Zbl 07844688号

Saha,Barna(编辑)等人,第55届ACM SIGACT计算理论研讨会论文集,STOC’23,美国佛罗里达州奥兰多,2023年6月20日至23日。纽约州纽约市:计算机协会(ACM)。1502-1515 (2023).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

多代理合同。 (英语) Zbl 07844673号

Saha,Barna(编辑)等人,第55届ACM SIGACT计算理论研讨会论文集,STOC’23,美国佛罗里达州奥兰多,2023年6月20日至23日。纽约州纽约市:计算机协会(ACM)。1311-1324 (2023).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

硬币问题的最佳显式小深度公式。 (英语) 兹伯利07844638

Saha,Barna(编辑)等人,第55届ACM SIGACT计算理论研讨会论文集,STOC’23,美国佛罗里达州奥兰多,2023年6月20日至23日。纽约州纽约市:计算机协会(ACM)。881-894 (2023).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有多对数步长复杂性的无等待队列。 (英语) Zbl 07824318号

Oshman,Rotem(ed.)等人,第42届ACM分布式计算原理研讨会论文集,PODC'23,美国佛罗里达州奥兰多,2023年6月19日至23日。纽约州纽约市:计算机协会(ACM)。124-134 (2023).
MSC公司:64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用

关于有限阿贝尔群元系统的计算复杂性。 (英语。俄文原件) Zbl 07805960号

莫斯克。大学数学。牛市。 78,编号4,179-187(2023); 由Vestn翻译。莫斯科。州立大学。I 78,第4期,22-29(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

已认证删除的加密。 (英语) Zbl 1532.94031号

Handschuh,Helena(编辑)等人,《密码学进展——密码2023》。第43届年度国际密码学会议,2023年8月20日至24日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2023。诉讼程序。第五部分查姆:施普林格。莱克特。注释计算。科学。14085, 192-223 (2023).
PDF格式BibTeX公司 XML格式引用

抗破坏和快照不经意RAM的限制。 (英语) Zbl 1532.94058号

Handschuh,Helena(编辑)等人,《密码学进展——密码2023》。第43届年度国际密码学会议,2023年8月20日至24日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2023。诉讼程序。第四部分查姆:斯普林格。莱克特。注释计算。科学。14084, 161-196 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机连续泛函的提取率。 (英语) Zbl 07787628号

Genova,Daniela(编辑)等人,《非传统计算和自然计算》。第20届国际会议,UCNC 2023,美国佛罗里达州杰克逊维尔,2023年3月13日至17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14003, 46-63 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

El Hajji,Said(编辑)等人,《代码、密码学和信息安全》。第四届国际会议,C2SI 2023,摩洛哥拉巴特,2023年5月29日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13874, 290-320 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

WOTSwana:广义的\(\mathcal{宋体}_{\mathrm{leeve}})多重所有权证明的构造。 (英语) 兹伯利07730591

Seo,Seung-Hyun(编辑)等人,《信息安全与密码学——ICISC 2022》。2022年11月30日至12月2日在韩国首尔举行的第25届ICISC 2022国际会议。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13849, 491-511 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

QMaude:重写逻辑中的定量规范和验证。 (英语) Zbl 1529.68163号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 240-259 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全协议验证器ProVerif及其Horn子句解析算法。 (英语) Zbl 07806140号

Hamilton,Geoffrey W.(ed.)等人,《验证与合成用Horn条款第九次研讨会和验证与程序转换第十次国际研讨会会议记录》,HCVS/VPT 2022,德国慕尼黑,2022年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)373,14-22(2022)。
MSC公司:68倍 94-XX年
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

马尔可夫模型中的参数综合:一项温和的调查。 (英语) Zbl 1528.68226号

Raskin,Jean-François(编辑)等人,《系统设计原理》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 407-437 (2022).
PDF格式BibTeX公司 XML格式引用

对抗逻辑。 (英语) Zbl 1524.68105号

Singh,Gagandeep(编辑)等人,《静态分析》。第29届国际研讨会,SAS 2022,新西兰奥克兰,2022年12月5-7日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13790, 422-448 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用路径查询精确学习多棵树和近似树。 (英语) 兹伯利07719351

Castañeda,Armando(编辑)等人,《拉丁2022:理论信息学》。第十五届拉丁美洲研讨会,墨西哥瓜纳华托,2022年11月7-11日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13568, 293-311 (2022).
PDF格式BibTeX公司 XML格式引用

聚类路径旅行商问题的一种近似算法。 (英语) Zbl 1522.90169号

倪秋芬(编辑)等,《信息和管理中的算法方面》。第16届国际会议,2022年8月13日至14日,中国广州,AAIM 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13513, 15-27 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全多方计算的随机复杂性的严格界限。 (英语) Zbl 1517.94104号

Dodis,Yevgeniy(编辑)等人,《密码学进展——密码2022》。第42届国际密码学年会,2022年8月15日至18日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2022。诉讼程序。第四部分查姆:斯普林格。莱克特。注释计算。科学。13510, 483-513 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时、恒定空间、恒定随机验证器。 (英语) Zbl 07572324号

Caron,Pascal(编辑)等人,《自动机的实现和应用》。第26届国际会议,CIAA 2022,法国鲁昂,2022年6月28日至7月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13266, 212-224 (2022).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

Borůvka最小生成树算法的关系代数验证。 (英语) Zbl 07670521号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13027, 225-240 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

改进欧氏最小权拉曼图的边交叉总数的上下界。 (英语) Zbl 07670467号

Chen,Chi-Yeh(编辑)等,《计算与组合学》。第27届国际会议,COCOON 2021,台湾台南,2021年10月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13025, 244-256 (2021).
MSC公司:68卢比
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

在线二维矢量打包和建议。 (英语) Zbl 07667144号

Calamoneri,Tiziana(编辑)等人,《算法与复杂性》。第十二届国际会议,CIAC 2021,虚拟活动,2021年5月10日至12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12701, 381-393 (2021).
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用

自适应算法的脆弱复杂性。 (英语) Zbl 07667127号

Calamoneri,Tiziana(编辑)等人,《算法与复杂性》。第十二届国际会议,CIAC 2021,虚拟活动,2021年5月10日至12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12701, 144-157 (2021).
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

协议模型的概率注释。献给约书亚·古特曼。 (英语) Zbl 1498.68056号

Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13066, 332-347 (2021).
PDF格式BibTeX公司 XML格式引用

关于时间敏感分布式系统验证的复杂性。 (英语) Zbl 1498.68161号

Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13066, 251-275 (2021).
PDF格式BibTeX公司 XML格式引用

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

Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13066, 175-197 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全协议作为舞蹈。 (英语) Zbl 1499.94036号

Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13066, 98-111 (2021).
MSC公司:94A60型 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

(\mathsf{DY}^{star}\)的辅导式介绍。 (英语) 兹比尔1498.94055

Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13066, 77-97 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

平面内凸多边形障碍物之间的布线。 (英语) Zbl 07550509号

杜定珠(编辑)等,组合优化与应用。第十五届国际会议,COCOA 2021,中国天津,2021年12月17日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13135, 1-11 (2021).
MSC公司:68分20秒 90C27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

认证波:通过远程功率分析的平台信任。 (英语) Zbl 1498.68052号

Conti,Mauro(编辑)等人,《密码学和网络安全》。第20届国际会议,CANS 2021,奥地利维也纳,2021年12月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13099, 460-482 (2021).
PDF格式BibTeX公司 XML格式引用

遗忘RAM的对数下界(对于所有参数)。 (英语) Zbl 1489.94102号

Malkin,Tal(编辑)等人,《密码学进展-密码2021》。第41届国际密码学年会,2021年8月16日至20日,CRYPTO 2021,虚拟事件。诉讼程序。第四部分查姆:斯普林格。莱克特。注释计算。科学。12828, 579-609 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

FIDO2的可证明安全性分析。 (英语) Zbl 07512097号

Malkin,Tal(编辑)等人,《密码学进展-密码2021》。第41届国际密码学年会,2021年8月16日至20日,CRYPTO 2021,虚拟事件。诉讼程序。第三部分查姆:斯普林格。莱克特。注释计算。科学。12827, 125-156 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单向函数意味着量子世界中的安全计算。 (英语) Zbl 1487.81036号

Malkin,Tal(编辑)等人,《密码学进展-密码2021》。第41届国际密码学年会,2021年8月16日至20日,CRYPTO 2021,虚拟事件。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12825, 467-496 (2021).
PDF格式BibTeX公司 XML格式引用

在重通道WSPD窗格上路由。 (英语) Zbl 07498707号

Lubiw,Anna(编辑)等人,《算法和数据结构》。第17届国际研讨会,WADS 2021,虚拟活动,2021年8月9日至11日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12808, 613-626 (2021).
MSC公司:68第05页 68瓦xx
PDF格式BibTeX公司 XML格式引用

方形和立方体的在线垃圾箱包装。 (英语) Zbl 07498689号

Lubiw,Anna(编辑)等人,《算法和数据结构》。第17届国际研讨会,WADS 2021,虚拟活动,2021年8月9日至11日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12808, 357-370 (2021).
MSC公司:68第05页 68瓦xx
PDF格式BibTeX公司 XML格式引用

时间图中最短的最快路径。 (英语) Zbl 07405950号

Uehara,Ryuhei(编辑)等人,WALCOM:算法和计算。2021年2月28日至3月2日,缅甸仰光WALCOM 15第15届国际会议和研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12635, 40-51 (2021).
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最长公共增子序列问题的快速次二次算法。 (英语) Zbl 07765362号

曹一新(编辑)等,第31届算法与计算国际研讨会,国际会计准则委员会2020年,中国香港,虚拟会议,2020年12月14日至18日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。181,第4条,第12页(2020年)。
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用

带有斯坦纳点的轻型欧几里德扳手。 (英语) Zbl 07651206号

Grandoni,Fabrizio(编辑)等人,第28届欧洲算法年会。《2020年欧洲航天局》,2020年9月7日至9日,意大利比萨,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。173,第67条,第22页(2020年)。
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用

并行重建生物和数字系统发育树。 (英语) Zbl 07651142号

Grandoni,Fabrizio(编辑)等人,第28届欧洲算法年会。欧空局2020,2020年9月7日至9日,意大利比萨,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。173,第3条,第24页(2020年)。
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用

追踪等价和认知逻辑来表示安全属性。 (英语) Zbl 1511.68185号

Gotsman,Alexey(编辑)等人,分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议,FORTE 2020,作为第15届分布式计算技术国际联合会议的一部分,于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12136, 115-132 (2020).
PDF格式BibTeX公司 XML格式引用

稀疏图上弱鸽子洞原理和完美匹配公式的指数分辨率下界。 (英语) Zbl 07561756号

Saraf,Shubhangi(编辑),第35届计算复杂性会议,CCC 2020,2020年7月28日至31日,德国萨尔布吕肯,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。169,第28条,第24页(2020年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

传记参考

全部的 前3名

软件