Formal analysis of security in interactive systems

A. Cerone

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)
Original languageEnglish
Title of host publicationHandbook of Research on Social and Organizational Liabilities in Information Security
EditorsM. Gupta, R. Sharman
Place of PublicationLondon
PublisherIGI Global
Pages415-432
ISBN (Print)9781605661322, 9781605661339
DOIs
Publication statusPublished - 2009
Externally publishedYes

Bibliographical note

The full text is not available from the repository.

Keywords

  • computer security
  • human behaviour
  • formal analysis

Cite this

Cerone, A. (2009). Formal analysis of security in interactive systems. In M. Gupta, & R. Sharman (Eds.), Handbook of Research on Social and Organizational Liabilities in Information Security (pp. 415-432). London: IGI Global. https://doi.org/10.4018/978-1-60566-132-2.ch025