UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Modelling and analysing cognitive causes of security breaches

Rukšénas, R; Curzon, P; Blandford, A; (2008) Modelling and analysing cognitive causes of security breaches. Innovations in Systems and Software Engineering , 4 (2) pp. 143-160. 10.1007/s11334-008-0050-7.

Full text not available from this repository.


In this paper we are concerned with security issues that arise in the interaction between user and system. We focus on cognitive processes that affect security of information flow from the user to the computer system and the resilience of the whole system to intruder attacks. For this, we extend our framework developed for the verification of usability properties by introducing two kinds of intruder models, an observer and an active intruder, with the associated security properties. Finally, we consider small examples to illustrate the ideas and approach. These examples demonstrate how our framework can be used (a) to detect confidentiality leaks, caused by a combination of an inappropriate design and certain aspects of human cognition, and (b) to identify designs more susceptible to cognitively based intruder attacks. © Springer-Verlag London Limited 2008.

Type: Article
Title: Modelling and analysing cognitive causes of security breaches
DOI: 10.1007/s11334-008-0050-7
URI: http://discovery.ucl.ac.uk/id/eprint/15247
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item