IoTSec:Common Vocabulary/Personas/Formal modelling of Personas

About formalizations of Personas, and their use for capturing human behaviour one can look at the following resources.
 * our paper, where we give a simple and general formalization and try to point to the need of probabilistic models of personas:
 * Outside the bibliography from the above paper, one can also look at the work of Faily and colleagues
 * A nice paper by R. Semancik "Basic Properties of the Persona Model" (Christian has a copy)
 * In the context of analysing security breaches, the group of Ann Blandford has a few papers (this group is on phychology but also uses logics and model checking)