Search results for "Mobile Ambients"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Giorgio Delzanno, Roberto Montagna	Reachability analysis of fragments of mobile ambients in AC term rewriting.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Petri nets, Term rewriting, Reachability, Mobile ambients
3	Huimin Lin	Predicate µ-Calculus for Mobile Ambients.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	model checking, mu-calculus, fixpoints, spatial logic, mobile ambients
2	Virginia N. L. Franqueira, Raul H. C. Lopes, Pascal van Eck	Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients.	SAC	2009	DBLP DOI BibTeX RDF	hypergraph, attack graph, vulnerability assessment, network attack
2	Virginia N. L. Franqueira, Pascal van Eck, Roel Wieringa, Raul H. C. Lopes	A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation.	ARES	2009	DBLP DOI BibTeX RDF
2	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	Reactive Systems, Barbed Semantics, and the Mobile Ambients.	FOSSACS	2009	DBLP DOI BibTeX RDF
2	Bogdan Aman, Gabriel Ciobanu	Timed Mobile Ambients for Network Protocols.	FORTE	2008	DBLP DOI BibTeX RDF
2	Fabio Gadducci, Giacoma Valentina Monreale	A Decentralized Implementation of Mobile Ambients.	ICGT	2008	DBLP DOI BibTeX RDF
2	Rongde Lin, Jianqing Xi, Yubin Guo	Dormancy and Spatial Logic of Mobile Ambients.	FSKD	2008	DBLP DOI BibTeX RDF
2	Doina Bucur, Mogens Nielsen	Secure Data Flow in a Calculus for Context Awareness.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	security, Ubiquitous Computing, context awareness, type system, Mobile Ambients
2	Bogdan Aman, Gabriel Ciobanu	Timers and Proximities for Mobile Ambients.	CSR	2007	DBLP DOI BibTeX RDF
2	Bogdan Aman, Gabriel Ciobanu	Mobile Ambients with Timers and Types.	ICTAC	2007	DBLP DOI BibTeX RDF
2	Thomas Bolander, René Rydhof Hansen	Hybrid Logical Analyses of the Ambient Calculus.	WoLLIC	2007	DBLP DOI BibTeX RDF	static analysis, Hybrid logic, mobile ambients
2	Gabriel Ciobanu, Vladimir A. Zakharov	Encoding Mobile Ambients into the pi -Calculus.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
2	Giorgio Delzanno, Roberto Montagna	Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting.	ICTAC	2006	DBLP DOI BibTeX RDF
2	Massimo Merro, Francesco Zappa Nardelli	Behavioral theory for mobile ambients.	J. ACM	2005	DBLP DOI BibTeX RDF	Behavioral theories, concurrency, programming languages, bisimulation, process calculi
2	Dino Distefano	A Parametric Model for the Analysis of Mobile Ambients.	APLAS	2005	DBLP DOI BibTeX RDF
2	Nadia Busi, Gianluigi Zavattaro	Deciding Reachability in Mobile Ambients.	ESOP	2005	DBLP DOI BibTeX RDF
2	Roberta Gori, Francesca Levi	A New Occurrence Counting Analysis for BioAmbients.	APLAS	2005	DBLP DOI BibTeX RDF	Mobile Ambients and BioAmbients calculus, static analysis, abstract interpretation
2	Massimo Merro, Francesco Zappa Nardelli	Bisimulation Proof Methods for Mobile Ambients.	ICALP	2003	DBLP DOI BibTeX RDF
2	Linda Brodo, Pierpaolo Degano, Corrado Priami	Reflecting Mobile Ambients into the p-Calculus.	Global Computing	2003	DBLP DOI BibTeX RDF
2	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa	Reasoning about Security in Mobile Ambients.	CONCUR	2001	DBLP DOI BibTeX RDF
2	Gian Luigi Ferrari, Emilio Tuosto	A debugging calculus for mobile ambients.	SAC	2001	DBLP DOI BibTeX RDF
2	Jérôme Feret	Abstract Interpretation-Based Static Analysis of Mobile Ambients.	SAS	2001	DBLP DOI BibTeX RDF
2	Francesca Levi, Sergio Maffeis	An Abstract Interpretation Framework for Analysing Mobile Ambients.	SAS	2001	DBLP DOI BibTeX RDF
2	Witold Charatonik, Jean-Marc Talbot	The Decidability of Model Checking Mobile Ambients.	CSL	2001	DBLP DOI BibTeX RDF
2	Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen	Validating Firewalls in Mobile Ambients.	CONCUR	1999	DBLP DOI BibTeX RDF
1	Fabio Gadducci, Giacoma Valentina Monreale	A decentralised graphical implementation of mobile ambients.	J. Log. Algebr. Program.	2011	DBLP DOI BibTeX RDF
1	Julian Rathke, Pawel Sobocinski	Deriving structural labelled transitions for mobile ambients.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
1	Bogdan Aman, Gabriel Ciobanu	Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients.	Scholarpedia	2010	DBLP DOI BibTeX RDF
1	Linda Brodo	On the Expressiveness of the pi-Calculus and the Mobile Ambients.	AMAST	2010	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti	Probabilistic Mobile Ambients.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Nadia Busi, Gianluigi Zavattaro	Deciding reachability problems in Turing-complete fragments of Mobile Ambients.	Mathematical Structures in Computer Science	2009	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Roberto Montagna	Deciding Reachability in Mobile Ambients with Name Restriction.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding).	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Bjørn Haagensen, Hans Hüttel	Parametrised Constants and Replication for Spatial Mobility.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Julian Rathke, Pawel Sobocinski	Deriving Structural Labelled Transitions for Mobile Ambients.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Hua Jiang, Xinxing Tan, Xiang Li	Boxed Safe Ambients with Password and Application on the Internet.	ICNSC	2008	DBLP DOI BibTeX RDF
1	Zhang Hong, Liu Lei	An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting.	ISECS	2008	DBLP DOI BibTeX RDF	Boxed Ambients, the ambient occurrence counting, abstract interpretation
1	Ion Petre, Grzegorz Rozenberg	Summary of the Workshop on Natural Computing and Graph Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
1	Bogdan Aman, Gabriel Ciobanu	Translating Mobile Ambients into P Systems.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani	Oz/K: a kernel language for component-based open programming.	GPCE	2007	DBLP DOI BibTeX RDF	open programming, locality, components
1	Yuxi Fu	Fair ambients.	Acta Inf.	2007	DBLP DOI BibTeX RDF
1	Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo	Typed Mobile Ambients in Maude.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Nour Ali, Carlos Millán, Isidro Ramos	Developing Mobile Ambients Using an Aspect-Oriented Software Architectural Model.	OTM Conferences	2006	DBLP DOI BibTeX RDF
1	Nour Ali, Jennifer Pérez, Cristóbal Costa Soria, Isidro Ramos, José A. Carsí	Mobile Ambients in Aspect-Oriented Software Architectures.	SET	2006	DBLP DOI BibTeX RDF
1	Victor Moraru, Traian Muntean, Emilian Gutuleac	Towards a Model for Broadcasting Secure Mobile Processes.	ISPDC	2006	DBLP DOI BibTeX RDF
1	Roberta Gori, Francesca Levi	An Analysis for Proving Temporal Properties of Biological Systems.	APLAS	2006	DBLP DOI BibTeX RDF
1	Marino Miculan, Giorgio Bacci	Modal Logics for Brane Calculus.	CMSB	2006	DBLP DOI BibTeX RDF
1	Thomas T. Hildebrandt, Henning Niss, Martin Olsen	Formalising Business Process Execution with Bigraphs and Reactive XML.	COORDINATION	2006	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi	Flow-sensitive Leakage Analysis in Mobile Ambients.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Henning Makholm, J. B. Wells	Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.	ESOP	2005	DBLP DOI BibTeX RDF
1	Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi	Separation Results Via Leader Election Problems.	FMCO	2005	DBLP DOI BibTeX RDF
1	Nadia Busi, Gianluigi Zavattaro	Reachability Analysis in Boxed Ambients.	ICTCS	2005	DBLP DOI BibTeX RDF
1	Nadia Busi, Gianluigi Zavattaro	On the expressive power of movement and restriction in pure mobile ambients.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Francesca Levi, Sergio Maffeis	On abstract interpretation of Mobile Ambients.	Inf. Comput.	2004	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Elio Giovannetti	Type Inference for Mobile Ambients in Prolog.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Nesting analysis of mobile ambients.	Computer Languages, Systems & Structures	2004	DBLP DOI BibTeX RDF
1	Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese	Dynamic and Local Typing for Mobile Ambients.	IFIP TCS	2004	DBLP BibTeX RDF
1	Massimo Merro, Francesco Zappa Nardelli	Behavioural Theory for Mobile Ambients.	IFIP TCS	2004	DBLP BibTeX RDF
1	Torben Amtoft, Henning Makholm, J. B. Wells	PolyA: True Type Polymorphism for Mobile Ambients.	IFIP TCS	2004	DBLP BibTeX RDF
1	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa	Access control for mobile agents: The calculus of boxed ambients.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Ambient calculi, access control systems, mobile computation, type systems, type safety
1	Zining Cao	A Uniform Reduction Equivalence for Process Calculi.	APLAS	2004	DBLP DOI BibTeX RDF
1	Iain Phillips, Maria Grazia Vigliotti	Electoral Systems in Ambient Calculi.	FoSSaCS	2004	DBLP DOI BibTeX RDF
1	David Teller, Pascal Zimmer, Daniel Hirschkoff	Using ambients to control resources.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Type system, Process algebra, Resource control, Global computing
1	Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson	Abstract interpretation of mobile ambients.	Sci. Comput. Program.	2003	DBLP DOI BibTeX RDF
1	Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot	Model checking mobile ambients.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Andrew D. Gordon, Luca Cardelli	Equational Properties Of Mobile Ambients.	Mathematical Structures in Computer Science	2003	DBLP DOI BibTeX RDF
1	Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo	Mobility Types for Mobile Processes in Mobile Ambients.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Complexity of Nesting Analysis in Mobile Ambients.	VMCAI	2003	DBLP DOI BibTeX RDF	Complexity, Static Analysis, Ambient Calculus
1	Vladimir Rogozhin, Elena Boian	Simulation of Mobile Ambients by P Systems. Part 1.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
1	Francesca Levi, Davide Sangiorgi	Mobile safe ambients.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	behavioral equivalences, Mobility, interferences
1	Elio Giovannetti	Ambient Calculi with Types: A Tutorial.	Global Computing	2003	DBLP DOI BibTeX RDF
1	David von Oheimb, Volkmar Lotz	Generic Interacting State Machines and Their Instantiation with Dynamic Features.	ICFEM	2003	DBLP DOI BibTeX RDF
1	Furio Honsell, Ivan Scagnetto	Mobility Types in Coq.	TYPES	2003	DBLP DOI BibTeX RDF
1	Nadia Busi, Gianluigi Zavattaro	On the Expressiveness of Movement in Pure Mobile Ambients.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Maria Grazia Vigliotti, Iain Phillips	Barbs and Congruences for Safe Mobile Ambients.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi	Security boundaries in mobile ambients.	Comput. Lang.	2002	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi	Control Flow Analysis of Mobile Ambients with Security Boundaries.	FMOODS	2002	DBLP BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel	Boundary Inference for Enforcing Security Policies in Mobile Ambients.	IFIP TCS	2002	DBLP BibTeX RDF
1	Mario Coppo, Mariangiola Dezani-Ciancaglini	A Fully Abstract Model for Higher-Order Mobile Ambients.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot	Finite-Control Mobile Ambients.	ESOP	2002	DBLP DOI BibTeX RDF
1	Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi	Separability, Expressiveness, and Decidability in the Ambient Logic.	LICS	2002	DBLP DOI BibTeX RDF
1	Mikkel Nygaard, Glynn Winskel	HOPLA-A Higher-Order Process Language.	CONCUR	2002	DBLP DOI BibTeX RDF
1	David Teller, Pascal Zimmer, Daniel Hirschkoff	Using Ambients to Control Resources.	CONCUR	2002	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz	Security for Mobility.	FOSAD	2002	DBLP DOI BibTeX RDF
1	Agostino Cortesi, Riccardo Focardi	Information Flow Security in Mobile Ambients.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Fabio Gadducci, Ugo Montanari	A Concurrent Graph Semantics for Mobile Ambients.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Mario Coppo, Mariangiola Dezani-Ciancaglini	A Fully Abstract Model for Mobile Ambients.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson, Flemming Nielson	Shape Analysis for Mobile Ambients.	Nord. J. Comput.	2001	DBLP BibTeX RDF
1	Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot	The Complexity of Model Checking Mobile Ambients.	FoSSaCS	2001	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa	Subtyping and Matching for Mobile Objects.	ICTCS	2001	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa	Boxed Ambients.	TACS	2001	DBLP DOI BibTeX RDF
1	Luca Cardelli, Andrew D. Gordon	Mobile ambients.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	Pascal Zimmer	On the Expressiveness of Pure Mobile Ambients.	Electr. Notes Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	Luca Cardelli, Andrew D. Gordon	Anytime, Anywhere: Modal Logics for Mobile Ambients.	POPL	2000	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson, Flemming Nielson	Shape Analysis for Mobile Ambients.	POPL	2000	DBLP DOI BibTeX RDF
1	Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt	An Asynchronous, Distributed Implementation of Mobile Ambients.	IFIP TCS	2000	DBLP DOI BibTeX RDF
1	Pascal Zimmer	Subtyping and Typing Algorithms for Mobile Ambients.	FoSSaCS	2000	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv	A Kleene Analysis of Mobile Ambients.	ESOP	2000	DBLP DOI BibTeX RDF