Show simple item record

dc.contributor.authorSiewe, Francoisen
dc.contributor.authorYang, Hongjien
dc.date.accessioned2016-03-21T10:06:57Z
dc.date.available2016-03-21T10:06:57Z
dc.date.issued2016-07-26
dc.identifier.citationSiewe, F. and Yang, H. (2016) Privacy Protection by Typing in Ubiquitous Computing Systems. Journal of Systems and Software, 120, pp. 133-153en
dc.identifier.urihttp://hdl.handle.net/2086/11656
dc.description.abstractUbiquitous 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.en
dc.language.isoenen
dc.publisherJournal of Systems and Softwareen
dc.subjectprivacyen
dc.subjecttype systemen
dc.subjectubiquitous computingen
dc.subjectpervasive systemsen
dc.subjectsecurityen
dc.subjecttype-checkingen
dc.subjectmodel-checkingen
dc.titlePrivacy Protection by Typing in Ubiquitous Computing Systemsen
dc.typeArticleen
dc.identifier.doihttps://doi.org/10.1016/j.jss.2016.07.037
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.peerreviewedYesen
dc.fundertrueen
dc.projectidtrueen
dc.date.acceptance2016-07-24en
dc.researchinstituteCyber Technology Institute (CTI)en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record