Tun, Thein Than; Bennaceur, Amel; Nuseibeh, Bashar
(IEEE Computer Society, 2020)
Security-critical systems typically place some
requirements on the behaviour of their users, obliging them
to follow certain instructions when using those systems.
Security vulnerabilities can arise when users do not ...