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