×

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

最新的 引文 关联
斯特凡诺·卡尔扎瓦拉;米歇尔·布格列西;西尔维亚·克拉法;恩里科·斯特芬隆戈

对浏览器扩展的权限提升攻击进行细粒度检测。 （英语） Zbl 1335.68047号

Vitek，Jan（编辑），《编程语言和系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-466668-1/pbk；978-3-662-466669-8/电子书）。计算机科学课堂讲稿9032，510-534（2015）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Calzavara}等人，莱克特。注释计算。科学。9032150-534（2015年；兹比尔1335.68047）
全文： 内政部 链接
米歇尔·布格列西;斯特凡诺·卡尔扎瓦拉;法比恩·艾格纳;马特奥·马菲

协议实现中安全资源管理的逻辑基础。 （英语） Zbl 1390.68075号

David Basin（编辑）等人，《安全与信任原则》。2013年3月16日至24日在意大利罗马举行的第二届国际会议，即2013年POST，是欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36829-5/pbk）。计算机科学课堂讲稿7796105-125（2013）。
MSC公司：68个M12 03B70号 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}等人，Lect。注释计算。科学。7796、105-125（2013年；Zbl 1390.68075）
全文： 内政部
米歇尔·布格列西;里卡多·福卡迪

安全抽象和入侵者模型（扩展抽象）。 （英语） Zbl 1291.68249号

Hildebrandt，Thomas（编辑）等人，《第十五届并发表达能力国际研讨会论文集》（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，99-112（2009）。
MSC公司：60年第68季度 68问题85 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}和\textit{R.Focardi}，电子。注释Theor。计算。科学。242，No.1，99--112（2009；Zbl 1291.68249）
全文： 内政部
米歇尔·布格列西;马可·朱蒂

类型化通道抽象的安全实现。 （英语） Zbl 1295.68078号

2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。251-262 (2007).
MSC公司：68号30 68甲19 68问题85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bugliesi｝和\textit｛M.Giunti｝，载于：第34届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’07，法国尼斯，2007年1月17日至19日。纽约州纽约市：计算机协会（ACM）。251--262（2007年；Zbl 1295.68078）
全文： 内政部
米歇尔·布格列西（编辑）;巴特·普雷内尔（编辑）;弗拉迪米罗·萨松（编辑）;英戈·韦格纳（编辑）

自动化、语言和编程。2006年7月10日至14日，意大利威尼斯，第33届国际学术讨论会，ICALP 2006。程序，第一部分。 （英语） Zbl 1122.68001号

计算机科学课堂讲稿4051.柏林：施普林格出版社（ISBN 978-3-540-35904-3/pbk）。xxiii，第729页。(2006).
MSC公司：68-06 68季度xx 68瓦xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}（编辑）等人，《自动化，语言和编程》。第33届国际学术讨论会，2006年ICALP，意大利威尼斯，2006年7月10日至14日。会议记录，第一部分，柏林：施普林格出版社（2006；Zbl 1122.68001）
全文： 内政部
米歇尔·布格列西（编辑）;巴特·普雷内尔（编辑）;弗拉迪米罗·萨松（编辑）;英戈·韦格纳（编辑）

自动化、语言和编程。2006年7月10日至14日，意大利威尼斯，第33届国际学术讨论会，ICALP 2006。诉讼，第二部分。 （英语） 兹比尔1113.68003

计算机科学课堂讲稿4052.柏林：施普林格出版社（ISBN 978-3-540-35907-4/pbk）。第二十四、603页。(2006).
MSC公司：68-06 68新元 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}（编辑）等人，《自动化，语言和编程》。第33届国际学术讨论会，2006年ICALP，意大利威尼斯，2006年7月10日至14日。诉讼，第二部分。柏林：施普林格出版社（2006；Zbl 1113.68003）
全文： 内政部
维维亚娜·博诺（编辑）;米歇尔·布格列西（编辑）;索菲亚·德罗索波卢（编辑）

2004年8月30日，英国伦敦，第二届面向对象开发研讨会会议记录（WOOD 2004）。 （英语） Zbl 1272.68008号

理论计算机科学电子笔记第138页，第2页。阿姆斯特丹：爱思唯尔。136页。，仅电子版（2005）。
MSC公司：68-06 68甲19 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{V.Bono}（ed.）等人，第二届面向对象开发研讨会论文集（WOOD 2004），英国伦敦，2004年8月30日。阿姆斯特丹：Elsevier（2005；Zbl 1272.68008）
米歇尔·布格列西;马可·朱蒂

非类型化上下文中的类型化进程（抽象）。 （英语） Zbl 1151.68513号

