Modeling and verification of human aspects in socio technical systems and networks for security and privacy

Kammueller, Florian ORCID logoORCID: and Alvarado, Chelsea Mira (2022) Modeling and verification of human aspects in socio technical systems and networks for security and privacy. Moallem, Abbas, ed. HCI for Cybersecurity, Privacy and Trust: 4th International Conference, HCI-CPT 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings. In: HCI-CPT: 4th International Conference on HCI for Cybersecurity, Privacy and Trust, 26 Jun - 01 Jul 2022, Virtual. pbk-ISBN 9783031055621. ISSN 0302-9743 [Conference or Workshop Item] (Accepted/In press)

[img] PDF - Final accepted version (with author's formatting)
Restricted to Middlesex University staff only until 14 May 2023.

Download (3MB) |


Unawareness of privacy risks together with approval seeking motivations make humans enter too much detail into the likes of Facebook, Twitter, and Instagram. To test whether the rationality principle applies, we construct a tool that shows to a user what is known publicly on social networking sites about her. In our experiment, we check whether this revelation changes human behaviour. To extrapolate and generalize, we use the insights gained by practical experimentation. Unaware users can become targeted by attackers. They then become unintentional insid- ers. We demonstrate this by extending the Isabelle Insider framework to accommodate a formal model of unintentional insiders, an open problem with long standing.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Lecture Notes in Computer Science, 13333
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 35235
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 10 Jun 2022 09:51
Last Modified: 10 Jun 2022 09:52

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.