×

找到193份文件（结果1-100）

最新的 引文 关联
刘嘉辉;刘启鹏;钱罗文

打破了位置验证的经典不可能性。 （英语） Zbl 07829332号

Mark Braverman（编辑），《理论计算机科学会议的第13次创新》，ITCS 2022，美国加州伯克利，2022年1月31日至2月3日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。215，第100条，第11页（2022）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Liu}等人，LIPIcs——莱布尼茨国际程序。通知。215，第100条，第11页（2022；Zbl 07829332）
全文： 内政部 arXiv公司
卡尔蒂基扬·巴尔干;阿比舍克省比什哈瓦特;Quoc Huy Do公司;佩德拉姆·霍塞尼;拉尔夫·库斯特斯;吉多·施密茨;蒂姆·沃特尔

（\mathsf{DY}^{star}\）的辅导式介绍。 （英语） Zbl 1498.94055号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。13066, 77-97 (2021).
MSC公司：94A60 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bhargavan}等人，Lect。注释计算。科学。13066，77--97（2021；Zbl 1498.94055）
全文： 内政部
托马斯·维迪克;蒂娜·张

量子知识的经典证明。 （英语） Zbl 1479.94263号

Canteaut，Anne（编辑）等人，《密码学进展–EUROCRYPT 2021》。第40届密码技术理论与应用国际年会，克罗地亚萨格勒布，2021年10月17日至21日。诉讼程序。第二部分。查姆：斯普林格。勒克特。注释计算。科学。12697, 630-660 (2021).
MSC公司：94A60 81页第45页
PDF格式BibTeX公司 XML格式引用
\textit{T.Vidick}和\textit{T.Zhang}，Lect。注释计算。科学。12697630-660（2021年；兹比尔1479.94263）
全文： 内政部 arXiv公司 链接
英巴·卡斯拉西;Guy N.罗斯布卢姆。;罗恩·罗斯布卢姆。;亚当·西尔芬;普拉珊·纳里尼·瓦苏德万

统计零知识证明的批验证。 （英语） Zbl 07496578号

Pass，Rafael（编辑）等人，《密码学理论》。第18届国际会议，TCC 2020，美国北卡罗来纳州达勒姆，2020年11月16-19日。诉讼程序。第二部分。查姆：斯普林格。勒克特。注释计算。科学。12551, 139-167 (2020).
MSC公司：68第25页 94A60 94甲15
PDF格式BibTeX公司 XML格式引用
\textit{I.Kaslasi}等人，Lect。注释计算。科学。12551、139--167（2020；Zbl 07496578）
全文： 内政部
保罗·盖纳;Ernst Moritz哈恩;舍韦，斯文

参数化和可重构马尔可夫链的增量验证。 （英语） Zbl 1514.68133号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11024, 140-156 (2018).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Gainer}等人，Lect。注释计算。科学。11024，140-156（2018；Zbl 1514.68133）
全文： 内政部 arXiv公司 链接
爱德华·坎伯扬;陈子春

活动对象的状态行为类型。 （英语） Zbl 1514.68037号

Furia，Carlo A.（编辑）等，《综合形式方法》。2018年9月5日至7日，第14届国际会议，2018年国际单项体育联合会，爱尔兰Maynooth。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11023, 214-235 (2018).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Kamburjan}和\textit{T.-C.Chen}，Lect。注释计算。科学。11023、214--235（2018；Zbl 1514.68037）
全文： 内政部 arXiv公司
马西莫·巴托莱蒂;劳拉·博奇;莫里齐奥·穆尔吉亚

进展——CTA的改进。 （英语） Zbl 1520.68087号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第40条，第19页（2018年）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bartoletti｝等人，LIPIcs——莱布尼茨国际会议记录。通知。118，第40条，第19页（2018；Zbl 1520.68087）
全文： 内政部
乔纳森·布特尔;詹斯·格罗斯

