Formal analysis of security in interactive systems

A. Cerone

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Handbook of Research on Social and Organizational Liabilities in Information Security
Editors	M. Gupta, R. Sharman
Place of Publication	London
Publisher	IGI Global
Pages	415-432
ISBN (Print)	9781605661322, 9781605661339
DOIs	https://doi.org/10.4018/978-1-60566-132-2.ch025
Publication status	Published - 2009
Externally published	Yes

The full text is not available from the repository.

Keywords

@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",

address = "United States",

}

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 -