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.
