Gordon Thomas Rohrmair - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 3 from 3

2005

Using data-independence in the analysis of intrusion detection systemsGordon Thomas Rohrmair, Gavin Lowe. TCS, 340(1):82-101, 2005. [doi]

Use of CSP to verify security-critical applicationsGordon Thomas Rohrmair. PhD thesis, University of Oxford, UK, 2005. [doi]

2002

Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection AreaGordon Thomas Rohrmair, Gavin Lowe. fasec 2003: 205-220 [doi]

Sign in or sign up to see more results.

runs on WebDSL