Privacy Protection by Typing in Ubiquitous Computing Systems
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 are not accidentally disclosed. We prove the subject reduction property, which guarantees that a well-typed process cannot disclose private information. We demonstrate the pragmatics of our approach with an example.
Citation : Siewe, F. and Yang, H. (2016) Privacy Protection by Typing in Ubiquitous Computing Systems. Journal of Systems and Software, 120, pp. 133-153
Research Group : Software Technology Research Laboratory (STRL)
Research Institute : Cyber Technology Institute (CTI)
Peer Reviewed : Yes