低阶多项式的高效批处理零知识参数。 （英语） Zbl 1420.94040号

Abdalla，Michel（编辑）等人，公开密钥加密——PKC 2018。2018年3月25日至29日，巴西里约热内卢，第21届IACR公开密钥加密实践和理论国际会议。诉讼程序。第二部分。查姆：斯普林格。勒克特。注释计算。科学。10770, 561-588 (2018).
MSC公司：94A60
PDF格式BibTeX公司 XML格式引用
\textit{J.Bootle}和\textit{J.Groth}，莱克特。注释计算。科学。10770561--588（2018年；1420.94040兹罗提）
全文： 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;卡西拉斯、斯特凡诺斯;卡尔·莱昂纳多森;阿尔贝托·罗斯;朱云云

用自我失效和自我降级来修补篱笆。 （英语） Zbl 1459.68039号

日志。方法计算。科学。 14，第1号，第6号论文，33页（2018年）.
MSC公司：68号30 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，日志。方法计算。科学。14，第1号，第6号论文，33页（2018；Zbl 1459.68039）
全文： 内政部 arXiv公司
巴别尔，库沙尔;文森特·切瓦尔;史蒂夫·克莱默

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

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

具有动态优先级的嵌入式实时并发软件的静态分析。 （英语） Zbl 1412.68042号

Mastroeni，Isabella（编辑），第六届数字和符号抽象域国际研讨会论文集，NSAD 2016，英国爱丁堡，2016年9月11日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。331, 3-39 (2017).
MSC公司：68号30 68问题55 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Miné}，电子。注释Theor。计算。科学。331、3--39（2017；Zbl 1412.68042）
全文： 内政部
马格达莱娜·卡普扎克;安娜·萨维卡;安德烈·兹布雷泽兹尼

对话协议的验证：数学模型。 （英语） Zbl 1358.68275号

Rutkowski，Leszek（编辑）等人，《人工智能和软计算》。2016年6月12日至16日在波兰扎科帕内举行的2016年ICAISC第15届国际会议。诉讼程序。第二部分。查姆：施普林格（ISBN 978-3-319-39383-4/pbk；978-3-3169-39384-1/电子书）。计算机科学课程讲稿9693。《人工智能课堂讲稿》，329-339（2016）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kacprzak}等人，Lect。注释计算。科学。9693、329--339（2016年；Zbl 1358.68275）
全文： 内政部
刘俊贤;刘林

一种彩色Petri网方法，用于SIP非INVITE事务的功能和性能分析。 （英语） Zbl 1428.68050号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务处理IX》，柏林：施普林格出版社。勒克特。注释计算。科学。8910, 147-177 (2014).
MSC公司：68个M12 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Liu}和\textit{L.Liu}，Lect。注释计算。科学。8910，147--177（2014；Zbl 1428.68050）
全文： 内政部
哈维尔·埃斯帕尔扎;约格·克里克

无限状态系统验证的三个案例研究。 （英语） Zbl 1256.68117号

D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，373-414（2012）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}和\textit{J.Kreiker}，IISc Res.Monogr。序列号。2373-414（2012；Zbl 1256.68117）
全文： 内政部 链接
阿米尔·塔瓦拉。;索鲁什·纳齐姆;Babaei-Brojeny，Ali A。

用概率模型检查器验证量子协议。 （英语） Zbl 1347.68241号

Coecke，Bob（编辑）等人，第五届量子物理和逻辑国际研讨会和第四届计算模型发展研讨会论文集（QPL/DCM 2008），冰岛雷克雅未克，2008年7月12-13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记270，第1期，175-182（2011）。
MSC公司：60年第68季度 81页第45页 81页94
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Tavala}等人，《电子》。注释Theor。计算。科学。270，第1号，175--182（2011；Zbl 1347.68241）
全文： 内政部
范德梅登

认识逻辑在计算机安全中的两个应用。 （英语） Zbl 1319.03045号

van Benthem，Johan（编辑）等人，《证明、计算和代理》。十字路口的逻辑。多德雷赫特：施普林格（ISBN 978-94-007-0920-1/套；978-94-07-0079-6/hbk；978-94-007-0080-2/电子书）。Synthese Library 352133-144（2011）。
MSC公司：03B70号 03B42号 68第25页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.van der Meyden}，Synth。伦敦银行同业拆借利率。352133--144（2011年；Zbl 1319.03045）
全文： 内政部
皮埃尔·科尔比诺;马蒂尔德·杜克洛;亚辛·拉赫内奇

计算模型中加密协议的认证安全证明：入侵恢复的应用。 （英语） Zbl 1350.68229号

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，378-393（2011）。
MSC公司：68吨15 94A60
PDF格式BibTeX公司 XML格式引用
\textit{P.Corbineau}等人，Lect。注释计算。科学。7086，378--393（2011；Zbl 1350.68229）
全文： 内政部
穆罕默德·埃尔·默沙维;贾马尔·本塔哈;拉奇达·德索利

使用约简的符号模型检查承诺协议。 （英语） Zbl 1325.68237号

Omicini，Andrea（编辑）等人，《声明代理语言和技术》第八章。2010年5月10日，第八届国际研讨会，DALT 2010，加拿大多伦多。修订、精选和邀请论文。柏林：施普林格出版社（ISBN 978-3-642-20714-3/pbk）。计算机科学讲座笔记6619，185-203（2011）。
MSC公司：68T42型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.El-Menshawy}等人，Lect。注释计算。科学。6619、185--203（2011；Zbl 1325.68237）
全文： 内政部
戈德列夫斯基，A.B。

过渡系统符号建模背景下的谓词变换器。 （英语。俄文原件） Zbl 1288.68163号

赛博。系统。分析。 46，第4期，602-608（2010）; 翻译自Kibern。修女。分析。2010年，第4期，91-99（2010）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.B.Godlevsky}，Cybern。系统。分析。46，编号40602-608（2010年；兹bl 1288.68163）；翻译自Kibern。修女。分析。2010年，第4期，91-99（2010）
全文： 内政部
迈克尔·巴克斯;马特奥·马菲;埃斯凡迪亚·穆罕默德

安全多方计算的计算可靠抽象和验证。 （英语） Zbl 1245.68027号

Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学会议录8，352-363，仅电子版（2010年）。
MSC公司：68个M12 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Backes}等人，LIPIcs——莱布尼茨国际程序。通知。8352-363（2010年；Zbl 1245.68027）
全文： 内政部 链接
米哈伊·利卡·普拉;维克托·瓦列里奥·帕特里丘;离子比卡

使用AVISPA对安全自组织路由协议进行形式化验证：ARAN案例研究。 （英语） Zbl 1231.68059号

Grigoriu，Mircea（编辑）等人，欧洲计算机会议。2010年4月20日至22日，罗马尼亚布加勒斯特，第四届欧洲计算机会议（ECC’10）会议记录。雅典：世界科学与工程学会（WSEAS）（ISBN 978-960-474-183-0/CD-ROM；978-9604-474-178-6/hbk）。电气与计算机工程系列。一系列参考书和教科书。，200-206 (2010).
MSC公司：68个M12 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.-L.Pura}等人，in：欧洲计算会议。2010年4月20日至22日，罗马尼亚布加勒斯特，第四届欧洲计算机会议（ECC’10）会议记录。雅典：世界科学与工程学会（WSEAS）。200-206（2010；Zbl 1231.68059）
Shyamasundar，R.K。;拉梅什，S。

实时编程。语言、规范和验证。 （英语） Zbl 1204.68049号

