scientific article; zbMATH DE number 1538026

zbMath0960.68126MaRDI QIDQ4518881

Nobuko Yoshida, Kohei Honda, Vasco Thudichum Vasconcelos

Publication date: 3 December 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\pi\)-calculussecure information

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (20)

Secrecy types for asymmetric communication. ⋮ Securing the Future — An Information Flow Analysis of a Distributed OO Language ⋮ A generic type system for the pi-calculus ⋮ Securing interaction between threads and the scheduler in the presence of synchronization ⋮ Taming Message-Passing Communication in Compositional Reasoning About Confidentiality ⋮ Types and full abstraction for polyadic \(\pi\)-calculus ⋮ Controlling information release in the \(\pi\)-calculus ⋮ Strong normalisation in the \(\pi\)-calculus ⋮ Combining behavioural types with security analysis ⋮ Typing correspondence assertions for communication protocols ⋮ Timing-Sensitive Noninterference through Composition ⋮ Typing Correspondence Assertions for Communication Protocols ⋮ A static analysis of cryptographic processes: the denotational approach ⋮ Analysing input/output-capabilities of mobile processes with a generic type system ⋮ Linearity and bisimulation ⋮ Assigning types to processes ⋮ Type-based information flow analysis for the \(\pi\)-calculus ⋮ Secured Information Flow for Asynchronous Sequential Processes ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness ⋮ Noninterference for concurrent programs and thread systems

This page was built for publication: