Filters








12,075 Hits in 2.2 sec

Communication Interference in Mobile Boxed Ambients [chapter]

Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Boxed Ambients (BA) replace Mobile Ambients'open capability with communication primitives acting across ambient boundaries.  ...  We study a variant of BA aimed at controlling communication interferences as well as mobility ones.  ...  Conclusion and Future Work We presented NBA, a new foundation for the calculus of Boxed Ambients that eliminates grave communication interferences without renouncing to mobility and with no further lost  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36206-1_8">doi:10.1007/3-540-36206-1_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fz6ogeac7nbd7oeimqulgqio6q">fatcat:fz6ogeac7nbd7oeimqulgqio6q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808224018/https://eprints.soton.ac.uk/262291/1/nbaFSTTCSoff.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/70/07/70071862cac2e24300c290bb0ec481a769d4f626.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36206-1_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Information Flow Security for Boxed Ambients

Silvia Crafa, Michele Bugliesi, Giuseppe Castagna
<span title="">2002</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Ambient Types. Like Mobile Ambients, Boxed Ambients are 'places of conversation'.  ...  The non-interference proof draws on the technical tools developed by Cardelli and Gordon for Mobile Ambients [9] , adapting them to our Boxed Ambients. The .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80417-1">doi:10.1016/s1571-0661(04)80417-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b3ai4s7oojbnjfkkmjd2svszke">fatcat:b3ai4s7oojbnjfkkmjd2svszke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040822000501/http://www.dsi.unive.it:80/myths/reports/papers/ba-fwan02.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9b/f9/9bf99776daf993f4b7e26f388772b32bd846b8d8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80417-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Splitting Mobility and Communication in Boxed Ambients

Pablo Garralda, Adriana Compagnoni
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Stemming from our previous work on BACI, a boxed ambient calculus with communication interfaces, we define a new calculus that further enhances communication mechanisms and mobility control by introducing  ...  Bonelli et al. [1] introduced the notion of local views in the calculus of Boxed Ambients with Communication Interfaces (BACI).  ...  This restriction is used to create truly private communication channels, preventing undesired communication interferences.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.09.021">doi:10.1016/j.entcs.2005.09.021</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ct6rdrhcnjdmpl35pqdse4g6f4">fatcat:ct6rdrhcnjdmpl35pqdse4g6f4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171002161914/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/ba5/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNjAwMDg3OQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/70/56/7056a3a0711971d9543c00d0a5e884488bd8e146.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.09.021"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Reasoning about Security in Mobile Ambients [chapter]

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
<span title="">2001</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems.  ...  As it turns out, MAC security does not appear to have fully convincing interpretations in the calculus. The second part proposes a solution to this impasse, based on a variant of Mobile Ambients.  ...  1 :hNi ] ] ] a in r:open o:(x)out r:P j i out a:(x)o in a:hxi ] ] ] ] ] ] j r ! open i j hMi ] ] Boxed Ambients are a variant of Cardelli and Gordon's Mobile Ambients.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44685-0_8">doi:10.1007/3-540-44685-0_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jmwdjoz3hncmbe22fkca3dphli">fatcat:jmwdjoz3hncmbe22fkca3dphli</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110527022244/http://www.pps.jussieu.fr/~gc/papers/concur01a.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e2/93/e2936f309a067f9bd26c1bb3b59553dc086b5dc9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44685-0_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Access control in mobile ambient calculi: A comparative view

Ines Margaria, Maddalena Zacchi
<span title="">2008</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Ambient Calculi represent a class of process calculi used to describe and model mobile and distributed computations.  ...  Two examples have been chosen to illustrate these topics: the firewall and the communication by means of named channels.  ...  The boxed ambient calculus Boxed Ambient Calculus (BA) is introduced in [4] with the aim of ensuring the possibility of remote communication in absence of the "open" primitive, so eliminating the problem  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2008.01.024">doi:10.1016/j.tcs.2008.01.024</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2uxkcqtuuzgsloh3bmmeto5av4">fatcat:2uxkcqtuuzgsloh3bmmeto5av4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170925111025/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/279/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzUwODAwMDY3NA%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/50/0c/500c9adc966f475dff36617ab532388a724b6336.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2008.01.024"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Boxed Ambients [chapter]

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
<span title="">2001</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Boxed Ambients are a variant of Mobile Ambients, that result from (i) dropping the open capability and (ii) providing new primitives for ambient communication while retaining the constructs in and out  ...  The new model of communication is faithful to the principles of distribution and locationawareness of Mobile Ambients, and complements the constructs for Mobile Ambient mobility with finer-grained, and  ...  Also, our form of communication is anonymous, and based on a notion of locality which is absent in the Boxed-Calculus.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45500-0_2">doi:10.1007/3-540-45500-0_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2v37ies73rdq7bs52uoe6i2j2q">fatcat:2v37ies73rdq7bs52uoe6i2j2q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110527020650/http://www.pps.jussieu.fr/~gc/papers/tacs01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e0/85/e0855b56bf1e604625806b3b1fde80f25ae3982e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45500-0_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Guardians for Ambient-Based Monitoring

G. Ferrari, E. Moggi, R. Pugliese
<span title="">2002</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may contain processes (data) and sub-ambients.  ...  At the operational level these (box-and) ambient-based calculi differ only in the capabilities of processes.  ...  Boxed Ambients: an ambient-based language In this section we present Boxed Ambients [BCC01a] (BA, in the rest of the paper), an ambient-based language inspired by Mobile Ambients [CG00b] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80416-x">doi:10.1016/s1571-0661(04)80416-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lp5zskhbencw3ozvaed3dwbjp4">fatcat:lp5zskhbencw3ozvaed3dwbjp4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810064844/http://www.disi.unige.it/person/MoggiE/ftp/fwan02.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/45/b5/45b5899fedc9f2ed1f503dba25eef47a5e057b62.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80416-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Information Leakage Detection in Boundary Ambients1 1Partially supported by MIUR Projects "Interpretazione Astratta, Type Systems e Analisi Control-Flow" and "Modelli formali per la sicurezza", and the EU Contract IST-2001-32617 "Models and Types for Security in Mobile Distributed Systems"

Chiara Braghin, Agostino Cortesi, Riccardo Focardi
<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
A variant of Mobile Ambient Calculus is introduced, called Boundary Ambient, to model multilevel security policies.  ...  In this setting, we define a notion of non-interference which captures the absence of any (both direct and indirect) information leakage.  ...  programs do not interfere when in parallel with any high-level source is studied for Boxed Ambients.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)81010-7">doi:10.1016/s1571-0661(04)81010-7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4ix4b43xmjgm7kwhu47dhupxi4">fatcat:4ix4b43xmjgm7kwhu47dhupxi4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170925171504/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/2d1/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNDgxMDEwNw%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/21/9c/219c6253f58bf0367aa60637ec6d8e38e4ff884b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)81010-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Distributed Object-Oriented Programming with RFID Technology [chapter]

Andoni Lombide Carreton, Kevin Pinte, Wolfgang De Meuter
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper, we propose extending the ambient-oriented programming paradigm to program RFID applications, by considering RFID tags as intermittently connected mutable proxy objects hosted on mobile distributed  ...  However, communicating with RFID tags is prone to many failures inherent to the technology.  ...  In mobile RFID-enabled applications, communication with RFID tags is prone to many failures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-13645-0_5">doi:10.1007/978-3-642-13645-0_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bjngkjrr6bbinbgfdcihfoht6u">fatcat:bjngkjrr6bbinbgfdcihfoht6u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150921184938/http://dl.ifip.org/db/conf/dais/dais2010/CarretonPM10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d6/ad/d6ad2eb8003e1b409857816cd7c4fdcf57dcd839.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-13645-0_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Distributed Abstract Machine for Boxed Ambient Calculi [chapter]

Andrew Phillips, Nobuko Yoshida, Susan Eisenbach
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Boxed ambient calculi have been used to model and reason about a wide variety of problems in mobile computing.  ...  of Boxed Ambients has not yet been implemented in a distributed environment.  ...  and migration interferences in Boxed Ambients.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24725-8_12">doi:10.1007/978-3-540-24725-8_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nnzptt2dabaoxmqo6i7mlqimiy">fatcat:nnzptt2dabaoxmqo6i7mlqimiy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170824194150/https://link.springer.com/content/pdf/10.1007%2F978-3-540-24725-8_12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8d/9f/8d9f72963d49b136c06d2fe2b40d04b8836b0e03.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24725-8_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

On the Relative Expressive Power of Ambient-Based Calculi [chapter]

Daniele Gorla
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In particular, we discuss and compare: objective moves in Mobile Ambients; passwords and a different semantics for the out primitive in Safe Ambients; different communication and mobility primitives in  ...  Boxed Ambients.  ...  its dialect with passwords) and Boxed Ambients (compared with the dialects resulting from some variations of its communication and mobility primitives).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-00945-7_9">doi:10.1007/978-3-642-00945-7_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hu7fq6t5nzfn3cz5jeloshsxdi">fatcat:hu7fq6t5nzfn3cz5jeloshsxdi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706090547/http://wwwusers.di.uniroma1.it/~gorla/papers/G-TGC08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/20/dd/20ddc41a1914109c003fe1053472944d85065dad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-00945-7_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Passive Communication with Ambient Light

Qing Wang, Marco Zuniga, Domenico Giustiniano
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jcgktu6pa5g3lncohtnbgbk4im" style="color: black;">Proceedings of the 12th International on Conference on emerging Networking EXperiments and Technologies - CoNEXT &#39;16</a> </i> &nbsp;
In this work, we propose a new communication system for illuminated areas, indoors and outdoors.  ...  We instead propose that the environment itself modulates the ambient light signals: if mobile elements 'wear' patterns consisting of distinctive reflecting surfaces, single photodiode could decode the  ...  Acknowledgement This research work was funded in part by Ministerio de Economía y Competitividad grant TEC2014-55713-R and by the Madrid Regional Government through the TIGRE5-CM program (S2013/ICE-2919  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2999572.2999584">doi:10.1145/2999572.2999584</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/conext/WangZG16.html">dblp:conf/conext/WangZG16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ae5y5iec4zhu5ddu3a6l4xasya">fatcat:ae5y5iec4zhu5ddu3a6l4xasya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170616083117/http://eprints.networks.imdea.org:80/1440/1/con073s-CoNEXT16.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/00/0d0099bd4609d73d0744505618eb902c5a35d02e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2999572.2999584"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Access control for mobile agents

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
<span title="2004-01-01">2004</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4hplau6wtnhnfnqt2t7vbri6vm" style="color: black;">ACM Transactions on Programming Languages and Systems</a> </i> &nbsp;
Boxed Ambients are a variant of Mobile Ambients that result from dropping the open capability, and introducing new primitives for ambient communication.  ...  Boxed Ambients inherit from MA the primitives in and out for mobility, but not open, and introduce direct primitives for communication across ambient boundaries, between parent and child.  ...  Acknowledgments The stimulating cricitism and valuable suggestions by the anonymous referees of TOPLAS were of great help in improving the presentation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/963778.963781">doi:10.1145/963778.963781</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jozjwfnlavbhhg3scuos62a754">fatcat:jozjwfnlavbhhg3scuos62a754</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060520143455/http://www.dsi.unive.it:80/~michele/Papers/toplas04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/75/18/7518f36d56a6c7a34095dfb6f5c264a42b20d104.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/963778.963781"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Preface

Jos Baeten, Flavio Corradini
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Then they use this formalism to describe the prefixing policy of standard calculi as a particular form of communication.  ...  calculus into solos by Laneve and Victor, proving that communication by fusion is expressive enough to implement arbitrary monotonic guards.  ...  They also show that the calculus of Boxed Ambients is more expressive than its communication-free fragment.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2006.02.013">doi:10.1016/j.tcs.2006.02.013</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wdgdcayxmzgd7pcucwsxso2n4y">fatcat:wdgdcayxmzgd7pcucwsxso2n4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224200132/https://core.ac.uk/download/pdf/82369999.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/18/c5/18c567316c58859dca934b7d06d150d4e3d5e7ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2006.02.013"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Role-based access control for boxed ambients

Adriana Compagnoni, Elsa L. Gunter, Philippe Bidinger
<span title="">2008</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
We define BACI R , a boxed ambient calculus extended with a Distributed Role-Based Access Control mechanism where each ambient controls its own access policy.  ...  This tendency has prompted the academic community to study the security problems arising from such mobile environments, and in particular, the security policies regulating who can access the information  ...  Boxed Ambients with Communication Interfaces (BACI) [3] , introduced the notion of local views. In this calculus, each ambient has an associated communication port and a local view.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2008.01.040">doi:10.1016/j.tcs.2008.01.040</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6nbtlr7menaw7gsgvvpkwjme5i">fatcat:6nbtlr7menaw7gsgvvpkwjme5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170929150044/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/7cb/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzUwODAwMDY4Ng%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d8/f2/d8f26c00f772981152bdac9ac6d0bdf589e6dbeb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2008.01.040"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 12,075 results