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

Formal analysis of security in interactive systems. / Cerone, A.

Handbook of Research on Social and Organizational Liabilities in Information Security. ed. / M. Gupta; R. Sharman. London : IGI Global, 2009. p. 415-432.

Research output: Chapter in Book/Report/Conference proceedingChapter

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. IGI Global, London, pp. 415-432. https://doi.org/10.4018/978-1-60566-132-2.ch025
Cerone A. Formal analysis of security in interactive systems. In Gupta M, Sharman R, editors, Handbook of Research on Social and Organizational Liabilities in Information Security. London: IGI Global. 2009. p. 415-432 https://doi.org/10.4018/978-1-60566-132-2.ch025
Cerone, A. / Formal analysis of security in interactive systems. Handbook of Research on Social and Organizational Liabilities in Information Security. editor / M. Gupta ; R. Sharman. London : IGI Global, 2009. pp. 415-432
@inbook{d27b19ff3e8d43439e3ab4fc8fcbb3de,
title = "Formal analysis of security in interactive systems",
keywords = "computer security, human behaviour, formal analysis",
author = "A. Cerone",
note = "The full text is not available from the repository.",
year = "2009",
doi = "10.4018/978-1-60566-132-2.ch025",
language = "English",
isbn = "9781605661322",
pages = "415--432",
editor = "M. Gupta and R. Sharman",
booktitle = "Handbook of Research on Social and Organizational Liabilities in Information Security",
publisher = "IGI Global",

}

TY - CHAP

T1 - Formal analysis of security in interactive systems

AU - Cerone, A.

N1 - The full text is not available from the repository.

PY - 2009

Y1 - 2009

KW - computer security

KW - human behaviour

KW - formal analysis

U2 - 10.4018/978-1-60566-132-2.ch025

DO - 10.4018/978-1-60566-132-2.ch025

M3 - Chapter

SN - 9781605661322

SN - 9781605661339

SP - 415

EP - 432

BT - Handbook of Research on Social and Organizational Liabilities in Information Security

A2 - Gupta, M.

A2 - Sharman, R.

PB - IGI Global

CY - London

ER -