Combining behavioural types with security analysis
From MaRDI portal
Publication:890614
DOI10.1016/j.jlamp.2015.09.003zbMath1330.68045arXiv1510.02229OpenAlexW3105067267WikidataQ57652373 ScholiaQ57652373MaRDI QIDQ890614
Pierre-Malo Deniélou, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Bernardo Toninho, Massimo Bartoletti, Peter Thiemann, Jorge A. Pérez, Hugo Torres Vieira, Silvia Ghilezan, Jovanka Pantović
Publication date: 10 November 2015
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.02229
Related Items
Relating Process Languages for Security and Communication Correctness (Extended Abstract), Dynamic role authorization in multiparty conversations, Self-adaptation and secure information flow in multiparty communications, Verifiable abstractions for contract-oriented systems, Discretionary Information Flow Control for Interaction-Oriented Specifications, A Gentle Introduction to Multiparty Asynchronous Session Types
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Typing access control and secure information flow in sessions
- Linear logical relations and observational equivalences for session-based concurrency
- Linear logic
- Type checking a multithreaded functional language with session types
- Security types for dynamic web data
- Objects and session types
- Dynamic typing: Syntax and proof theory
- Typing correspondence assertions for communication protocols
- The security pi-calculus and non-interference
- Verifying persistent security properties
- A type system for lock-free processes
- Modelling dynamic web data
- Subtyping for session types in the pi calculus
- Type-based information flow analysis for the \(\pi\)-calculus
- Session Types with Gradual Typing
- Multiparty Session Types Meet Communicating Automata
- On the Realizability of Contracts in Dishonest Systems
- Modelling and Verifying Contract-Oriented Systems in Maude
- Types for Role-Based Access Control of Dynamic Web Data
- Proof-Carrying Code in a Session-Typed Process Calculus
- Secure Enforcement for Global Process Specifications
- Multiparty asynchronous session types
- Regulating Data Exchange in Service Oriented Applications
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Stateful Contracts for Affine Types
- A Theory of Design-by-Contract for Distributed Multiparty Interactions
- Session Types as Intuitionistic Linear Propositions
- Session Types for Access and Information Flow Control
- Security Types for Dynamic Web Data
- The Orc Programming Language
- A framework for defining logics
- Certification of programs for secure information flow
- Contract-Oriented Computing in CO2
- Deadlock and lock freedom in the linear π-calculus
- Correspondence assertions for process synchronization in concurrent communications
- A Theory of Agreements and Protection
- Trustworthy Global Computing
- Secure distributed programming with value-dependent types
- Gradual Typing for Annotated Type Systems
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
- Foundations of security analysis and design. Tutorial lectures
