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
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.
|Keywords:||Privacy; Type system; Ubiquitous computing; Pervasive systems; Security; Type-checking; Simulation|
|Divisions:||College of Liberal Arts|
|Date Deposited:||03 Mar 2017 12:58|
|Last Modified:||03 Mar 2017 12:58|
|Request a change to this item or report an issue|
|Update item (repository staff only)|