The security pi-calculus and non-interference
type: Item
instance of: scholarly article
title: The security pi-calculus and non-interference
zbMATH Open document ID: 1067.68096
published in: The Journal of Logic and Algebraic Programming
publication date: 2005-04-18T00:00:00Z
full work available at URL: http://hdl.handle.net/2262/56473
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2157577
zbMATH Keywords: Distributed systems
zbMATH Keywords: Pi-calculus
zbMATH Keywords: Security types
zbMATH Keywords: Non-interference
zbMATH Keywords: Testing equivalences
author: Matthew Hennessy
MaRDI profile type: Publication
OpenAlex ID: W1999420484
cites work: Q2754157
cites work: Q3997501
cites work: Typed behavioural equivalences for processes in the presence of subtyping
cites work: Resource access control in systems of mobile agents
cites work: A uniform type structure for secure information flow
cites work: Modal logics for mobile processes
cites work: Testing equivalences for processes
cites work: Behavioral equivalence in the polymorphic pi-calculus
cites work: Q3837262
cites work: Non-interference through determinism
DOI: 10.1016/J.JLAP.2004.01.003
description: scientific article; zbMATH DE number 2157577