汉斯·范·迪特马什;大卫·费尔南德斯·杜克;维什纳维桑达拉扬;S.P.苏雷什。 谁持有最好的卡片?最佳秘密比特的安全通信。 (英语) Zbl 1468.94419号 澳大利亚。J.库姆。 80,第1部分,1-29(2021).MSC公司:94A60型 94A62型 91A28型 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,澳大利亚。J.库姆。80,第1部分,1-29(2021;兹bl 1468.94419) 全文: 链接
A.巴斯卡。;拉马努贾姆,R。;苏雷什,S.P。 结合盲对算子的Dolev-Yao理论。 (英语) Zbl 1455.94122号 Hospodár,Michal(编辑)等人,《自动机的实现和应用》。2019年7月22日至25日在斯洛伐克科希策举行的CIAA 2019第24届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11601, 58-69 (2019).MSC公司:94A60型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Baskar}等人,Lect。注释计算。科学。11601、58-69(2019年;Zbl 1455.94122) 全文: 内政部
阿卜杜拉·阿卜杜勒·卡迪尔;马达瓦恩·穆昆德;S.P.苏雷什。 协议中的知识转移和信息泄漏。 (英语) Zbl 1495.68023号 D’Souza,Deepak(编辑)等人,《验证和分析自动化技术》。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10482, 225-240 (2017).MSC公司:68平方米25 2010年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Khadir}等人,Lect。注释计算。科学。10482225-240(2017年;Zbl 1495.68023) 全文: 内政部
萨维塔,R。;苏雷什,S。;新泽西州Sundararajan。 全复值松弛网络的元认知学习算法。 (英语) Zbl 1254.68223号 神经网络。 32, 209-218 (2012).MSC公司:68T05型 92B20型 94甲12 PDF格式BibTeX公司 XML格式引用 \textit{R.Savitha}等人,神经网络。32209--218(2012;Zbl 1254.68223) 全文: 内政部
拉马努贾姆,R。;S.P.苏雷什。 安全协议对可判定认知逻辑的挑战。 (英语) Zbl 1317.03023号 van Benthem,Johan(编辑)等人,《游戏、规范和理由》。十字路口的逻辑。多德雷赫特:施普林格出版社(ISBN 978-94-007-0713-9/hbk;978-94-007-0920-1/套;978-94-007-0714-6/电子书)。Synthese Library 353,215-231(2011)。MSC公司:03B42型 03年2月25日 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.P.Suresh},Synth。伦敦银行同业拆借利率。353、215——231(2011年;兹bl 1317.03023) 全文: 内政部
A.巴斯卡。;拉马努贾姆,R。;S.P.苏雷什。 具有分布式加密的DEXPTIME完备Dolev-Yao理论。 (英语) Zbl 1287.94050号 Hliněn,Petr(ed.)等人,《2010年计算机科学的数学基础》。2010年8月23日至27日,第35届国际研讨会,MFCS 2010,捷克共和国布尔诺。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15154-5/pbk)。计算机科学课堂讲稿6281102-113(2010)。MSC公司:94A60型 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Baskar}等人,Lect。注释计算。科学。6281、102-113(2010年;Zbl 1287.94050) 全文: 内政部
安古拉吉·巴斯卡;拉马努贾姆,R。;S.P.苏雷什。 零知识的Dolev-Yao模型。 (英语) Zbl 1273.94337号 Datta,Anupam(编辑),《计算机科学进展——2009年亚洲》。信息安全和隐私。第十三届亚洲计算科学会议,韩国首尔,2009年12月14-16日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-10621-7/pbk)。计算机科学课堂讲稿5913,137-146(2009)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Baskar}等人,Lect。注释计算。科学。5913、137--146(2009年;Zbl 1273.94337) 全文: 内政部
拉马努贾姆,R。;S.P.苏雷什。 安全协议的(受限的)量词消除。 (英语) Zbl 1153.94008号 西奥。计算。科学。 367,编号1-2,228-256(2006).MSC公司:94A62型 03年2月25日 03C10号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.P.Suresh},Theor。计算。科学。367,编号1--2,228--256(2006;Zbl 1153.94008) 全文: 内政部
拉马努贾姆,R。;S.P.苏雷什。 基于信息的安全协议推理。 (英语) Zbl 1268.94030号 Goubault-Larrecq,Jean(编辑),LACPV’2001。密码协议验证的逻辑方面。2001年7月23日,法国巴黎,第一次研讨会(CAV’01卫星研讨会)会议记录。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》55,第1期,85-100(2003)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.P.Suresh},电子。注释Theor。计算。科学。55,第1号,85--100(2003;Zbl 1268.94030) 全文: 内政部
拉马努贾姆,R。;S.P.苏雷什。 标记使保密性也可以通过无界的nonce来决定。 (英语) Zbl 1205.94097号 Pandya,Paritosh K.(编辑)等人,FST TCS 2003:软件技术和理论计算机科学基础。第23届会议,印度孟买,2003年12月15日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20680-9/pbk)。莱克特。注释计算。科学。2914, 363-374 (2003).MSC公司:94A60型 68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.P.Suresh},莱克特。注释计算。科学。2914、363--374(2003年;Zbl 1205.94097) 全文: 内政部