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
ISBN (Print)9781605661322, 9781605661339
Publication statusPublished - 2009
Externally publishedYes

Bibliographical note

The full text is not available from the repository.


  • computer security
  • human behaviour
  • formal analysis

Cite this