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: [1]
- 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)