新泽西州哈肯萨克：世界科学（ISBN 978-981-02-2566-7/hbk；978-981-2 8-1402-9/电子书）。十五、245页。（2010年）。
审核人：斯特凡·梅耶（柏林）
MSC公司：68甲15 68-02 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.K.Shyamasundar｝和\textit｛S.Rameesh｝，实时编程。语言、规范和验证。新泽西州哈肯萨克：《世界科学》（2010；Zbl 1204.68049）
全文： 链接
苏迪普·米斯拉（编辑）;米斯拉，苏巴斯·钱德拉（编辑）;伊萨克·旺冈（编辑）

通信网络和分配系统的选定主题。 （英语） Zbl 1209.68018号

新泽西州哈肯萨克：世界科学（ISBN 978-981-283-943-5/hbk；978-981-2 83-944-2/电子书）。vii，799页。（2010年）。
MSC公司：68M10个 68个M12 68-06 68平方米 64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{S.Misra}（编辑）等人，《通信网络和配电系统中的选定主题》。新泽西州哈肯萨克：《世界科学》（2010；Zbl 1209.68018）
托马斯·里奇

验证分布式系统：操作方法。 （英语） Zbl 1315.68105号

2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。429-440 (2009).
MSC公司：68号30 68甲19 64岁以下 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Ridge}，in：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。429-440（2009年；兹比尔1315.68105）
全文： 内政部
保罗·雷格尼尔;乔治·利马;阿琳·安德拉德

TLA+正式规范和新实时通信协议的验证。 （英语） Zbl 1347.68238号

Patricia D.L.Machado（编辑），第十一届巴西正式方法研讨会论文集（SBMF 2008）2008年8月26日至29日，巴西萨尔瓦多。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记240，221-238（2009）。
MSC公司：60年第68季度 68个M12 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{P.Regnier}等人，《电子》。注释Theor。计算。科学。240、221--238（2009年；Zbl 1347.68238）
全文： 内政部
埃曼纽尔·恩克雷纳兹;阿兰·芬克尔

具有排名功能的计数器系统的自动验证。 （英语） Zbl 1347.68223号

Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239，85-103（2009）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Encrenaz}和\textit{A.Finkel}，电子。注释Theor。计算。科学。23985--103（2009年；Zbl 1347.68223）
全文： 内政部
马格达莱纳州佩耶拉斯-卡佩尔;多设备服务器，Maciá;安德烈·佩雷（Andreu Pere Isern-Deyá）;费雷尔·戈米拉，Josep L。;卢伦索Huguet Rotger

使用有色Petri网对FPH合同签署协议进行形式化分析。 （英语） Zbl 1184.68077号

Chen，Yan（编辑）等人，《通信网络中的安全和隐私》。2009年9月14日至18日，希腊雅典，第五届国际ICST会议，SecureComm 2009。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-05283-5/pbk；978-3-662-05284-2/电子书）。计算机科学、社会信息学和电信工程研究所的讲稿19，101-120（2009）。
MSC公司：68英里11
PDF格式BibTeX公司 XML格式引用
\textit{M.Payeras-Capellá}等人，《通信网络中的安全与隐私》。2009年9月14日至18日，希腊雅典，第五届国际ICST会议，SecureComm 2009。修订了选定的论文。柏林：斯普林格。101-120（2009年；Zbl 1184.68077）
全文： 内政部
王金双;杨华兵;张兴元

与Isabelle/HOL进行生动推理。 （英语） 兹比尔1252.68198

Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674485-499（2009）。
MSC公司：60年第68季度 68问题85 87年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Wang}等人，Lect。注释计算。科学。5674、485--499（2009年；Zbl 1252.68198）
全文： 内政部
李孟军;周，Ti;李周军

SPVT-II：一种基于逻辑编程的高效安全协议验证器。 （英语） Zbl 1237.68029号

