Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely
dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It
is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of the copyright holder.
Sensoria Bibliography Site A flow-sensitive analysis of privacy properties
Flemming Nielson, Hanne Riis Nielson
abstract:
In this paper we consider service oriented architectures where many components interact with one another using a wireless network. We are interested in questions like: Can I be sure that I do not get unsolicited information from some service? -- unless I give my permission? Can I be sure that information I send to some service never is leaked to another service? -- unless I give my permission? We shall develop a static program analysis for the pi-calculus and show how it can be used to give privacy guarantees like the ones requested above. The analysis records the explicit information flow of the system and keeps track of, not only the potential configurations of the system, but also the order in which they may be encountered.