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

Abstract

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:	https://doi.org/10.1016/j.jss.2016.07.037
Date Deposited:	03 Mar 2017 12:58
Last Modified:	05 Jan 2022 16:07
URI / Page ID:	https://researchspace.bathspa.ac.uk/id/eprint/9354

	Request a change to this item or report an issue
	Update item (repository staff only)