De Nicola，Rocco（编辑）等人，《值得信赖的全球计算》。国际研讨会，TGC2005，英国爱丁堡，2005年4月7-9日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-30007-4/pbk）。计算机科学课堂讲稿3705，19-32（2005）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}和\textit{M.Giunti}，莱克特。注释计算。科学。3705、19-32（2005年；Zbl 1151.68513）
全文： 内政部
米歇尔·布格列西;朱塞佩·卡斯塔尼亚;西尔维亚·克拉法;里卡多·福卡迪;弗拉迪米罗·萨松

通过名字计算和密码密码的调查。 （英语） 兹比尔1202.68166

Focardi，Riccardo（编辑）等人，《安全分析和设计基础II》。FOSAD 2001/2002辅导讲座。柏林：施普林格出版社（ISBN 3-540-20955-7/pbk）。莱克特。注释计算。科学。2946, 91-138 (2004).
MSC公司：68第25页 68问题85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}等人，Lect。注释计算。科学。2946，91--138（2004；Zbl 1202.68166）
全文： 内政部
米歇尔·布格列西;里卡多·福卡迪;马特奥·马菲

身份验证协议的组成分析。 （英语） Zbl 1126.94346号

Schmidt，David（编辑），《编程语言与系统》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第13届欧洲编程研讨会（ESOP 2004），是欧洲软件理论与实践联合会议（ETAPS 2004）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21313-9/pbk）。计算机科学课堂讲稿2986140-154（2004）。
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}等人，Lect。注释计算。科学。2986、140--154（2004年；Zbl 1126.94346）
全文： 内政部
米歇尔·布格列西;达里奥·科拉佐;西尔维亚·克拉法

基于类型的自由访问控制。 （英语） Zbl 1099.68666号

Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学课堂讲稿3170225-239（2004）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}等人，Lect。注释计算。科学。3170225-239（2004年；Zbl 1099.68666）
全文： 内政部
米歇尔·布格列西;安布拉·塞卡托;萨宾娜·罗西

基于非干扰协议分析的上下文相关等效项。 （英语） Zbl 1278.94043号

Lingas，Andrzej（编辑）等人，《计算理论基础》。2003年8月12日至15日在瑞典马尔默举行的第14届国际研讨会，FCT 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40543-7/pbk）。莱克特。注释计算。科学。2751, 364-375 (2003).
MSC公司：94A60型 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}等人，Lect。注释计算。科学。2751364--375（2003年；Zbl 1278.94043）
全文： 内政部
米歇尔·布格列西;里卡多·福卡尔迪;马特奥·马菲

实体身份验证的原则。 （英语） Zbl 1254.94047号

Broy，Manfred（编辑）等人，《系统信息学的观点》。2003年7月9日至12日，俄罗斯新西伯利亚，阿卡德姆戈罗多克，第五届安德烈·埃尔肖夫国际纪念大会，PSI 2003。修订论文。柏林：施普林格出版社（ISBN 3-540-20813-5/pbk）。计算机科学课堂讲稿2890294-306（2003）。
MSC公司：94A62型 68个M12
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bugliesi｝等人，Lect。注释计算。科学。2890、294--306（2003年；Zbl 1254.94047）
全文： 内政部
佛朗哥·巴巴内拉;米歇尔·布格列西;Dezani Ciancaglini，马里亚焦拉;弗拉迪米罗·萨松

有限容量的微积分。 （英语） Zbl 1215.68036号

Saraswat，Vijay A.（编辑），《计算科学进展——2003年亚洲》。编程语言和分布式计算。第八届亚洲计算科学会议，印度孟买，2003年12月10-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20632-9/pbk）。莱克特。注释计算。科学。2896, 205-223 (2003).
MSC公司：64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{F.Barbanera}等人，Lect。注释计算。科学。2896205-223（2003年；Zbl 1215.68036）
全文： 内政部
米歇尔·布格列西;西尔维亚·克拉法;阿梅拉·普雷里奇;弗拉迪米罗·萨松

在不受信任的网络中保密。 （英语） Zbl 1039.68516号

Baeten，Jos C.M.（编辑）等人，《自动化，语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40493-7/pbk）。莱克特。注释计算。科学。2719, 969-983 (2003).
MSC公司：64岁以下 68问题85 68页30
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}等人，Lect。注释计算。科学。2719969-983（2003年；Zbl 1039.68516）
全文： 链接
朱塞佩·卡斯塔尼亚;米歇尔·布格列西;西尔维亚·克拉法

盒装环境概述（摘要）。 （英语） Zbl 1268.68123号

Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，1-6（2002）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Castagna}等人，《电子》。注释Theor。计算。科学。62、1--6（2002年；Zbl 1268.68123）
全文： 内政部
米歇尔·布格列西;西尔维亚·克拉法;马西莫·梅罗;弗拉迪米罗·萨松

