A Flow-Sensitive Analysis of Privacy Properties

Hanne Riis Nielson; Flemming Nielson

doi:10.1109/CSF.2007.4

A Flow-Sensitive Analysis of Privacy Properties

Hanne Riis Nielson, Flemming Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

454 Downloads (Pure)

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: ldr Can I be sure that I do not get unsolicited information from some service? - unless I give my permission? ldr 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.

Original language	English
Title of host publication	Proceedings of Computer Security Foundations Symposium, CFS 2007
Publisher	IEEE Computer Society Press
Publication date	2007
ISBN (Print)	0-7695-2819-8
DOIs	https://doi.org/10.1109/CSF.2007.4
Publication status	Published - 2007
Event	20th IEEE Computer Security Foundations Symposium - Venice, Italy Duration: 6 Jul 2007 → 8 Jul 2007

Conference

Conference	20th IEEE Computer Security Foundations Symposium
Country/Territory	Italy
City	Venice
Period	06/07/2007 → 08/07/2007

Bibliographical note

Copyright: 2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE

Access to Document

10.1109/CSF.2007.4

NielsonFinal published version, 1.62 MB

OpenUrl availability

Full text

Cite this

@inproceedings{dfa268a581844ff591b449dcc932b667,

title = "A Flow-Sensitive Analysis of Privacy Properties",

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: ldr Can I be sure that I do not get unsolicited information from some service? - unless I give my permission? ldr 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.",

author = "Nielson, {Hanne Riis} and Flemming Nielson",

note = "Copyright: 2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE; 20th IEEE Computer Security Foundations Symposium, CFS 2007 ; Conference date: 06-07-2007 Through 08-07-2007",

year = "2007",

doi = "10.1109/CSF.2007.4",

language = "English",

isbn = "0-7695-2819-8",

booktitle = "Proceedings of Computer Security Foundations Symposium, CFS 2007",

publisher = "IEEE Computer Society Press",

}

TY - GEN

T1 - A Flow-Sensitive Analysis of Privacy Properties

AU - Nielson, Hanne Riis

AU - Nielson, Flemming

N1 - Copyright: 2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE

PY - 2007

Y1 - 2007

N2 - 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: ldr Can I be sure that I do not get unsolicited information from some service? - unless I give my permission? ldr 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.

AB - 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: ldr Can I be sure that I do not get unsolicited information from some service? - unless I give my permission? ldr 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.

U2 - 10.1109/CSF.2007.4

DO - 10.1109/CSF.2007.4

M3 - Article in proceedings

SN - 0-7695-2819-8

BT - Proceedings of Computer Security Foundations Symposium, CFS 2007

PB - IEEE Computer Society Press

T2 - 20th IEEE Computer Security Foundations Symposium

Y2 - 6 July 2007 through 8 July 2007

ER -

A Flow-Sensitive Analysis of Privacy Properties

Abstract

Conference

Bibliographical note

Access to Document

OpenUrl availability

Fingerprint

Cite this