Skip to main content
SpringerLink
Log in
Book cover

International Conference on Trust and Trustworthy Computing

Trust 2013: Trust and Trustworthy Computing pp 267–268Cite as

Formal Evaluation of Persona Trustworthiness with EUSTACE

(Extended Abstract)

  • Conference paper

  • 1300 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNSC,volume 7904))

Abstract

Personas are useful for considering how users of a system might behave, but problematic when accounting for hidden behaviours not obvious from their descriptions alone. Formal methods can potentially identify such subtleties in interactive systems, but we lack methods for eliciting models from qualitative persona descriptions. We present a framework for eliciting and specifying formal models of persona behaviour that a persona might, in certain circumstances, engage in. We also summarise our preliminary work to date evaluating this framework.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Cooper, A.: The Inmates Are Running the Asylum: Why High Tech Products Drive Us Crazy and How to Restore the Sanity, 2nd edn. Pearson (1999)

    Google Scholar 

  2. Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Inc. (1985)

    Google Scholar 

  3. Jirotka, M., Luff, P.: Representing and modeling collaborative practices for systems development. In: Social Thinking–Software Practice. MIT Press (2002)

    Google Scholar 

  4. Faily, S., Fléchais, I.: Persona cases: a technique for grounding personas. In: Proceedings of the 29th International Conference on Human Factors in Computing Systems, pp. 2267–2270. ACM (2011)

    Google Scholar 

  5. Riegelsberger, J., Sasse, M.A., McCarthy, J.D.: The mechanics of trust: A framework for research and design. International Journal of Human Computer Studies 62, 381–422 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Oxford, Oxford, UK, OX1 3QD

    Shamal Faily, David Power, Philip Armstrong & Ivan Fléchais

Authors
  1. Shamal Faily
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Power
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Philip Armstrong
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ivan Fléchais
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Imperial College London, SW7 2AZ, London, United Kingdom

    Michael Huth

  2. Nokia Research Center, Helsinki, Finland

    N. Asokan

  3. Department of Computer Science, ETH Zurich, Switzerland

    Srdjan Čapkun

  4. University of Oxford, UK

    Ivan Flechais

  5. Information Security Group, Royal Holloway University of London, TW20 0EX, Egham, Surrey, UK

    Lizzie Coles-Kemp

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Faily, S., Power, D., Armstrong, P., Fléchais, I. (2013). Formal Evaluation of Persona Trustworthiness with EUSTACE. In: Huth, M., Asokan, N., Čapkun, S., Flechais, I., Coles-Kemp, L. (eds) Trust and Trustworthy Computing. Trust 2013. Lecture Notes in Computer Science, vol 7904. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38908-5_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38908-5_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38907-8

  • Online ISBN: 978-3-642-38908-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation