A privacy analysis for the Pi-calculus: the denotational approach

ePubs

The open archive for STFC research publications

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
Contributors	B Aziz (Dublin City U.), G Hamilton (Dublin City U.)
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