Login / Signup

Capturing the distinction between task and device errors in a formal model of user behaviour.

Huayi HuangRimvydas RuksenasMaartje AmentPaul CurzonAnna Louise CoxAnn BlandfordDuncan P. Brumby
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
  • formal model
  • user behaviour
  • user actions
  • user preferences
  • formal models
  • security properties
  • user feedback
  • user interface
  • user profiles
  • user behavior
  • information management
  • security patterns