Privacy protection by typing in ubiquitous computing systems

Siewe, F and Yang, H (2016) 'Privacy protection by typing in ubiquitous computing systems.' Journal of Systems and Software, 120. pp. 133-153. ISSN 0164-1212

Official URL:


Ubiquitous computing systems collect and share a great deal of information upon the users and their environment; including private or highly sensitive personal information. Unless users are confident enough that their privacy is protected, many will be deterred from using such systems. This paper proposes a privacy type system that controls the behaviour of concurrent, context-aware and mobile processes to ensure that private information is not accidentally disclosed. We prove the subject reduction property and the soundness of the proposed type system; which guarantee that a well-typed process cannot accidentally disclose private information. We demonstrate the pragmatics of our approach with a case study.

Item Type: Article
Keywords: Privacy; Type system; Ubiquitous computing; Pervasive systems; Security; Type-checking; Simulation
Divisions: Bath School of Design
Identification Number:
Date Deposited: 03 Mar 2017 12:58
Last Modified: 05 Jan 2022 16:07
URI / Page ID:
Request a change to this item or report an issue Request a change to this item or report an issue
Update item (repository staff only) Update item (repository staff only)