Types for access control

DOI10.1016/S0304-3975(99)00232-7zbMath0954.68025OpenAlexW2006138892MaRDI QIDQ1575157

Gian-Luigi Ferrari, Rosario Pugliese, R. D. Nicola, Betti Venneri

Publication date: 21 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00232-7

zbMATH Keywords

coordinationmobile agentstype systemsaccess controlnetwork aware programming

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (11)

Space-aware ambients and processes ⋮ Semantic subtyping for the pi-calculus ⋮ Security types for dynamic web data ⋮ From flow logic to static type systems for coordination languages ⋮ Security Types for Dynamic Web Data ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ KLAIM ⋮ A type system for Discretionary Access Control ⋮ Dynamic management of capabilities in a network aware coordination language ⋮ MOMI: a calculus for mobile mixins ⋮ Static analysis for the \(\pi\)-calculus with applications to security

Uses Software

• Linda

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. II
• A calculus for cryptographic protocols: The spi calculus
• Mobile ambients
• Trust and partial typing in open systems of mobile agents
• Decoding choice encodings
• A Filter Model for Concurrent $\lambda$-Calculus
• Efficient recursive subtyping
• Generative communication in Linda
• A calculus of mobile agents

This page was built for publication: Types for access control