×

多方通信中的自适应和安全信息流。 (英语) Zbl 1345.68232号


MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
64岁以下 分布式系统

软件:

AIOCJ公司
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Austin TH,Flanagan C(2012)《动态信息流的多方面》。收录于:POPL 2012。纽约ACM出版社,第165-178页·Zbl 1321.68034号
[2] Askarov A,Sabelfeld A(2009)《严格执行动态语言的信息发布政策》。收录:CSF 2009。IEEE计算机学会,纽约,第43-59页
[3] Bugliesi M、Castagna G、Crafa S(2004)《移动代理的访问控制:装箱环境的演算》。在:ACM跨程序语言系统26(1):57-124
[4] Bono V、Capecchi S、Castellani I、Dezani-Ciancaglini M(2012)多角色会话的声誉系统。收件人:TGC 2011。LNCS,第7173卷。柏林施普林格,第1-24页·Zbl 1361.68165号
[5] Bhargavan K、Corin R、Deniélou P、Fournet C、Leifer JJ(2009)多方会话的密码协议合成和验证。收录:CSF 2009。IEEE计算机学会,纽约,第124-140页
[6] Bocchi L、Chen T、Demangeon R、Honda K、Yoshida N(2013)通过多方会话类型监测网络。收录于:FMOODS/FORTE 2013。LNCS,第7892卷。柏林施普林格,第50-65页·兹比尔1359.68215
[7] Bartoletti M、Castellani I、Deniélou P、Dezani-Ciancaglini M、Ghilezan S、Pantovic J、Pérez JA、Thiemann P、Toninho B、Torres Vieira H(2015)《行为类型与安全分析相结合》。J Log Algebr方法程序84(6):763-780(并发理论开放问题专刊)·Zbl 1330.68045号
[8] Bruni R、Corradini A、Gadducci F、Lluch-Lafuente A、Vandin A(2012)《适应的概念框架》。收录于:FASE 2012。LNCS,第7212卷。柏林施普林格,第240-254页·Zbl 1361.68165号
[9] Bravetti M、Carbone M、Hildebrandt TT、Lanese I、Mauro J、Pérez JA、Zavataro G(2014)《适应的全球和地方类型》。收录于:SEFM 2013。LNCS,第8368卷。柏林施普林格,第3-14页
[10] Bravetti M,Di Giusto C,Pérez JA,Zavattaro G(2012)适应性流程。In:计算机科学中的逻辑方法8(4)·Zbl 1253.68237号
[11] Bielova N,Massacci F(2011)计算机辅助生成容错政策的执行机制。包含:2011年政策。IEEE计算机学会出版社,纽约,第89-96页
[12] Boudol G(2009)将信息流作为安全属性加以保护。In:FAST 2008。LNCS,第5491卷。柏林施普林格,第20-34页·Zbl 1341.68027号
[13] Bocchi L、Yang W、Yoshida N(2014)《定时多方会话类型》。于:CONCUR 2014。LNCS,第8704卷。柏林施普林格,第419-434页·Zbl 1417.68117号
[14] Capecchi S、Castellani I、Dezani-Ciancaglini M(2014)《会话中的打字访问控制和安全信息流》。Inf.计算。238:68-105 ·Zbl 1360.68207号
[15] Capecchi S、Castellani I、Dezani-Ciancaglini M(2015)多党会议中的信息流安全。在:计算机科学中的数学结构。第一视图:1-43。doi:10.1017/S0960129514000619。(CJO2015上提供)·兹比尔1362.68204
[16] Coppo M、Dezani-Ciancaglini M、Venneri B(2015)自适应多党会议。服务方向计算应用9(3-4):249-268·doi:10.1007/s11761-014-0171-9
[17] Coppo M、Dezani-Ciancaglini M、Yoshida N、Padovani L(2016)动态交错多党会议的全球进展。数学结构计算科学26(2):238-302·Zbl 1361.68165号 ·doi:10.1017/S0960129514000188
[18] Castellani I、Dezani-Ciancaglini M、Pérez JA(2014)《多方结构化通信中的自适应和安全信息流:统一的观点》。于:BEAT 2014。EPTCS,第162卷。美国公开出版协会,第9-18页
[19] Carbone M、Honda K、Yoshida N(2012)《web服务以结构化通信为中心的编程》。ACM跨程序语言系统34(2):8-1878·Zbl 1187.68064号 ·doi:10.1145/220365.2220367
[20] Denning DE(1976)安全信息流的格子模型。通信ACM 19(5):236-243·Zbl 0322.68034号
[21] Dalla PredaM、Giallorenzo S、Lanese I、Mauro J、GabbrielliM(2014)AIOCJ:安全自适应分布式应用程序的舞蹈框架。包含:SLE 2014。LNCS,第8706卷。柏林施普林格,第161-170页
[22] Devriese D,Piessens F(2010)《通过安全多执行实现无干扰》。摘自:安全与隐私2010。美国IEEE计算机学会,第109-124页·Zbl 1426.68047号
[23] Di Giusto C,Pérez JA(2013)具有一致运行时适应性的有纪律的结构化通信。摘自:SAC 2013。纽约ACM出版社,第1913-1918页
[24] Di Giusto C,Pérez JA(2015)有纪律的结构化通信与有纪律的运行时适应。In:科学计算程序97:235-265
[25] Di Giusto C,Perez JA(2016)以通信为中心的系统中基于事件的运行时自适应方法。In:Web服务、形式方法和行为类型。LNCS,第9421卷。柏林施普林格,第67-85页(《计算的形式方面》中出现的扩展版本)
[26] Garralda P、Compagnoni AB、Dezani-Ciancaglini M(2006)BASS:安全会议的盒装环境。收录于:PPDP 2006。纽约ACM出版社,第61-72页
[27] Gay S,Hole M(2005)π演算中会话类型的子类型。信息学学报42(2/3):191-225·Zbl 1079.68065号 ·doi:10.1007/s00236-005-0177-z
[28] Hüttel H、Lanese I、Vasconcelos VT、Caires L、Carbone M、Deniélou P、Mostrous D、Padovani L、Ravara A、Tuosto E、Torres Vieira H、Zavataro G(2016)《会话类型和行为合同基础》。ACM计算概况49(1):3:1-3:36
[29] Honda K,Vasconcelos VT,Kubo M(1998)结构化通信编程的语言原语和类型规程。In:1998年员工持股计划。LNCS,第1381卷。柏林施普林格,第22-138页
[30] Honda K、Yoshida N、Carbone M(2008)多方异步会话类型。收录:POPL 2008。纽约ACM出版社,第273-284页·Zbl 1295.68150号
[31] Honda K,Yoshida N,Carbone M(2016)多方异步会话类型。美国临床医学杂志63(1):9·Zbl 1295.68150号 ·doi:10.1145/2827695
[32] Ligatti J,Bauer L,Walker D(2005)编辑自动机:运行时安全策略的实施机制。国际信息安全杂志4(1-2):2-16·doi:10.1007/s10207-004-0046-8
[33] Le Guernic G、Banerjee A、Jensen TP、Schmidt DA(2006)《基于自动化的机密性监控》。摘自:Springer(ed)ASIAN 2006。LNCS,第4435卷,第75-89页
[34] Leite LAF、Ansaldi Oliva G、Nogueira MG、Gerosa MA、Kon F、Milojicic DS(2013)《服务舞蹈改编的系统文献综述》。面向服务的计算应用程序7(3):199-216·doi:10.1007/s11761-012-0125-z
[35] Myers AC,Liskov B(2000)使用去中心化标签模型保护隐私。输入:ACM Trans Softw Eng Methodol 9:410-442
[36] Padovani L(2011)会话类型=交叉点类型+联合类型。In:ITRS 2010。EPTCS,第45卷。美国公开出版协会,第71-89页·Zbl 1457.68191号
[37] Planul J、Corin R、Fournet C(2009)全球工艺规范的安全实施。于:CONCUR 2009。LNCS,第5710卷。柏林施普林格,第511-526页·Zbl 1254.68177号
[38] Pierce BC(2002)类型和编程语言。麻省理工学院出版社,美国·Zbl 0995.68018号
[39] Pottier F,Simonet V(2003)ML ACM跨程序语言系统的信息流推断25(1):117-158·兹比尔1323.68148 ·数字对象标识代码:10.1145/596980.596983
[40] Russo A、Sabelfeld A、Chudnov A(2009)《动态树结构中的信息流跟踪》。In:ESORICS 2009。LNCS,第5789卷。柏林施普林格,第86-103页·Zbl 1481.94006号
[41] 施耐德FB(2000)《可强制执行的安全政策》。ACM传输信息系统安全3(1):30-50·数字对象标识代码:10.1145/353323.353382
[42] Sabelfeld A,Myers AC(2003)基于语言的信息流安全。IEEE J选择区域通信21(1):5-19·doi:10.1109/JSAC.2002.806121
[43] Sabelfeld A,Russo A(2010),从动态到静态再到反向:信息流控制研究的过山车。于:PSI 2009。LNCS,第5947卷。柏林施普林格,第352-365页
[44] Zheng L,Myers AC(2007)动态安全标签和静态信息流控制。国际信息安全杂志6:67-84·doi:10.1007/s10207-007-0019-9
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。