© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Proceedings of the 1st International Workshop on Managing Insider Security Threats (MIST2009),
D. Chadwick, I. You, and H. Chang, editors
West Lafayette, USA, June 2009. Purdue University Available online at http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-469/).Bibtex Record
@proceedings{3032,
author = {},
title = {Proceedings of the 1st International Workshop on Managing Insider Security Threats (MIST2009), },
month = {June},
year = {2009},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Available online at http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-469/)},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2009/3032},
publication_type = {proceedings},
submission_id = {916_1280841242},
editor = {D. Chadwick and I. You and H. Chang },
address = {West Lafayette, USA},
organization = {Purdue University},
}