IoTSec:Common Vocabulary/Personas/Formal modelling of Personas

From its-wiki.no

< IoTSec:Common Vocabulary‎ | Personas
Revision as of 15:45, 19 December 2015 by Cristian (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Security in IoT for Smart Grids
Home Research Security Centre Publications Student corner About
English-Language-icon.png

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)