The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/41671
Record Status Checked
Record Id 41671
Title A privacy analysis for the Pi-calculus: the denotational approach
Abstract We present a non-uniform static analysis for the pi-calculus that is built on a denotational semantics of the language and is useful in detecting instances of information leakage and insecure communications in systems with multi-level security policies. To ensure the termination of the analysis, we propose an abstraction, which maintains a finite number of names to be generated by any process. We prove the safety of the analysis and review a prototype of the analysis called the Picasso tool.
Organisation CCLRC
Keywords Engineering , Denotational Semantics , Privacy Analysis , Pi Calculus
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In FloC 2002 workshop on Specification, Analysis and Validation for Emerging Technologies (SAVE 2002), Copenhagen , Denmark, 27 Jul 2002, (2002). http://www.disi.u…zannoG/save2002.html save_old.pdf 2002