Yung，Moti（编辑）等人，《信息安全与密码学》。2008年12月14日至17日，第四届国际会议，Insicrypt 2008，中国北京。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-01439-0/pbk）。计算机科学课堂讲稿5487125-140（2009）。
MSC公司：68个M12 68N17号 60年第68季度 94A60 94A62
PDF格式BibTeX公司 XML格式引用
\textit{M.Li}等人，Lect。注释计算。科学。5487、125--140（2009年；Zbl 1237.68029）
全文： 内政部
周，Ti;李孟军;李周军;陈火旺

使用约束对时间敏感的安全协议进行建模和验证。 （英语） Zbl 1286.68324号

Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，103-118（2008）。
MSC公司：60年第68季度 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{T.Zhou}等人，《电子》。注释Theor。计算。科学。212、103——118（2008年；Zbl 1286.68324）
全文： 内政部
埃米尔·塞克林斯基

通过公平选择进行优化的代数方法。 （英语） Zbl 1283.68256号

Boiten，Eerke（编辑）等人，《第13届BCS-FACS精炼研讨会论文集》（REFINE 2008），芬兰图尔库，2008年5月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记21451-79（2008）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Sekerinski}，电子。注释Theor。计算。科学。214，51-79（2008年；兹bl 1283.68256）
全文： 内政部
Vu，Thuy Duong先生;张，李;克里斯·杰希普

验证片上COMA缓存一致性协议。 （英语） Zbl 1170.68301号

Meseguer，José（编辑）等人，代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79979-5/pbk）。计算机科学课堂讲稿5140413-429（2008）。
MSC公司：2007年7月68日
PDF格式BibTeX公司 XML格式引用
\textit{T.D.Vu}等人，Lect。注释计算。科学。5140、413--429（2008年；Zbl 1170.68301）
全文： 内政部 链接
丁磊。;刘、林

使用有色Petri网对会话初始化协议的INVITE事务进行建模和分析。 （英语） Zbl 1143.68483号

van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿5062132-151（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.G.丁}和\textit{L.刘}，莱克特。注释计算。科学。5062132--151（2008年；Zbl 1143.68483）
全文： 内政部
周，Ti;李周军;李孟军;陈火旺

安全协议验证中的约束抽象。 （英语） Zbl 1143.68465号

Preparata，Franco P.（编辑）等人，算法前沿。第二届年度国际研讨会，2008年6月19日至21日，中国长沙，一汽2008。程序。柏林：施普林格出版社（ISBN 978-3-540-69310-9/pbk）。计算机科学课堂讲稿5059，252-263（2008）。
MSC公司：60年第68季度 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{T.Zhou}等人，Lect。注释计算。科学。5059252--263（2008年；Zbl 1143.68465）
全文： 内政部
卡洛斯·巴齐利奥;爱德华·赫尔曼·海尔;马库斯·恩德勒

面向语言的形式化分析：协议和分布式系统的案例研究。 （英语） Zbl 1279.68247号

Sampaio，Augusto（编辑），第二届巴西正式方法研讨会论文集（SBMF 2005），Porto Alegre，RS，巴西，2005年11月30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记184189-207（2007）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bazilio}等人，《电子》。注释Theor。计算。科学。184189-207（2007年；Zbl 1279.68247）
全文： 内政部
维罗尼克·科尔蒂尔;海因里希·霍尔德根;波格丹，瓦林斯基

在对概率加密建模时，不需要显式随机性。 （英语） Zbl 1277.94021号

Dima，Cétélin（ed.）等人，《信息和计算机安全第一次研讨会论文集》（ICS 2006），罗马尼亚蒂米索拉，2006年9月30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记186，49-65（2007）。
MSC公司：94A60 94A62
PDF格式BibTeX公司 XML格式引用
\textit{V.Cortier}等人，《电子》。注释Theor。计算。科学。186、49-65（2007年；Zbl 1277.94021）
全文： 内政部
奥拉诺斯、伊阿科沃斯;斯特凡尼亚斯（Stefaneas，Petros）

使用代数规范技术验证传感器网络的安全协议。 （英语） Zbl 1148.68406号

