Mark Ryan

12 published titles

Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 2

(Contributor)

1 edition

Logic in computer science : modelling and reasoning about systems

(Contributor)

2 editions

Language constructs for describing features : proceedings of the FIREworks workshop

(Contributor)

1 edition

Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers

(Contributor)

1 edition

Automatic verification of privacy properties in the applied pi calculus

(Contributor)

1 edition

A secure hardware abstraction for distributed systems

(Contributor)

1 edition

Election verifiability in electronic voting protocols

(Contributor)

1 edition

Modelling dynamic access control policies for web-based collaborative systems

(Contributor)

1 edition

X-Policy : knowledge-based verification tool for dynamic access control policies

(Contributor)

1 edition

Information security practice and experience : 8th international conference, ISPEC 2012, Hangzhou, China, April 9-12 2012 : proceedings

(Contributor)

1 edition

Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, revised selected papers

(Contributor)

1 edition

Privacy vs. security

(Contributor)

1 edition