斯科特·卫斯理;玛丽亚·克里斯塔基斯;豪尔赫·纳瓦斯(Jorge A.Navas)。;理查德·特雷弗勒;瓦伦丁·Wüstholz;阿里·古芬克尔 通过通信抽象对智能合约进行组合验证。 (英语) Zbl 1497.68321号 Drágoi,Cezara(编辑)等人,《静态分析》。第28届国际研讨会,SAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12913, 429-452 (2021).MSC公司:60年第68季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Wesley}等人,Lect。注释计算。科学。12913,429--452(2021;Zbl 1497.68321) 全文: 内政部 arXiv公司
瑞典雅各布斯;穆罕默德·萨克尔 急切策略惰性合成的符号算法。 (英语) Zbl 1435.68198号 学报信息。 57,编号1-2,81-106(2020).MSC公司:60年第68季度 68T20型 91A80型 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}和\textit{M.Sakr},《学报》第57期,第1--2,81-106号(2020年;Zbl 1435.68198) 全文: 内政部
罗德里克·布洛姆;瑞典雅各布斯;亚基尔·维泽尔 高效的信息流验证—在推测执行下。 (英语) Zbl 1437.68111号 Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,亚视2019,台湾台北。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11781, 499-514 (2019).MSC公司:60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,Lect。注释计算。科学。11781、499--514(2019年;Zbl 1437.68111) 全文: 内政部
安妮·凯瑟琳·施穆克;鲁帕克·马朱姆达尔;阿德里安·莱瓦 动态分层反应控制器综合。 (英语) Zbl 1379.93048号 离散事件动态。系统。 27,第2期,261-299(2017).MSC公司:93B40码 93甲15 93甲13 93亿B50 91A65型 93C85号 94C15号机组 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人,离散事件动态。系统。27,第2号,261--299(2017;Zbl 1379.93048) 全文: 内政部 arXiv公司
杨,范;杨国武;郝玉杰 通过模型检查建立量子密码协议中窃听方法的模型库。 (英语) Zbl 1358.81097号 国际J.Theor。物理学。 55,第7号,3414-3427(2016).MSC公司:81页94 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.Yang}等人,国际期刊Theor。物理学。55,第7号,3414--3427(2016;Zbl 1358.81097) 全文: 内政部
甘纳·哈东;比约恩凯德尔;亚历山大·科赫;杰西卡·科赫;安迪·鲁普 容错聚合签名。 (英语) Zbl 1388.94091号 Cheng,Chen-Mou(编辑)等,公开密钥加密——PKC 2016。第19届IACR公钥密码学实践与理论国际会议,台湾台北,2016年3月6日至9日。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲座笔记9614,331-356(2016)。MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{G.Hartung}等人,Lect。注释计算。科学。9614、331--356(2016年;Zbl 1388.94091) 全文: 内政部
普拉蒂斯·达塔;拉塔·杜塔;苏拉夫·穆霍帕德海伊 内部产品的功能加密,具有完整的功能隐私。 (英语) Zbl 1388.94046号 Cheng,Chen-Mou(编辑)等,公开密钥加密——PKC 2016。第19届IACR公钥密码学实践与理论国际会议,台湾台北,2016年3月6日至9日。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲座笔记9614,164-195(2016)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Datta}等人,Lect。注释计算。科学。9614,164--195(2016;Zbl 1388.94046) 全文: 内政部
龚俊清;陈杰;董晓雷;曹振福;唐少华 扩展嵌套双系统组,再次访问。 (英语) 兹比尔1388.94057 Cheng,Chen-Mou(编辑)等,公开密钥加密——PKC 2016。第19届IACR公钥密码学实践与理论国际会议,台湾台北,2016年3月6日至9日。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲座笔记9614,133-163(2016)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gong}等人,Lect。注释计算。科学。9614,133--163(2016;Zbl 1388.94057) 全文: 内政部
福崎北川;松田隆弘;花冈、果一郎;田中庆介 关于Fujisaki-Okamoto构造的密钥相关消息安全性。 (英语) Zbl 1388.94064号 Cheng,Chen-Mou(编辑)等,公开密钥加密——PKC 2016。第19届IACR公钥密码学实践与理论国际会议,台湾台北,2016年3月6日至9日。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲座笔记9614,99-129(2016)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kitagawa}等人,Lect。注释计算。科学。9614、99-129(2016年;Zbl 1388.94064) 全文: 内政部
塞巴斯蒂安·浮士德;丹尼尔·马斯尼;丹尼尔·文丘里 从子集和中选择密码文本安全性。 (英语) Zbl 1388.94053号 Cheng,Chen-Mou(编辑)等,公开密钥加密——PKC 2016。第19届IACR公钥密码学实践与理论国际会议,台湾台北,2016年3月6日至9日。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲座笔记9614,35-46(2016)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Faust}等人,莱克特。注释计算。科学。9614,35-46(2016;Zbl 1388.94053) 全文: 内政部 链接
尤金·亚萨林;尼古拉斯·巴塞特;奥尔德里克·德戈尔 正则定时语言的熵。 (英语) Zbl 1309.68114号 Inf.计算。 241, 142-176 (2015).MSC公司:65年第68季度 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,《信息计算》。241142--176(2015;Zbl 1309.68114) 全文: 内政部
克里希南德·查特吉;拉曼,Vishwanath 假设数字合同签订的担保合成。 (英语) Zbl 1342.94068号 正式Asp。计算。 26,第4期,825-859(2014).MSC公司:94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.Raman},正式Asp。计算。26,第4号,825--859(2014;Zbl 1342.94068) 全文: 内政部
鲍里斯·科普夫;安德烈·里巴尔琴科 定量信息流分析自动化。 (英语) Zbl 1380.68173号 Bernardo,Marco(编辑)等人,动力系统的形式化方法。2013年6月17日至22日,意大利贝蒂诺罗,第13所计算机、通信和软件系统正式设计方法国际学校,SFM 2013。高级讲座。柏林:施普林格出版社(ISBN 978-3-642-38873-6/pbk)。计算机科学课堂讲稿7938,1-28(2013)。MSC公司:第68页 94甲15 PDF格式BibTeX公司 XML格式引用 \textit{B.Köpf}和\textit{A.Rybalchenko},莱克特。注释计算。科学。7938,1--28(2013;Zbl 1380.68173) 全文: 内政部
克里希南德·查特吉;维什瓦纳斯·拉曼 数字合同签署的综合协议。 (英语) Zbl 1325.94115号 Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。第13届国际会议,2012年VMCAI,美国宾夕法尼亚州费城,2012年1月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学讲义7148152-168(2012)。MSC公司:94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.Raman},莱克特。注释计算。科学。7148152-168(2012年;兹bl 1325.94115) 全文: 内政部
J.A.马汀。;马蒂内利,F。;皮门特尔,E。 安全适配器的合成。 (英语) Zbl 1236.68062号 J.日志。阿尔盖布。程序。 81,第2期,99-126(2012).MSC公司:第68页第25页 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Martín}等人,J.Log。阿尔盖布。程序。81,第2号,99-126(2012;Zbl 1236.68062) 全文: 内政部
安妮·凯瑟琳·赫斯;安德斯·兰泽 移动设备自定位的分布式卡尔曼滤波算法。 (英语) Zbl 1360.94074号 2010年4月12日至16日,瑞典斯德哥尔摩,HSCC 2010,第13届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-955-8)。191-200 (2010).MSC公司:94甲12 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Hess}和\textit{A.Rantzer},in:第13届ACM混合系统国际会议论文集:计算与控制,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)。191-200(2010年;Zbl 1360.94074) 全文: 内政部
克莱尔·狄克逊;玛丽·卡门·费尔南德斯·加戈;迈克尔·费希尔;范德霍克,威比 知识的时间逻辑及其在安全中的应用。 (英语) 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}等人,《电子》。注释Theor。计算。科学。186、27-42(2007年;Zbl 1277.94051) 全文: 内政部
Doǧruel,M。;Arif Adli,M。 电气和机械系统建模的混合状态方法。 (英语) Zbl 1129.93448号 数学。计算。建模 41,编号6-7,759-771(2005).MSC公司:93元65角 70千99 93A30型 94立方厘米05 PDF格式BibTeX公司 XML格式引用 \textit{M.Doǧruel}和\textit{M.Arif Adli},数学。计算。建模41,编号6-7,759-771(2005;Zbl 1129.93448) 全文: 内政部
埃里克·默瑟。;克里斯·迈尔斯(Chris J.Myers)。;友大义达;郑浩 在LPN上使用部分阶的定时电路的模块化综合。 (英语) Zbl 1270.68217号 Asarin,Eugene(编辑)等人,TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录(ETAPS 2002年卫星活动)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》65,第6期,180-201(2002)。MSC公司:68问题85 94C10美元 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Mercer}等人,《电子》。注释Theor。计算。科学。65,第6号,180--201(2002;Zbl 1270.68217) 全文: 内政部
兰斯·克莱维兰;泽恩·达亚尔;斯科特·斯莫尔卡。;袁,Shoji 测试概率过程的预订单。 (英语) Zbl 1045.68564号 Inf.计算。 154,第2期,第93-148页(1999年).MSC公司:2010年第68季度 60J10型 94A05级 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}等人,《信息计算》。154,第2号,93--148(1999;Zbl 1045.68564) 全文: 内政部
M.基希内夫斯基。;Kondratyev,A。;A.陶宾。;瓦尔沙夫斯基。 事件模型上速度相关电路的分析和识别。 (英语) Zbl 0786.94023号 形式方法系统。设计。 4,第1期,33-75(1994).MSC公司:94C10美元 PDF格式BibTeX公司 XML格式引用 \textit{M.Kishinevsky}等人,《形式方法系统》。设计。4,编号1,33--75(1994;Zbl 0786.94023) 全文: 内政部
阿鲁纳巴·森;邓海勇;苏门答腊州古哈 关于VLSI版图应用中的图划分问题。 (英语) Zbl 0764.68132号 信息处理。莱特。 43,第2期,87-94(1992).MSC公司:68兰特 05C15号 94C15号机组 90立方厘米 94C99号 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{A.Sen}等人,《信息处理》。莱特。43,第2号,87--94(1992;Zbl 0764.68132) 全文: 内政部
尼古拉斯·哈尔巴赫斯;Fabienne Lagnier;克里斯托夫·拉特尔 通过模块化模型检查证明常规流程网络的经验。 (英语) Zbl 0790.68071号 学报信息。 29,编号6-7,523-543(1992). 审核人:N.Halbwachs(格勒诺布尔) MSC公司:60年第68季度 68M10个 94C10美元 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Halbwachs}等人,《学报》第29期,第6--7、523--543号(1992年;Zbl 0790.68071) 全文: 内政部
铃木,I。;Motohashi,Y。;谷口,K。;卡萨米,T。;冈本,T。 使用\(\omega \)扩展正则表达式对分散菊花链仲裁器进行规范和验证。 (英语) 兹比尔0597.68049 西奥。计算。科学。 43, 277-291 (1986).MSC公司:65年第68季度 94C10美元 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{I.铃木}等人,Theor。计算。科学。43、277--291(1986年;Zbl 0597.68049) 全文: 内政部
大岛村田 网络理论与分布式/并行处理模型的相关性。 (英语) Zbl 0432.68017号 J.富兰克林研究所。 310, 41-50 (1980).MSC公司:第68页第25页 94C15号机组 68问题85 68兰特 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{T.Murata},J.Franklin Inst.310,41-50(1980;Zbl 0432.68017) 全文: 内政部
克雷斯皮·雷吉齐,S。;D.曼德里奥利。 一类向量加法系统的可判定性定理。 (英语) Zbl 0302.68065号 信息处理。莱特。 3, 78-80 (1975).MSC公司:65年第68季度 94C10美元 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crespi-Reghizzi}和\textit{D.Mandrioli},Inf.过程。莱特。3,78-80(1975年;兹bl 0302.68065) 全文: 内政部
W.亨莫普。 标记图的变换。 (英语) 兹比尔0293.05129 信息处理。莱特。 2, 26-29 (1973).MSC公司:05C20号 05C99年 94C10美元 PDF格式BibTeX公司 XML格式引用 \textit{W.Henhapl},Inf.流程。莱特。2、26-29(1973;Zbl 0293.05129) 全文: 内政部
Commoner,F。;A.W.霍尔特。;甚至,S。;A.普努利。 标记的有向图。 (英语) Zbl 0238.05109号 J.计算。系统。科学。 5, 511-523 (1971).MSC公司:05C20号 05C35号 94C10美元 PDF格式BibTeX公司 XML格式引用 \textit{F.Commoner}等人,《计算杂志》。系统。科学。511--523(1971;Zbl 0238.05109) 全文: 内政部