Gordon Thomas Rohrmair

According to our database, Gordon Thomas Rohrmair authored at least 3 papers between 2002 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Use of CSP to verify security-critical applications.

Gordon Thomas Rohrmair

PhD thesis, 2005

Using data-independence in the analysis of intrusion detection systems.

Gordon Thomas Rohrmair, Gavin Lowe

Theor. Comput. Sci., 2005

2002

Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area.

Gordon Thomas Rohrmair, Gavin Lowe

Proceedings of the Formal Aspects of Security, First International Conference, 2002