Skip navigation
Skip navigation

Formalising Observer Theory for Environment-Sensitive Bisimulation

Dawson, Jeremy; Tiu, Alwen


We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the knowledge and capabilities of an observer, and can be given a formal account using deductive systems, such as those used in various "environment-sensitive" bisimulation for process calculi, e.g., the spi-calculus. Two notions are critical to the correctness of such formalisations and the effectiveness of symbolic techniques based...[Show more]

CollectionsANU Research Publications
Date published: 2009
Type: Book chapter
Book Title: Theorem Proving in Higher Order Logics (TPHOLs)
DOI: 10.1007/978-3-642-03359-9_14


File Description SizeFormat Image
01_Dawson_Formalising_Observer_Theory_2009.pdf72.59 kBAdobe PDF    Request a copy
02_Dawson_Formalising_Observer_Theory_2009.pdf83.27 kBAdobe PDF    Request a copy
03_Dawson_Formalising_Observer_Theory_2009.pdf244.4 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator