Resource access control in systems of mobile agents
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1231689
- scientific article; zbMATH DE number 2038704
- scientific article; zbMATH DE number 1956519
- Towards a behavioural theory of access and mobility control in distributed systems
- Path-history-based access control for mobile agents
- Types for access control in a calculus of mobile resources
- scientific article; zbMATH DE number 1947677
- scientific article; zbMATH DE number 1717261
Cites work
- scientific article; zbMATH DE number 954809 (Why is no real title available?)
- scientific article; zbMATH DE number 1231689 (Why is no real title available?)
- scientific article; zbMATH DE number 2077122 (Why is no real title available?)
- scientific article; zbMATH DE number 1500657 (Why is no real title available?)
- A calculus of mobile agents
- A calculus of mobile processes. II
- Implicit typing à la ML for the join-calculus
- Mobile ambients
- Trust and partial typing in open systems of mobile agents
Cited in
(64)- Role-based access control for boxed ambients
- Security Types for Dynamic Web Data
- Boxed ambients with communication interfaces
- Co-algebraic models for quantitative spatial logics
- Behavioural equivalences for dynamic web data
- Name-passing calculi: from fusions to preorders and types
- Full abstraction for polymorphic \(\pi \)-calculus
- Types for access control in a calculus of mobile resources
- Strategy based semantics for mobility with time and access permissions
- Dynamic structural operational semantics
- Trust and partial typing in open systems of mobile agents
- Event based choreography
- scientific article; zbMATH DE number 1956519 (Why is no real title available?)
- scientific article; zbMATH DE number 2242581 (Why is no real title available?)
- Towards an algebraic theory of typed mobile processes
- Semantic subtyping for the pi-calculus
- scientific article; zbMATH DE number 2038704 (Why is no real title available?)
- Adding recursion to Dpi
- Types for role-based access control of dynamic web data
- Symmetric electoral systems for ambient calculi
- scientific article; zbMATH DE number 1231689 (Why is no real title available?)
- Mobility Control Via Passports
- Modelling dynamic web data
- Spatial-Behavioral Types, Distributed Services, and Resources
- From flow logic to static type systems for coordination languages
- On the relative expressive power of calculi for mobility
- Interaction in time and space
- Types and full abstraction for polyadic \(\pi\)-calculus
- Security types for dynamic web data
- A formal approach to the engineering of domain-specific distributed systems
- scientific article; zbMATH DE number 7649947 (Why is no real title available?)
- The seal calculus
- Dynamic management of capabilities in a network aware coordination language
- Towards a unified approach to encodability and separation results for process calculi
- A theory of system behaviour in the presence of node and link failure
- Assigning types to processes
- A taxonomy of process calculi for distribution and mobility
- Space-aware ambients and processes
- Towards a behavioural theory of access and mobility control in distributed systems
- safeDpi: a language for controlling mobile code
- Spatial-behavioral types for concurrency and resource control in distributed systems
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- A theory for observational fault tolerance
- Types for ambient and process mobility
- Tagged systems: a framework for the specification of history-dependent properties
- Dynamics of reputation in mobile agents systems and weighted timed automata
- Mobility control via passports
- On the expressive power of \textsc{Klaim}-based calculi
- Network-conscious \(\pi\)-calculus -- a model of Pastry
- The security pi-calculus and non-interference
- A Calculus for Modeling Floating Authorizations
- A calculus for modeling floating authorizations
- Network Conscious π-calculus: A Concurrent Semantics
- Name-passing in an ambient-like calculus and its proof using spatial logic
- The \(C_\pi\)-calculus: a model for confidential name passing
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi
- Typed behavioural equivalences for processes in the presence of subtyping
- A generic type system for higher-order \(\Psi\)-calculi
- Multiple-Labelled Transition Systems for nominal calculi and their logics
- A type system for Discretionary Access Control
- A generic type system for higher-order \(\Psi\)-calculi
- scientific article; zbMATH DE number 2247716 (Why is no real title available?)
- A session type system for asynchronous unreliable broadcast communication
- CONCUR 2004 - Concurrency Theory
This page was built for publication: Resource access control in systems of mobile agents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854507)