Bozapalidis，Symeon（编辑）等，代数信息学。2007年5月21日至25日在希腊塞萨洛尼基举行的第二届国际会议，CAI 2007。修改选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-75413-8/pbk）。计算机科学课堂讲稿4728247-259（2007）。
MSC公司：68问题65 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{I.Ouranos}和\textit{P.Stefaneas}，莱克特。注释计算。科学。47282247-259（2007年；兹比尔1148.68406）
全文： 内政部
Koji Hasebe公司;冈田三弘

基本协议逻辑的完整性和反例生成（扩展抽象）。 （英语） Zbl 1276.03026号

Cristea，Horatiu（编辑）等人，第六届基于规则的编程国际研讨会论文集（rule 2005），日本奈良，2005年4月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》147，第1期，73-92（2006）。
MSC公司：03B70号 68问题55 60年第68季度 94A60
PDF格式BibTeX公司 XML格式引用
\textit{K.Hasebe}和\textit{M.Okada}，电子。注释Theor。计算。科学。147，编号1，73--92（2006；Zbl 1276.03026）
全文： 链接
Y.Boichut。;Héam，宾夕法尼亚州。;Kouchnarenko，O。

在安全协议的自动分析中处理代数属性。 （英语） Zbl 1168.68378号

Barkaoui，Kamel（编辑）等人，《计算的理论方面——ICTAC 2006》。第三次国际学术讨论会，突尼斯，突尼斯，2006年11月20日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-48815-6/pbk）。计算机科学课堂讲稿4281153-167（2006）。
MSC公司：68第25页 60年第68季度 94A60
PDF格式BibTeX公司 XML格式引用
\textit{Y.Boichut}等人，Lect。注释计算。科学。4281、153--167（2006年；Zbl 1168.68378）
全文： 内政部 链接
贝扎德·博德巴尔;大佐冈野

测试实时系统中的无死锁：一种形式化方法。 （英语） Zbl 1081.68567号

Grabowski，Jens（编辑）等人，软件测试的形式化方法。2004年9月21日，第四届国际研讨会，《命运2004》，奥地利林茨。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-25109-X/pbk）。计算机科学讲座笔记3395，95-109（2005）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bordbar}和\textit{K.Okano}，莱克特。注释计算。科学。3395，95--109（2005；Zbl 1081.68567）
全文： 内政部
塞巴斯蒂安·巴丁;阿兰·芬克尔;勒鲁，杰罗姆

在实践中加速计数器自动机。 （英语） Zbl 1126.68452号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988576-590（2004）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bardin}等人，Lect。注释计算。科学。2988576--590（2004年；Zbl 1126.68452）
全文： 内政部
丹尼尔·博基尔;特里斯坦·克罗拉德;普罗科菲耶娃（Evguenia Prokofieva）

基于抽象状态机和一阶时序逻辑的根竞争协议的自动参数验证。 （英语） Zbl 1126.68318号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日，第10届国际会议，TACAS 2004，作为软件理论和实践联席会议的一部分，ETAPS 2004，西班牙巴塞罗那。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988372-387（2004）。
MSC公司：68个M12 64岁以下 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Beauquier}等人，Lect。注释计算。科学。2988372--387（2004年；Zbl 1126.68318）
全文： 内政部
Kazuhiro绪方;高基町五指

OTS/CafeOBJ方法的证明分数。 （英语） Zbl 1253.68249号

Najm，Elie（编辑）等，开放式基于对象的分布式系统的形式化方法。第六届IFIP工作组6.1国际会议，2003年FMOODS，2003年11月19-21日，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20491-1/pbk）。勒克特。注释计算。科学。2884, 170-184 (2003).
MSC公司：68问题85 68问题65 94A62
PDF格式BibTeX公司 XML格式引用
\textit｛K.Ogata｝和\textit｛K.Futatsugi｝，Lect。注释计算。科学。2884170--184（2003年；Zbl 1253.68249）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件