移动装箱环境中的通信干扰。 （英语） Zbl 1027.68086号

Agrawal，Manindra（编辑）等人，FST TCS 2002：软件技术和理论计算机科学基础。第二十二届会议，印度坎普尔，2002年12月12日至14日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2556, 71-84 (2002).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}等人，Lect。注释计算。科学。2556，71--84（2002；Zbl 1027.68086）
全文： 链接
米歇尔·布格列西;朱塞佩·卡斯塔尼亚

确保安全环境。 （英语） Zbl 1323.68404号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。222-235 (2001).
MSC公司：68问题85 68号30 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}和\textit{G.Castagna}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。222--235（2001年；Zbl 1323.68404）
全文： 内政部
米歇尔·布格列西;朱塞佩·卡斯塔尼亚;西尔维亚·克拉法

框式环境。 （英语） Zbl 1087.68541号

Kobayashi，Naoki（编辑）等人，《计算机软件的理论方面》。2001年10月29日至31日，第四届国际研讨会，TACS 2001，日本仙台。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42736-8/pbk）。计算机科学课堂讲稿2215，38-63（2001）。
MSC公司：68号30 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}等人，Lect。注释计算。科学。2215、38--63（2001年；Zbl 1087.68541）
全文： 链接
米歇尔·布格列西;朱塞佩·卡斯塔尼亚;西尔维亚·克拉法

移动对象的子类型和匹配。 （英语） Zbl 1042.68537号

安东尼奥·雷斯蒂沃（编辑）等人，《理论计算机科学》。第七届意大利会议，ICTCS 2001，意大利都灵，2001年10月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42672-8）。莱克特。注释计算。科学。2202, 235-255 (2001).
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}等人，Lect。注释计算。科学。2202235-255（2001年；Zbl 1042.68537）
全文： 链接
米歇尔·布格列西;朱塞佩·卡斯塔尼亚;西尔维亚·克拉法

关于移动环境中安全性的推理。 （英语） Zbl 1006.68533号

Larsen，Kim G.（编辑）等人，CONCUR 2001——并发理论。第十二届国际会议，丹麦奥尔堡，2001年8月20日至25日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2154, 102-120 (2001).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}等人，Lect。注释计算。科学。2154、102-120（2001年；Zbl 1006.68533）
全文： 链接
米歇尔·布格列西;朱塞佩·卡斯塔尼亚;西尔维亚·克拉法

键入的移动对象。 （英语） Zbl 0999.68505号

Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877年，504-520（2000年）。
MSC公司：68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}等人，Lect。注释计算。科学。1877504-520（2000年；Zbl 0999.68505）
维维亚娜·博诺;米歇尔·布格列西

可扩展对象和类型的解释。 （英语） Zbl 0945.68031号

乔巴努、加布里埃尔（编辑）等，《计算理论基础》。第12届国际研讨会，FCT’99。1999年8月30日至9月3日，罗马尼亚伊阿什伊。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1684, 112-123 (1999).
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{V.Bono}和\textit{M.Bugliesi}，莱克特。注释计算。科学。1684112--123（1999年；Zbl 0945.68031）
维维亚娜·博诺;米歇尔·布格列西

对象lambda演算的匹配约束。 （英语） Zbl 1063.68549号

de Groote，Philippe（编辑）等人，《打字lambda计算和应用》。1997年4月2日至4日在法国南希举行的第三届lambda calculi类型及其应用国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-62688-3/pbk）。《计算机科学讲义》1210，46-62（1997）。
MSC公司：68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{V.Bono}和\textit{M.Bugliesi}，莱克特。注释计算。科学。1210、46-62（1997年；Zbl 1063.68549）
维维亚娜·博诺;米歇尔·布格列西;路易吉·利科里

不完整对象的lambda演算。 （英语） 兹伯利0896.03016

Penczek，Wojciech（编辑）等人，《计算机科学的数学基础》，1996年。第21届国际研讨会，1996年9月2日至6日，波兰克拉科夫，MFCS’96。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1113, 218-229 (1996).
MSC公司：03B40型 68号01 68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{V.Bono}等人，Lect。注释计算。科学。1113、218--229（1996；Zbl 0896.03016）
M.布格列西。;纳迪埃洛，G。

SelfLog：语言和实现。 （英语） Zbl 0850.68127号

Bruynooghe，Maurice（编辑）等人，《编程语言实现和逻辑编程》。1993年8月25日至27日，爱沙尼亚塔林，第五届国际研讨会，PLILP’93。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。714, 412-413 (1993).
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.Bugliesi}和\textit{G.Nardiello}，莱克特。注释计算。科学。714412--413（1993；Zbl 0850.68127）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件