Process Algebra and Non-Interference.

Journal article

Open access

Peer reviewed

Process Algebra and Non-Interference.

PYA Ryan and SA Schneider

Journal of Computer Security, Vol.9(1/2), pp.75-103

2001

Abstract

Files and links (2)

pdf

fulltext137.92 kBDownload View

TextSRIDA, Open Access

url

http://iospress.metapress.com/content/bq4nhhanaf6mpxeg/View

Published (Version of record)

Metrics

112 File views/ downloads

25 Record Views

Details

Title: Process Algebra and Non-Interference.
Creators: PYA Ryan
SA Schneider
Publication Details: Journal of Computer Security, Vol.9(1/2), pp.75-103
Publisher: IOS Press
Date published: 2001
Date submitted: 21/08/2011
Identifiers: 99514212802346
Academic Unit: Department of Computer Science
Resource Type: Journal article