Breaking the Model: Finalisation and a Taxonomy of Security Attacks

Research output: Contribution to journalArticle



Publication details

JournalElectronic Notes in Theoretical Computer Science
DatePublished - Jul 2005
Issue number2
Number of pages18
Pages (from-to)225-242
Original languageEnglish


It is well known that security properties are not preserved by refinement, and that refinement can introduce new, covert, channels, such as timing channels. The finalisation step in refinement can be analysed to identify some of these channels, as unwanted finalisations that can break the assumptions of the formal model. We introduce a taxonomy of such unwanted finalisations, and give examples of attacks that exploit them.

Bibliographical note

The above URL provides a link to the Elsevier site.

    Research areas

  • Finalisation, observed system, security model assumptions


Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations