Type-based information flow analysis for the \(\pi\)-calculus
From MaRDI portal
Publication:2581011
DOI10.1007/s00236-005-0179-xzbMath1081.68061OpenAlexW2081551198MaRDI QIDQ2581011
Publication date: 10 January 2006
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-005-0179-x
Related Items (14)
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality ⋮ Static Trace-Based Deadlock Analysis for Synchronous Mini-Go ⋮ Effect-polymorphic behaviour inference for deadlock checking ⋮ Combining behavioural types with security analysis ⋮ Deciding safety properties in infinite-state pi-calculus via behavioural types ⋮ Deadlock checking by a behavioral effect system for lock handling ⋮ Spatial and behavioral types in the pi-calculus ⋮ Typing access control and secure information flow in sessions ⋮ Types for complexity of parallel computation in pi-calculus ⋮ Responsiveness in process calculi ⋮ Ensuring termination by typability ⋮ Deadlock analysis of unbounded process networks ⋮ A type system for Discretionary Access Control ⋮ Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A calculus for cryptographic protocols: The spi calculus
- The security pi-calculus and non-interference
- Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
- Secure information flow via linear continuations
- A generic type system for the pi-calculus
- A type system for lock-free processes
- Secrecy by typing in security protocols
- An Algorithm for the General Petri Net Reachability Problem
- Certification of programs for secure information flow
- A uniform type structure for secure information flow
- Information flow inference for ML
- Programming Languages and Systems
This page was built for publication: Type-based information flow analysis for the \(\pi\)-calculus
