Browse by author
Lookup NU author(s): Dr Leo Freitas
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): McDermott J, Freitas L
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 6th ACM workshop on Formal methods in security engineering
Year of Conference: 2008
Pages: 43-52
Publisher: ACM Press
URL: http://dx.doi.org/10.1145/1456396.1456401
DOI: 10.1145/1456396.1456401
Library holdings: Search Newcastle University Library for this item
ISBN: 9781605582887
