[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Michael Goldsmith"></meta><meta name="description" content="Publications, by type, Department of Computer Science, Oxford, Michael Goldsmith"></meta><title>Department of Computer Science, University of Oxford: Michael Goldsmith : Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/Michael.Goldsmith"><span itemprop="name">Michael Goldsmith</span></a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Michael Goldsmith : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Michael.Goldsmith.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Michael.Goldsmith.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Michael.Goldsmith.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Michael.Goldsmith.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><h2>
      Books
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Modelling and Analysis of Security Protocols </strong> </p>
	    <p class="publicationAuthors"> <em> Peter Ryan&#x201a; Steve Schneider&#x201a; M Goldsmith&#x201a; G Lowe and B Roscoe  </em> </p>
	
	<p class="publicationDetails"> Addison Wesley.
        2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7626-abstract.html">
			Details <span class="sr-only" > about <em> Modelling and Analysis of Security Protocols  </em></span> </a> |
			<a href="/publications/publication7626.bib">
			BibTeX  <span class="sr-only" > data for <em> Modelling and Analysis of Security Protocols  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Programming in occam 2 </strong> </p>
	    <p class="publicationAuthors"> <em> Geraint Jones and Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> Prentice&#x2212;Hall.
        1988.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7637-abstract.html">
			Details <span class="sr-only" > about <em> Programming in occam 2  </em></span> </a> |
			<a href="/publications/publication7637.bib">
			BibTeX  <span class="sr-only" > data for <em> Programming in occam 2  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/0167-6423(89)90031-2">
		DOI (10.1016/0167-6423(89)90031-2)
		</a> 
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Book chapters
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Inadequacies of Current Risk Controls for the Cloud </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Michael Goldsmith and Paul Hopkins  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Privacy and Security for Cloud Computing</em>.
        
                Pages 235&#x2013;255.
            Springer London.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7677-abstract.html">
			Details <span class="sr-only" > about <em> Inadequacies of Current Risk Controls for the Cloud  </em></span> </a> |
			<a href="/publications/publication7677.bib">
			BibTeX  <span class="sr-only" > data for <em> Inadequacies of Current Risk Controls for the Cloud  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation </strong> </p>
	    <p class="publicationAuthors"> <em> Ioannis Agrafiotis&#x201a; Sadie Creese and Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Privacy and Identity Management for Life</em>.
        
                Pages 232&#x2013;244.
            Springer Boston.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7689-abstract.html">
			Details <span class="sr-only" > about <em> Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation  </em></span> </a> |
			<a href="/publications/publication7689.bib">
			BibTeX  <span class="sr-only" > data for <em> Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Developing a Strategy for Automated Privacy Testing Suites </strong> </p>
	    <p class="publicationAuthors"> <em> Ioannis Agrafiotis&#x201a; Sadie Creese and Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Privacy and Identity Management for Life</em>.
        
                Pages 32&#x2013;44.
            Springer Boston.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7688-abstract.html">
			Details <span class="sr-only" > about <em> Developing a Strategy for Automated Privacy Testing Suites  </em></span> </a> |
			<a href="/publications/publication7688.bib">
			BibTeX  <span class="sr-only" > data for <em> Developing a Strategy for Automated Privacy Testing Suites  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            EnCoRe: Towards A Conceptual Model For Privacy Policies </strong> </p>
	    <p class="publicationAuthors"> <em> Marco Casassa Mont&#x201a; Siani Pearson&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Nick Papanikolaou  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Privacy and Identity Management for Life</em>.
        
            Vol. 352.
        Springer IFIP AICT.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7665-abstract.html">
			Details <span class="sr-only" > about <em> EnCoRe: Towards A Conceptual Model For Privacy Policies  </em></span> </a> |
			<a href="/publications/publication7665.bib">
			BibTeX  <span class="sr-only" > data for <em> EnCoRe: Towards A Conceptual Model For Privacy Policies  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements </strong> </p>
	    <p class="publicationAuthors"> <em> Ioannis Agrafiotis&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Nick Papanikolaou  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Privacy and Identity Management for Life</em>.
        
            Vol. 352.
        
                Pages 271&#x2013;282.
            Springer IFIP AICT.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7664-abstract.html">
			Details <span class="sr-only" > about <em> Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements  </em></span> </a> |
			<a href="/publications/publication7664.bib">
			BibTeX  <span class="sr-only" > data for <em> Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards A Conceptual Model For Privacy Policies </strong> </p>
	    <p class="publicationAuthors"> <em> Casassa Mont&#x201a; Marco&#x201a; Siani Pearson&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Nick Papanikolaou  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Privacy and Identity Management for Life</em>.
        
            Vol. 352.
        Springer IFIP AICT.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7663-abstract.html">
			Details <span class="sr-only" > about <em> Towards A Conceptual Model For Privacy Policies  </em></span> </a> |
			<a href="/publications/publication7663.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards A Conceptual Model For Privacy Policies  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Conceptual Model for Privacy Policies with Consent and Revocation Requirements </strong> </p>
	    <p class="publicationAuthors"> <em> Marco Casassa Mont&#x201a; Siani Pearson&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Nick Papanikolaou  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Privacy and Identity Management for Life: 6th IFIP WG 9. 2&#x201a; 9. 6/11. 7&#x201a; 11. 4&#x201a; 11. 6/PrimeLife International Summer School&#x201a; Helsingborg&#x201a; Sweden&#x201a; August 2&#x2212;6&#x201a; 2010&#x201a; Revised Selected Papers</em>.
        
            Vol. 352.
        
                Pages 258&#x2013;271.
            Springer IFIP AICT.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7645-abstract.html">
			Details <span class="sr-only" > about <em> A Conceptual Model for Privacy Policies with Consent and Revocation Requirements  </em></span> </a> |
			<a href="/publications/publication7645.bib">
			BibTeX  <span class="sr-only" > data for <em> A Conceptual Model for Privacy Policies with Consent and Revocation Requirements  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Reaching for informed revocation: shutting off the tap on personal data </strong> </p>
	    <p class="publicationAuthors"> <em> Ioannis Agrafiotis&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Nick Papanikolaou  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Privacy and Identity Management for Life</em>.
        
            Vol. 320.
        
                Pages 246&#x2013;258.
            Springer IFIP AICT.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7633-abstract.html">
			Details <span class="sr-only" > about <em> Reaching for informed revocation: shutting off the tap on personal data  </em></span> </a> |
			<a href="/publications/publication7633.bib">
			BibTeX  <span class="sr-only" > data for <em> Reaching for informed revocation: shutting off the tap on personal data  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Reaching for Informed Revocation: Shutting Off the Tap on Personal Data </strong> </p>
	    <p class="publicationAuthors"> <em> N. Papanikolaou I. Agrafiotis S. Creese M. Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Privacy and Identity Management for Life&#x201a; Proceedings of 5th PrimeLife/IFIP International Summer School</em>.
        Springer IFIP AICT 320.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5576-abstract.html">
			Details <span class="sr-only" > about <em> Reaching for Informed Revocation: Shutting Off the Tap on Personal Data  </em></span> </a> |
			<a href="/publications/publication5576.bib">
			BibTeX  <span class="sr-only" > data for <em> Reaching for Informed Revocation: Shutting Off the Tap on Personal Data  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Operational semantics for fun and profit </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Communicating Sequential Processes. The First 25 Years</em>.
        
                Pages 265&#x2013;274.
            Springer Berlin/Heidelberg.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7635-abstract.html">
			Details <span class="sr-only" > about <em> Operational semantics for fun and profit  </em></span> </a> |
			<a href="/publications/publication7635.bib">
			BibTeX  <span class="sr-only" > data for <em> Operational semantics for fun and profit  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Security properties and mechanisms in human&#x2212;centric computing </strong> </p>
	    <p class="publicationAuthors"> <em> SJ Creese&#x201a; MH Goldsmith&#x201a; AW Roscoe and Irfan Zakiuddin  </em> </p>
	
	<p class="publicationDetails"> 
            In P. Robinson&#x201a; H. Vogt and W. Wagealla, editors,
             
            <em>
            Privacy&#x201a; Security and Trust within the Context of Pervasive Computing</em>.
        Springer.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7684-abstract.html">
			Details <span class="sr-only" > about <em> Security properties and mechanisms in human&#x2212;centric computing  </em></span> </a> |
			<a href="/publications/publication7684.bib">
			BibTeX  <span class="sr-only" > data for <em> Security properties and mechanisms in human&#x2212;centric computing  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Journal papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Identifying attack patterns for insider threat detection </strong> </p>
	    <p class="publicationAuthors"> <em> Ioannis Agrafiotis&#x201a; Jason R. C. Nurse&#x201a; Oliver Buckley&#x201a; Phil Legg&#x201a; Sadie Creese and Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Computer Fraud & Security</em>.
        
            No. 7.
        
                Pages 9&#x2013;17.
            July,
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9681-abstract.html">
			Details <span class="sr-only" > about <em> Identifying attack patterns for insider threat detection  </em></span> </a> |
			<a href="/publications/publication9681.bib">
			BibTeX  <span class="sr-only" > data for <em> Identifying attack patterns for insider threat detection  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/S1361-3723(15)30066-X">
		DOI (10.1016/S1361-3723(15)30066-X)
		</a> 
					| <a href="http://www.journals.elsevier.com/computer-fraud-and-security"> Link <span class="sr-only" > to <em> Identifying attack patterns for insider threat detection  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Investigating the leakage of sensitive personal and organisational information in email headers </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R. C. Nurse&#x201a; Arnau Erola&#x201a; Michael Goldsmith and Sadie Creese  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Internet Services and Information Security</em>.
        
            Vol. 5.
        
            No. 1.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9347-abstract.html">
			Details <span class="sr-only" > about <em> Investigating the leakage of sensitive personal and organisational information in email headers  </em></span> </a> |
			<a href="/publications/publication9347.bib">
			BibTeX  <span class="sr-only" > data for <em> Investigating the leakage of sensitive personal and organisational information in email headers  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/7181/jisis2015_nurse_et_al.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Investigating the leakage of sensitive personal and organisational information in email headers  </em></span>

					    </a>


				    
					| <a href="http://isyou.info/jisis/vol5/no1/jisis-2015-vol5-no1-04.pdf"> Download (pdf)  <span class="sr-only" > of <em> Investigating the leakage of sensitive personal and organisational information in email headers  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Two sides of the coin: measuring and communicating the trustworthiness of online information </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Ioannis Agrafiotis&#x201a; Michael Goldsmith&#x201a; Sadie Creese and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Trust Management</em>.
        
            Vol. 1.
        
            No. 5.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8650-abstract.html">
			Details <span class="sr-only" > about <em> Two sides of the coin: measuring and communicating the trustworthiness of online information  </em></span> </a> |
			<a href="/publications/publication8650.bib">
			BibTeX  <span class="sr-only" > data for <em> Two sides of the coin: measuring and communicating the trustworthiness of online information  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1186/2196-064X-1-5">
		DOI (10.1186/2196-064X-1-5)
		</a> 
					| <a href="http://www.journaloftrustmanagement.com/content/1/1/5"> Link <span class="sr-only" > to <em> Two sides of the coin: measuring and communicating the trustworthiness of online information  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese Philip A. Legg Nick Moffat Jason R.C. Nurse Jassim Happa Ioannis Agrafiotis Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Wireless Mobile Networks&#x201a; Ubiquitous Computing&#x201a; and Dependable Applications</em>.
        
            Vol. 4.
        
            No. 4.
        
                Pages 20&#x2212;37.
            2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7154-abstract.html">
			Details <span class="sr-only" > about <em> Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection  </em></span> </a> |
			<a href="/publications/publication7154.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection  </em></span>   </a>
			
			
					| <a href="http://isyou.info/jowua/papers/jowua-v4n4-2.pdf"> Download (pdf)  <span class="sr-only" > of <em> Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Refinement Checking for Privacy Policies </strong> </p>
	    <p class="publicationAuthors"> <em> S. Creese N. Papanikolaou M. Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Science of Computer Programming</em>.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7693-abstract.html">
			Details <span class="sr-only" > about <em> Refinement Checking for Privacy Policies  </em></span> </a> |
			<a href="/publications/publication7693.bib">
			BibTeX  <span class="sr-only" > data for <em> Refinement Checking for Privacy Policies  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.scico.2011.07.009">
		DOI (10.1016/j.scico.2011.07.009)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Assumption&#x2013;Commitment Support for CSP Model Checking </strong> </p>
	    <p class="publicationAuthors"> <em> Nick Moffat and Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Automated Reasoning</em>.
        
            Vol. 41.
        
            No. 3.
        
                Pages 365&#x2013;398.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7650-abstract.html">
			Details <span class="sr-only" > about <em> Assumption&#x2013;Commitment Support for CSP Model Checking  </em></span> </a> |
			<a href="/publications/publication7650.bib">
			BibTeX  <span class="sr-only" > data for <em> Assumption&#x2013;Commitment Support for CSP Model Checking  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/s10817-008-9111-8">
		DOI (10.1007/s10817-008-9111-8)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The perfect &#x2018;spy&#x2019; for model&#x2212;checking cryptoprotocols </strong> </p>
	    <p class="publicationAuthors"> <em> AW Roscoe and MH Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Proceedings of DIMACS workshop on the design and formal verification of cryptographic protocols</em>.
        
            Vol. 574.
        1997.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7621-abstract.html">
			Details <span class="sr-only" > about <em> The perfect &#x2018;spy&#x2019; for model&#x2212;checking cryptoprotocols  </em></span> </a> |
			<a href="/publications/publication7621.bib">
			BibTeX  <span class="sr-only" > data for <em> The perfect &#x2018;spy&#x2019; for model&#x2212;checking cryptoprotocols  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Denotational semantics for occam 2 </strong> </p>
	    <p class="publicationAuthors"> <em> MH Goldsmith&#x201a; AW Roscoe and BG Scott  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Transputer Communications</em>.
        
            No. <strong>1</strong>(2); <strong>2</strong>(1).
        1993.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7623-abstract.html">
			Details <span class="sr-only" > about <em> Denotational semantics for occam 2  </em></span> </a> |
			<a href="/publications/publication7623.bib">
			BibTeX  <span class="sr-only" > data for <em> Denotational semantics for occam 2  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Conference papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Reflecting on the Use of Sonification for Network Monitoring </strong> </p>
	    <p class="publicationAuthors"> <em> Louise Axon&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Jason R.C. Nurse  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            10th International Conference on Emerging Security Information&#x201a; Systems and Technologies</em>.
        
                Pages 254&#x2013;261.
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10614-abstract.html">
			Details <span class="sr-only" > about <em> Reflecting on the Use of Sonification for Network Monitoring  </em></span> </a> |
			<a href="/publications/publication10614.bib">
			BibTeX  <span class="sr-only" > data for <em> Reflecting on the Use of Sonification for Network Monitoring  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/8315/2016-securware-acgn.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Reflecting on the Use of Sonification for Network Monitoring  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Applying semantic technologies to fight online banking fraud </strong> </p>
	    <p class="publicationAuthors"> <em> Rodrigo Carvalho&#x201a; Michael Goldsmith and Sadie Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            European Intelligence and Security Informatics Conference (EISIC)</em>.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9838-abstract.html">
			Details <span class="sr-only" > about <em> Applying semantic technologies to fight online banking fraud  </em></span> </a> |
			<a href="/publications/publication9838.bib">
			BibTeX  <span class="sr-only" > data for <em> Applying semantic technologies to fight online banking fraud  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/7460/8657a061.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Applying semantic technologies to fight online banking fraud  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Information trustworthiness as a solution to the misinformation problems in social media </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Ioannis Agrafiotis&#x201a; Michael Goldsmith&#x201a; Sadie Creese&#x201a; Koen Lamberts&#x201a; Darren Price and Glyn Jones  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Cyber Security for Sustainable Society</em>.
        
                Pages 28&#x2212;35.
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9403-abstract.html">
			Details <span class="sr-only" > about <em> Information trustworthiness as a solution to the misinformation problems in social media  </em></span> </a> |
			<a href="/publications/publication9403.bib">
			BibTeX  <span class="sr-only" > data for <em> Information trustworthiness as a solution to the misinformation problems in social media  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/7233/csss2015-nagclpj.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Information trustworthiness as a solution to the misinformation problems in social media  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Predicting Graphical Passwords </strong> </p>
	    <p class="publicationAuthors"> <em> Matthieu Devlin&#x201a; Jason R. C. Nurse&#x201a; Duncan Hodges&#x201a; Michael Goldsmith and Sadie Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In Theo Tryfonas and Ioannis Askoxylakis, editors,
             
            <em>
            International Conference on Human Aspects of Information Security&#x201a; Privacy and Trust at the 17th International Conference on Human&#x2212;Computer Interaction (HCI)</em>.
        
                Pages 23&#x2013;35.
            Springer.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9348-abstract.html">
			Details <span class="sr-only" > about <em> Predicting Graphical Passwords  </em></span> </a> |
			<a href="/publications/publication9348.bib">
			BibTeX  <span class="sr-only" > data for <em> Predicting Graphical Passwords  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/7419/has2015-dnhgc-author-final.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Predicting Graphical Passwords  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1007/978-3-319-20376-8_3">
		DOI (10.1007/978-3-319-20376-8_3)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Applying Social Network Analysis to Security </strong> </p>
	    <p class="publicationAuthors"> <em> Elizabeth Phillips&#x201a; Jason R. C. Nurse&#x201a; Michael Goldsmith and Sadie Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Cyber Security for Sustainable Society</em>.
        
                Pages 11&#x2013;27.
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9342-abstract.html">
			Details <span class="sr-only" > about <em> Applying Social Network Analysis to Security  </em></span> </a> |
			<a href="/publications/publication9342.bib">
			BibTeX  <span class="sr-only" > data for <em> Applying Social Network Analysis to Security  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/7193/csss2015_phillips_et_al.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Applying Social Network Analysis to Security  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Online banking malware ontology </strong> </p>
	    <p class="publicationAuthors"> <em> Rodrigo Carvalho&#x201a; Michael Goldsmith and Jason R. C. Nurse  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Crime and Intelligence Analysis Conference (ICIA)</em>.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9341-abstract.html">
			Details <span class="sr-only" > about <em> Online banking malware ontology  </em></span> </a> |
			<a href="/publications/publication9341.bib">
			BibTeX  <span class="sr-only" > data for <em> Online banking malware ontology  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/7335/ICIAC15_POSTER_RCARVALHO_FINALpdf.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Online banking malware ontology  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat </strong> </p>
	    <p class="publicationAuthors"> <em> Oliver Buckley&#x201a; Jason R. C. Nurse&#x201a; Philip A. Legg&#x201a; Michael Goldsmith and Sadie Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Workshop on Socio&#x2212;Technical Aspects in Security and Trust (STAST) associated with 27th IEEE Computer Security Foundations Symposium (CSF)</em>.
        IEEE.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8791-abstract.html">
			Details <span class="sr-only" > about <em> Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat  </em></span> </a> |
			<a href="/publications/publication8791.bib">
			BibTeX  <span class="sr-only" > data for <em> Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6596/accidental_insider.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1109/STAST.2014.10">
		DOI (10.1109/STAST.2014.10)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Managing the influence of social media using information trust </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Ioannis Agrafiotis&#x201a; Michael Goldsmith&#x201a; Sadie Creese&#x201a; Koen Lamberts&#x201a; Darren Price and Glyn Jones  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Social Influence in the Information Age Conference</em>.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8619-abstract.html">
			Details <span class="sr-only" > about <em> Managing the influence of social media using information trust  </em></span> </a> |
			<a href="/publications/publication8619.bib">
			BibTeX  <span class="sr-only" > data for <em> Managing the influence of social media using information trust  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Understanding Insider Threat: A Framework for Characterising Attacks </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Oliver Buckley&#x201a; Philip A. Legg&#x201a; Michael Goldsmith&#x201a; Sadie Creese&#x201a; Gordon R.T. Wright and Monica Whitty  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Workshop on Research for Insider Threat (WRIT) held as part of the IEEE Computer Society Security and Privacy Workshops (SPW14)&#x201a; in conjunction with the IEEE Symposium on Security and Privacy (SP).</em>.
        IEEE.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8618-abstract.html">
			Details <span class="sr-only" > about <em> Understanding Insider Threat: A Framework for Characterising Attacks  </em></span> </a> |
			<a href="/publications/publication8618.bib">
			BibTeX  <span class="sr-only" > data for <em> Understanding Insider Threat: A Framework for Characterising Attacks  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6576/writ2014_nurse_et_al.PDF">Download
					    

					    <span class="sr-only" > of <em> Understanding Insider Threat: A Framework for Characterising Attacks  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1109/SPW.2014.38">
		DOI (10.1109/SPW.2014.38)
		</a> 
					| <a href="http://www.sei.cmu.edu/community/writ2014/"> Link <span class="sr-only" > to <em> Understanding Insider Threat: A Framework for Characterising Attacks  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A critical reflection on the threat from human insiders &#x2212; its nature&#x201a; industry perceptions&#x201a; and detection approaches </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Philip A. Legg&#x201a; Oliver Buckley&#x201a; Ioannis Agrafiotis&#x201a; Gordon Wright&#x201a; Monica Whitty&#x201a; David Upton&#x201a; Michael Goldsmith and Sadie Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Human Aspects of Information Security&#x201a; Privacy and Trust at the 16th International Conference on Human&#x2212;Computer Interaction (HCI)</em>.
        Springer.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7974-abstract.html">
			Details <span class="sr-only" > about <em> A critical reflection on the threat from human insiders &#x2212; its nature&#x201a; industry perceptions&#x201a; and detection approaches  </em></span> </a> |
			<a href="/publications/publication7974.bib">
			BibTeX  <span class="sr-only" > data for <em> A critical reflection on the threat from human insiders &#x2212; its nature&#x201a; industry perceptions&#x201a; and detection approaches  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6628/has2014_paper.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> A critical reflection on the threat from human insiders &#x2212; its nature&#x201a; industry perceptions&#x201a; and detection approaches  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1007/978-3-319-07620-1_24">
		DOI (10.1007/978-3-319-07620-1_24)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Meaning and Implementation of SKIP in CSP </strong> </p>
	    <p class="publicationAuthors"> <em> Thomas Gibson&#x2212;Robinson and Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Communicating Process Architectures 2013</em>.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8190-abstract.html">
			Details <span class="sr-only" > about <em> The Meaning and Implementation of SKIP in CSP  </em></span> </a> |
			<a href="/publications/publication8190.bib">
			BibTeX  <span class="sr-only" > data for <em> The Meaning and Implementation of SKIP in CSP  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6232/Document.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> The Meaning and Implementation of SKIP in CSP  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Building Confidence in Information&#x2212;Trustworthiness Metrics for Decision Support </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Ioannis Agrafiotis&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The 12th IEEE International Conference on Trust&#x201a; Security and Privacy in Computing and Communications (IEEE TrustCom&#x2212;13)</em>.
        IEEE.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7026-abstract.html">
			Details <span class="sr-only" > about <em> Building Confidence in Information&#x2212;Trustworthiness Metrics for Decision Support  </em></span> </a> |
			<a href="/publications/publication7026.bib">
			BibTeX  <span class="sr-only" > data for <em> Building Confidence in Information&#x2212;Trustworthiness Metrics for Decision Support  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6630/PublicationFile">Download
					    

					    <span class="sr-only" > of <em> Building Confidence in Information&#x2212;Trustworthiness Metrics for Decision Support  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1109/TrustCom.2013.6">
		DOI (10.1109/TrustCom.2013.6)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Communicating Trustworthiness using Radar Graphs: A Detailed Look </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Ioannis Agrafiotis&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The 11th International Conference on Privacy&#x201a; Security and Trust (PST)</em>.
        IEEE.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7027-abstract.html">
			Details <span class="sr-only" > about <em> Communicating Trustworthiness using Radar Graphs: A Detailed Look  </em></span> </a> |
			<a href="/publications/publication7027.bib">
			BibTeX  <span class="sr-only" > data for <em> Communicating Trustworthiness using Radar Graphs: A Detailed Look  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6629/PST2013_97.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Communicating Trustworthiness using Radar Graphs: A Detailed Look  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1109/PST.2013.6596085">
		DOI (10.1109/PST.2013.6596085)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Supporting Human Decision&#x2212;Making Online using Information Trustworthiness Metrics </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Syed S. Rahman  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Human Aspects of Information Security&#x201a; Privacy and Trust at the 15th International Conference on Human&#x2212;Computer Interaction (HCII)</em>.
        Springer.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6823-abstract.html">
			Details <span class="sr-only" > about <em> Supporting Human Decision&#x2212;Making Online using Information Trustworthiness Metrics  </em></span> </a> |
			<a href="/publications/publication6823.bib">
			BibTeX  <span class="sr-only" > data for <em> Supporting Human Decision&#x2212;Making Online using Information Trustworthiness Metrics  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6631/has2013_ncgr.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Supporting Human Decision&#x2212;Making Online using Information Trustworthiness Metrics  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1007/978-3-642-39345-7_33">
		DOI (10.1007/978-3-642-39345-7_33)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Tools for Understanding Identity </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Thomas Gibson&#x2212;Robinson&#x201a; Michael Goldsmith&#x201a; Duncan Hodges&#x201a; Dee Kim&#x201a; Oriana Love&#x201a; Jason R. C. Nurse&#x201a; Bill Pike and Jean Schultz  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            IEEE Conference on Technologies for Homeland Security (HST '13)</em>.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7705-abstract.html">
			Details <span class="sr-only" > about <em> Tools for Understanding Identity  </em></span> </a> |
			<a href="/publications/publication7705.bib">
			BibTeX  <span class="sr-only" > data for <em> Tools for Understanding Identity  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/THS.2013.6699064">
		DOI (10.1109/THS.2013.6699064)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            CyberVis: Visualizing the Potential Impact of Cyber Attacks on the Wider Enterprise </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Michael Goldsmith&#x201a; Nick Moffat&#x201a; Jassim Happa and Ioannis Agrafiotis  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            13th annual IEEE Conference on Technologies for Homeland Security (HST'13)</em>.
        2013.
        </p> <p
            class="publicationNote"> To appear</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7700-abstract.html">
			Details <span class="sr-only" > about <em> CyberVis: Visualizing the Potential Impact of Cyber Attacks on the Wider Enterprise  </em></span> </a> |
			<a href="/publications/publication7700.bib">
			BibTeX  <span class="sr-only" > data for <em> CyberVis: Visualizing the Potential Impact of Cyber Attacks on the Wider Enterprise  </em></span>   </a>
			
			
					| <a href="http://ieee-hst.org/"> Link <span class="sr-only" > to <em> CyberVis: Visualizing the Potential Impact of Cyber Attacks on the Wider Enterprise  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Tools for Understanding Identity </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Thomas Gibson&#x2212;Robinson&#x201a; Michael Goldsmith&#x201a; Duncan Hodges&#x201a; Dee Kim&#x201a; Oriana Love&#x201a; Jason R.C. Nurse&#x201a; Bill Pike and Jean Scholtz  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            13th annual IEEE Conference on Technologies for Homeland Security (HST'13)</em>.
        2013.
        </p> <p
            class="publicationNote"> To appear</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7699-abstract.html">
			Details <span class="sr-only" > about <em> Tools for Understanding Identity  </em></span> </a> |
			<a href="/publications/publication7699.bib">
			BibTeX  <span class="sr-only" > data for <em> Tools for Understanding Identity  </em></span>   </a>
			
			
					| <a href="http://ieee-hst.org/"> Link <span class="sr-only" > to <em> Tools for Understanding Identity  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Cloud Computing: Insider Attacks on Virtual Machines During Migration </strong> </p>
	    <p class="publicationAuthors"> <em> Adrian Duncan&#x201a; Michael Goldsmith&#x201a; Sadie Creese and James Quinton  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The 12th IEEE International Conference on Trust&#x201a; Security and Privacy in Computing and Communications (IEEE TrustCom'13)</em>.
        IEEE.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7698-abstract.html">
			Details <span class="sr-only" > about <em> Cloud Computing: Insider Attacks on Virtual Machines During Migration  </em></span> </a> |
			<a href="/publications/publication7698.bib">
			BibTeX  <span class="sr-only" > data for <em> Cloud Computing: Insider Attacks on Virtual Machines During Migration  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/TrustCom.2013.62">
		DOI (10.1109/TrustCom.2013.62)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Building Confidence in Information&#x2212;Trustworthiness Metrics for Decision Support </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Ioannis Agrafiotis&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The 12th IEEE International Conference on Trust&#x201a; Security and Privacy in Computing and Communications (IEEE TrustCom'13)</em>.
        IEEE.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7697-abstract.html">
			Details <span class="sr-only" > about <em> Building Confidence in Information&#x2212;Trustworthiness Metrics for Decision Support  </em></span> </a> |
			<a href="/publications/publication7697.bib">
			BibTeX  <span class="sr-only" > data for <em> Building Confidence in Information&#x2212;Trustworthiness Metrics for Decision Support  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/TrustCom.2013.6">
		DOI (10.1109/TrustCom.2013.6)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment </strong> </p>
	    <p class="publicationAuthors"> <em> Adedayo O Adetoye&#x201a; Sadie Creese and Michael H Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Critical Information Infrastructures Security</em>.
        
                Pages 155&#x2013;167.
            Springer Berlin Heidelberg.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7691-abstract.html">
			Details <span class="sr-only" > about <em> Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment  </em></span> </a> |
			<a href="/publications/publication7691.bib">
			BibTeX  <span class="sr-only" > data for <em> Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Supporting Human Decision&#x2212;Making Online Using Information&#x2212;Trustworthiness Metrics </strong> </p>
	    <p class="publicationAuthors"> <em> Jason RC Nurse&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Syed Sadiqur Rahman  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Human Aspects of Information Security&#x201a; Privacy&#x201a; and Trust</em>.
        
                Pages 316&#x2013;325.
            Springer Berlin Heidelberg.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7690-abstract.html">
			Details <span class="sr-only" > about <em> Supporting Human Decision&#x2212;Making Online Using Information&#x2212;Trustworthiness Metrics  </em></span> </a> |
			<a href="/publications/publication7690.bib">
			BibTeX  <span class="sr-only" > data for <em> Supporting Human Decision&#x2212;Making Online Using Information&#x2212;Trustworthiness Metrics  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Communicating trustworthiness using radar graphs: A detailed look </strong> </p>
	    <p class="publicationAuthors"> <em> Jason RC Nurse&#x201a; Ioannis Agrafiotis&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Privacy&#x201a; Security and Trust (PST)&#x201a; 2013 Eleventh Annual International Conference on</em>.
        
                Pages 333&#x2013;339.
            IEEE.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7680-abstract.html">
			Details <span class="sr-only" > about <em> Communicating trustworthiness using radar graphs: A detailed look  </em></span> </a> |
			<a href="/publications/publication7680.bib">
			BibTeX  <span class="sr-only" > data for <em> Communicating trustworthiness using radar graphs: A detailed look  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[23] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            NetVis: a Visualization Tool Enabling Multiple Perspectives of Network Traffic Data </strong> </p>
	    <p class="publicationAuthors"> <em> James Nicholls&#x201a; Dominik Peters&#x201a; Albert Slawinski&#x201a; Thomas Spoor&#x201a; Sergiu Vicol&#x201a; Jassim Happa&#x201a; Michael Goldsmith and Sadie Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Theory and Practice of Computer Graphics</em>.
        
                Pages 9&#x2013;16.
            The Eurographics Association.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7679-abstract.html">
			Details <span class="sr-only" > about <em> NetVis: a Visualization Tool Enabling Multiple Perspectives of Network Traffic Data  </em></span> </a> |
			<a href="/publications/publication7679.bib">
			BibTeX  <span class="sr-only" > data for <em> NetVis: a Visualization Tool Enabling Multiple Perspectives of Network Traffic Data  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[24] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An Initial Usability Evaluation of the Secure Situation Awareness System </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Sadie Creese&#x201a; Michael Goldsmith&#x201a; Rachel Craddock and Glyn Jones  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2012)</em>.
        IAS of ISCRAM.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5996-abstract.html">
			Details <span class="sr-only" > about <em> An Initial Usability Evaluation of the Secure Situation Awareness System  </em></span> </a> |
			<a href="/publications/publication5996.bib">
			BibTeX  <span class="sr-only" > data for <em> An Initial Usability Evaluation of the Secure Situation Awareness System  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6635/ISCRAM2012_ncgcj_final.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> An Initial Usability Evaluation of the Secure Situation Awareness System  </em></span>

					    </a>


				    
					| <a href="http://www.iscramlive.org/ISCRAM2012/proceedings/240.pdf"> Download (pdf)  <span class="sr-only" > of <em> An Initial Usability Evaluation of the Secure Situation Awareness System  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[25] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Data&#x2212;Reachability Model for Elucidating Privacy and Security Risks Related to the Use of Online Social Networks </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Michael Goldsmith&#x201a; Jason R.C. Nurse and Elizabeth Phillips  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            11th IEEE International Conference on Trust&#x201a; Security and Privacy in Computing and Communications (IEEE TrustCom&#x2212;12)</em>.
        
                Pages 1124&#x2212;1131.
            IEEE.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6161-abstract.html">
			Details <span class="sr-only" > about <em> A Data&#x2212;Reachability Model for Elucidating Privacy and Security Risks Related to the Use of Online Social Networks  </em></span> </a> |
			<a href="/publications/publication6161.bib">
			BibTeX  <span class="sr-only" > data for <em> A Data&#x2212;Reachability Model for Elucidating Privacy and Security Risks Related to the Use of Online Social Networks  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6632/trustcom2012_CGNP.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> A Data&#x2212;Reachability Model for Elucidating Privacy and Security Risks Related to the Use of Online Social Networks  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1109/TrustCom.2012.22">
		DOI (10.1109/TrustCom.2012.22)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[26] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Inside FDR (abstract of invited talk) </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Pre&#x2212;Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012)</em>.
        
                Pages 11.
            2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7694-abstract.html">
			Details <span class="sr-only" > about <em> Inside FDR (abstract of invited talk)  </em></span> </a> |
			<a href="/publications/publication7694.bib">
			BibTeX  <span class="sr-only" > data for <em> Inside FDR (abstract of invited talk)  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[27] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources </strong> </p>
	    <p class="publicationAuthors"> <em> Syed Rahman&#x201a; Sadie Creese and Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Security and Trust Management</em>.
        
                Pages 223&#x2013;238.
            Springer Berlin/Heidelberg LNCS.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7687-abstract.html">
			Details <span class="sr-only" > about <em> Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources  </em></span> </a> |
			<a href="/publications/publication7687.bib">
			BibTeX  <span class="sr-only" > data for <em> Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[28] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Recent developments in FDR </strong> </p>
	    <p class="publicationAuthors"> <em> Philip Armstrong&#x201a; Michael Goldsmith&#x201a; Gavin Lowe&#x201a; Jo&#xeb;l Ouaknine&#x201a; Hristina Palikareva&#x201a; AW Roscoe and James Worrell  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Computer Aided Verification</em>.
        
                Pages 699&#x2013;704.
            Springer Berlin/Heidelberg.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7686-abstract.html">
			Details <span class="sr-only" > about <em> Recent developments in FDR  </em></span> </a> |
			<a href="/publications/publication7686.bib">
			BibTeX  <span class="sr-only" > data for <em> Recent developments in FDR  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-31424-7_52">
		DOI (10.1007/978-3-642-31424-7_52)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[29] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Insider Attacks in Cloud Computing </strong> </p>
	    <p class="publicationAuthors"> <em> Adrian J Duncan&#x201a; Sadie Creese and Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Trust&#x201a; Security and Privacy in Computing and Communications (TrustCom)&#x201a; 2012 IEEE 11th International Conference on</em>.
        
                Pages 857&#x2013;862.
            IEEE.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7676-abstract.html">
			Details <span class="sr-only" > about <em> Insider Attacks in Cloud Computing  </em></span> </a> |
			<a href="/publications/publication7676.bib">
			BibTeX  <span class="sr-only" > data for <em> Insider Attacks in Cloud Computing  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[30] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Using Information Trustworthiness Advice in Decision Making </strong> </p>
	    <p class="publicationAuthors"> <em> Jason RC Nurse&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Socio&#x2212;Technical Aspects in Security and Trust (STAST)&#x201a; 2012 Workshop on</em>.
        
                Pages 35&#x2013;42.
            IEEE.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7675-abstract.html">
			Details <span class="sr-only" > about <em> Using Information Trustworthiness Advice in Decision Making  </em></span> </a> |
			<a href="/publications/publication7675.bib">
			BibTeX  <span class="sr-only" > data for <em> Using Information Trustworthiness Advice in Decision Making  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[31] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Secure Communication in Disasters </strong> </p>
	    <p class="publicationAuthors"> <em> Bangdao Chen&#x201a; Ivan Flechais&#x201a; Sadie Creese&#x201a; Michael Goldsmith and AW Roscoe  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of HCI 2012 &#x2212; People  People & Computers XXVI: The 26th BCS Conference on Human Computer Interaction</em>.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7673-abstract.html">
			Details <span class="sr-only" > about <em> Secure Communication in Disasters  </em></span> </a> |
			<a href="/publications/publication7673.bib">
			BibTeX  <span class="sr-only" > data for <em> Secure Communication in Disasters  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[32] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A data&#x2212;reachability model for elucidating privacy and security risks related to the use of online social networks </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Michael Goldsmith&#x201a; Jason RC Nurse and Elizabeth Phillips  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Trust&#x201a; Security and Privacy in Computing and Communications (TrustCom)&#x201a; 2012 IEEE 11th International Conference on</em>.
        
                Pages 1124&#x2013;1131.
            IEEE.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7671-abstract.html">
			Details <span class="sr-only" > about <em> A data&#x2212;reachability model for elucidating privacy and security risks related to the use of online social networks  </em></span> </a> |
			<a href="/publications/publication7671.bib">
			BibTeX  <span class="sr-only" > data for <em> A data&#x2212;reachability model for elucidating privacy and security risks related to the use of online social networks  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[33] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An Initial Usability Evaluation of the Secure Situation Awareness System </strong> </p>
	    <p class="publicationAuthors"> <em> Jason RC Nurse&#x201a; Sadie Creese&#x201a; Michael Goldsmith&#x201a; Rachel Craddock and Glyn Jones  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            9th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2012)</em>.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7668-abstract.html">
			Details <span class="sr-only" > about <em> An Initial Usability Evaluation of the Secure Situation Awareness System  </em></span> </a> |
			<a href="/publications/publication7668.bib">
			BibTeX  <span class="sr-only" > data for <em> An Initial Usability Evaluation of the Secure Situation Awareness System  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[34] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Model for Identity in the Cyber and Natural Universes </strong> </p>
	    <p class="publicationAuthors"> <em> Duncan Hodges&#x201a; Sadie Creese and Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Intelligence and Security Informatics Conference (EISIC)&#x201a; 2012 European</em>.
        
                Pages 115&#x2013;122.
            IEEE.
        August,
            2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6300-abstract.html">
			Details <span class="sr-only" > about <em> A Model for Identity in the Cyber and Natural Universes  </em></span> </a> |
			<a href="/publications/publication6300.bib">
			BibTeX  <span class="sr-only" > data for <em> A Model for Identity in the Cyber and Natural Universes  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/EISIC.2012.43">
		DOI (10.1109/EISIC.2012.43)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[35] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Identity attribution across CyberSpace and the Natural Space </strong> </p>
	    <p class="publicationAuthors"> <em> D. Hodges&#x201a; J.R.C. Nurse&#x201a; M. Goldsmith and S. Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The International Crime and Intelligence Analysis Conference</em>.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6410-abstract.html">
			Details <span class="sr-only" > about <em> Identity attribution across CyberSpace and the Natural Space  </em></span> </a> |
			<a href="/publications/publication6410.bib">
			BibTeX  <span class="sr-only" > data for <em> Identity attribution across CyberSpace and the Natural Space  </em></span>   </a>
			
			
					| <a href="http://www.ucl.ac.uk/jdi/events/int-CIA-conf"> Link <span class="sr-only" > to <em> Identity attribution across CyberSpace and the Natural Space  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[36] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment </strong> </p>
	    <p class="publicationAuthors"> <em> Adedayo O. Adetoye&#x201a; Sadie Creese and Michael H. Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            7th International Conference On Critical Information Infrastructures Security (CRITIS 2012)</em>.
        LNCS.
        September,
            2012.
        </p> <p
            class="publicationNote"> To appear</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6237-abstract.html">
			Details <span class="sr-only" > about <em> Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment  </em></span> </a> |
			<a href="/publications/publication6237.bib">
			BibTeX  <span class="sr-only" > data for <em> Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[37] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            From Qualitative to Quantitative Information Erasure </strong> </p>
	    <p class="publicationAuthors"> <em> Adedayo O. Adetoye and Michael H. Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Workshop on Quantitative Aspects in Security Assurance (QASA 2012&#x201a; colocated with ESORICS)</em>.
        September,
            2012.
        </p> <p
            class="publicationNote"> To appear</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6236-abstract.html">
			Details <span class="sr-only" > about <em> From Qualitative to Quantitative Information Erasure  </em></span> </a> |
			<a href="/publications/publication6236.bib">
			BibTeX  <span class="sr-only" > data for <em> From Qualitative to Quantitative Information Erasure  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/5048/qasa2012-Erasure-SLIDES.pdf">Download
					    qasa2012-Erasure-SLIDES.pdf

					    <span class="sr-only" > of <em> From Qualitative to Quantitative Information Erasure  </em></span>

					    </a>


				    

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/4908/erasure-QASA.pdf">Download
					    erasure-QASA.pdf

					    <span class="sr-only" > of <em> From Qualitative to Quantitative Information Erasure  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[38] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Using Information Trustworthiness Advice in Decision&#x2212;Making </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The 2nd Workshop on Socio&#x2212;Technical Aspects in Security and Trust (STAST 2012) at The 25th IEEE Computer Security Foundations Symposium (CSF)</em>.
        IEEE.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6160-abstract.html">
			Details <span class="sr-only" > about <em> Using Information Trustworthiness Advice in Decision&#x2212;Making  </em></span> </a> |
			<a href="/publications/publication6160.bib">
			BibTeX  <span class="sr-only" > data for <em> Using Information Trustworthiness Advice in Decision&#x2212;Making  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6633/STAST2012_NCGL.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Using Information Trustworthiness Advice in Decision&#x2212;Making  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1109/STAST.2012.10">
		DOI (10.1109/STAST.2012.10)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[39] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Analysis of Dependencies in Critical Infrastructures </strong> </p>
	    <p class="publicationAuthors"> <em> Adedayo O. Adetoye&#x201a; Sadie Creese and Michael H Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            6th International Conference on Critical Information Infrastructure Security (CRITIS'11)</em>.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7662-abstract.html">
			Details <span class="sr-only" > about <em> Analysis of Dependencies in Critical Infrastructures  </em></span> </a> |
			<a href="/publications/publication7662.bib">
			BibTeX  <span class="sr-only" > data for <em> Analysis of Dependencies in Critical Infrastructures  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[40] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Guidelines for usable cybersecurity: past and present </strong> </p>
	    <p class="publicationAuthors"> <em> Jason RC Nurse&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Cyberspace Safety and Security (CSS)&#x201a; 2011 Third International Workshop on</em>.
        
                Pages 21&#x2013;26.
            IEEE.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7660-abstract.html">
			Details <span class="sr-only" > about <em> Guidelines for usable cybersecurity: past and present  </em></span> </a> |
			<a href="/publications/publication7660.bib">
			BibTeX  <span class="sr-only" > data for <em> Guidelines for usable cybersecurity: past and present  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[41] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A logical high&#x2212;level framework for Critical Infrastructure resilience and risk assessment </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Michael H Goldsmith and Adedayo O Adetoye  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Cyberspace Safety and Security (CSS)&#x201a; 2011 Third International Workshop on</em>.
        
                Pages 7&#x2013;14.
            IEEE.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7658-abstract.html">
			Details <span class="sr-only" > about <em> A logical high&#x2212;level framework for Critical Infrastructure resilience and risk assessment  </em></span> </a> |
			<a href="/publications/publication7658.bib">
			BibTeX  <span class="sr-only" > data for <em> A logical high&#x2212;level framework for Critical Infrastructure resilience and risk assessment  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[42] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Modelling Approach for Interdependency in Digital Systems&#x2212;of&#x2212;Systems Security </strong> </p>
	    <p class="publicationAuthors"> <em> Adedayo Adetoye&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Paul Hopkins  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Critical Information Infrastructure Security</em>.
        
                Pages 153&#x2013;156.
            Springer Berlin/Heidelberg.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7656-abstract.html">
			Details <span class="sr-only" > about <em> A Modelling Approach for Interdependency in Digital Systems&#x2212;of&#x2212;Systems Security  </em></span> </a> |
			<a href="/publications/publication7656.bib">
			BibTeX  <span class="sr-only" > data for <em> A Modelling Approach for Interdependency in Digital Systems&#x2212;of&#x2212;Systems Security  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[43] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Information Quality and Trustworthiness: A Topical State&#x2212;of&#x2212;the&#x2212;Art Review </strong> </p>
	    <p class="publicationAuthors"> <em> Jason RC Nurse&#x201a; Syed S Rahman&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Computer Applications and Network Security</em>.
        IEEE.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7651-abstract.html">
			Details <span class="sr-only" > about <em> Information Quality and Trustworthiness: A Topical State&#x2212;of&#x2212;the&#x2212;Art Review  </em></span> </a> |
			<a href="/publications/publication7651.bib">
			BibTeX  <span class="sr-only" > data for <em> Information Quality and Trustworthiness: A Topical State&#x2212;of&#x2212;the&#x2212;Art Review  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[44] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Trustworthy and effective communication of cybersecurity risks: a review </strong> </p>
	    <p class="publicationAuthors"> <em> Jason RC Nurse&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            1st Workshop on Socio&#x2212;Technical Aspects in Security and Trust (STAST) at 5th International Conference on Network and System Security (NSS)</em>.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7649-abstract.html">
			Details <span class="sr-only" > about <em> Trustworthy and effective communication of cybersecurity risks: a review  </em></span> </a> |
			<a href="/publications/publication7649.bib">
			BibTeX  <span class="sr-only" > data for <em> Trustworthy and effective communication of cybersecurity risks: a review  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[45] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Logical High&#x2212;Level Framework for Critical Infrastructure Resilience and Risk Assessment </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Michael H. Goldsmith and Adedayo O. Adetoye  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The 3rd International Workshop on Cyberspace Safety and Security (CSS 2011)</em>.
        Milan&#x201a; Italy.
        September,
            2011.
        To appear.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6239-abstract.html">
			Details <span class="sr-only" > about <em> A Logical High&#x2212;Level Framework for Critical Infrastructure Resilience and Risk Assessment  </em></span> </a> |
			<a href="/publications/publication6239.bib">
			BibTeX  <span class="sr-only" > data for <em> A Logical High&#x2212;Level Framework for Critical Infrastructure Resilience and Risk Assessment  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[46] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources </strong> </p>
	    <p class="publicationAuthors"> <em> Syed Sadiqur Rahman&#x201a; Michael Goldsmith and Sadie Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of STM'11 7th International Workshop on Security and Trust Management</em>.
        June,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5560-abstract.html">
			Details <span class="sr-only" > about <em> Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources  </em></span> </a> |
			<a href="/publications/publication5560.bib">
			BibTeX  <span class="sr-only" > data for <em> Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[47] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formalising Requirements for a Biobank Scenario using a Logic for Consent and Revocation </strong> </p>
	    <p class="publicationAuthors"> <em> M. Goldsmith I. Agrafiotis S. Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the IFIP Summer School 2011</em>.
        September,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5557-abstract.html">
			Details <span class="sr-only" > about <em> Formalising Requirements for a Biobank Scenario using a Logic for Consent and Revocation  </em></span> </a> |
			<a href="/publications/publication5557.bib">
			BibTeX  <span class="sr-only" > data for <em> Formalising Requirements for a Biobank Scenario using a Logic for Consent and Revocation  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[48] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Developing a Strategy for Automated Privacy Testing Suites </strong> </p>
	    <p class="publicationAuthors"> <em> M. Goldsmith I. Agrafiotis S. Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the IFIP Summer School</em>.
        September,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5556-abstract.html">
			Details <span class="sr-only" > about <em> Developing a Strategy for Automated Privacy Testing Suites  </em></span> </a> |
			<a href="/publications/publication5556.bib">
			BibTeX  <span class="sr-only" > data for <em> Developing a Strategy for Automated Privacy Testing Suites  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[49] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Guidelines for Usable Cybersecurity: Past and Present </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The 3rd International Workshop on Cyberspace Safety and Security (CSS 2011) at The 5th International Conference on Network and System Security (NSS 2011)</em>.
        IEEE.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5465-abstract.html">
			Details <span class="sr-only" > about <em> Guidelines for Usable Cybersecurity: Past and Present  </em></span> </a> |
			<a href="/publications/publication5465.bib">
			BibTeX  <span class="sr-only" > data for <em> Guidelines for Usable Cybersecurity: Past and Present  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6638/CSS2011_NCGL_authors_final.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Guidelines for Usable Cybersecurity: Past and Present  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1109/CSS.2011.6058566">
		DOI (10.1109/CSS.2011.6058566)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[50] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Information Quality and Trustworthiness: A Topical State&#x2212;of&#x2212;the&#x2212;Art Review </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Syed Sadiqur Rahman&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The International Conference on Computer Applications and Network Security (ICCANS) 2011</em>.
        IEEE.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5464-abstract.html">
			Details <span class="sr-only" > about <em> Information Quality and Trustworthiness: A Topical State&#x2212;of&#x2212;the&#x2212;Art Review  </em></span> </a> |
			<a href="/publications/publication5464.bib">
			BibTeX  <span class="sr-only" > data for <em> Information Quality and Trustworthiness: A Topical State&#x2212;of&#x2212;the&#x2212;Art Review  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6637/ICCANS2011_NRCGL_final.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Information Quality and Trustworthiness: A Topical State&#x2212;of&#x2212;the&#x2212;Art Review  </em></span>

					    </a>


				    
					| <a href="http://www.tease-project.info/publications/iccans2011_nrcgl_authors_final"> Link <span class="sr-only" > to <em> Information Quality and Trustworthiness: A Topical State&#x2212;of&#x2212;the&#x2212;Art Review  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[51] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Trustworthy and Effective Communication of Cybersecurity Risks: A Review </strong> </p>
	    <p class="publicationAuthors"> <em> Jason R.C. Nurse&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Koen Lamberts  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The 1st Workshop on Socio&#x2212;Technical Aspects in Security and Trust (STAST 2011) at The 5th International Conference on Network and System Security (NSS 2011)</em>.
        IEEE.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5466-abstract.html">
			Details <span class="sr-only" > about <em> Trustworthy and Effective Communication of Cybersecurity Risks: A Review  </em></span> </a> |
			<a href="/publications/publication5466.bib">
			BibTeX  <span class="sr-only" > data for <em> Trustworthy and Effective Communication of Cybersecurity Risks: A Review  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6636/STAST2011_NCGL_authors_final.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Trustworthy and Effective Communication of Cybersecurity Risks: A Review  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1109/STAST.2011.6059257">
		DOI (10.1109/STAST.2011.6059257)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[52] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Refinement&#x2212;Friendly Bigraphs and Spygraphs </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Goldsmith and Sadie Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Software Engineering and Formal Methods (SEFM)&#x201a; 2010 8th IEEE International Conference on</em>.
        
                Pages 203&#x2013;207.
            IEEE.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7648-abstract.html">
			Details <span class="sr-only" > about <em> Refinement&#x2212;Friendly Bigraphs and Spygraphs  </em></span> </a> |
			<a href="/publications/publication7648.bib">
			BibTeX  <span class="sr-only" > data for <em> Refinement&#x2212;Friendly Bigraphs and Spygraphs  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[53] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            EnCoRe: Towards a holistic approach to privacy </strong> </p>
	    <p class="publicationAuthors"> <em> Nick Papanikolaou&#x201a; Sadie Creese&#x201a; Michael Goldsmith&#x201a; Marco Casassa Mont and Siani Pearson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Security and Cryptography (SECRYPT)&#x201a; Proceedings of the 2010 International Conference on</em>.
        
                Pages 1&#x2013;6.
            IEEE.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7647-abstract.html">
			Details <span class="sr-only" > about <em> EnCoRe: Towards a holistic approach to privacy  </em></span> </a> |
			<a href="/publications/publication7647.bib">
			BibTeX  <span class="sr-only" > data for <em> EnCoRe: Towards a holistic approach to privacy  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[54] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Inadequacies of Current Risk Controls for the Cloud </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Auty&#x201a; Sadie Creese&#x201a; M Goldsmith and P Hopkins  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Cloud Computing Technology and Science (CloudCom)&#x201a; 2010 IEEE Second International Conference on</em>.
        
                Pages 659&#x2013;666.
            IEEE.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7644-abstract.html">
			Details <span class="sr-only" > about <em> Inadequacies of Current Risk Controls for the Cloud  </em></span> </a> |
			<a href="/publications/publication7644.bib">
			BibTeX  <span class="sr-only" > data for <em> Inadequacies of Current Risk Controls for the Cloud  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[55] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Applying formal methods to describe the privacy&#x2212;control requirements in real case&#x2212;study scenario: emerging ambiguities and proposed solutions </strong> </p>
	    <p class="publicationAuthors"> <em> N. Papanikolaou I. Agrafiotis S. Creese M. Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 2010 IFIP/PrimeLife Summer School</em>.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5567-abstract.html">
			Details <span class="sr-only" > about <em> Applying formal methods to describe the privacy&#x2212;control requirements in real case&#x2212;study scenario: emerging ambiguities and proposed solutions  </em></span> </a> |
			<a href="/publications/publication5567.bib">
			BibTeX  <span class="sr-only" > data for <em> Applying formal methods to describe the privacy&#x2212;control requirements in real case&#x2212;study scenario: emerging ambiguities and proposed solutions  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[56] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            EnCoRe: Towards a Holistic Approach to Privacy </strong> </p>
	    <p class="publicationAuthors"> <em> S. Pearson N. Papanikolaou S. Creese M. Goldsmith M. Casassa Mont  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of SECRYPT2010</em>.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5568-abstract.html">
			Details <span class="sr-only" > about <em> EnCoRe: Towards a Holistic Approach to Privacy  </em></span> </a> |
			<a href="/publications/publication5568.bib">
			BibTeX  <span class="sr-only" > data for <em> EnCoRe: Towards a Holistic Approach to Privacy  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[57] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Defining Consent and Revocation Policies </strong> </p>
	    <p class="publicationAuthors"> <em> S. Pearson I. Agrafiotis S. Creese M. Goldsmith N. Papanikolaou M Casassa Mont  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 2010 IFIP/PrimeLife Summer School</em>.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5565-abstract.html">
			Details <span class="sr-only" > about <em> Defining Consent and Revocation Policies  </em></span> </a> |
			<a href="/publications/publication5565.bib">
			BibTeX  <span class="sr-only" > data for <em> Defining Consent and Revocation Policies  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[58] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Modelling Approach for Interdependency in Digital Systems&#x2212;of&#x2212;Systems Security &#x2013; Extended Abstract </strong> </p>
	    <p class="publicationAuthors"> <em> M. Goldsmith A. Adetoye S. Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of CRITIS'10</em>.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5563-abstract.html">
			Details <span class="sr-only" > about <em> A Modelling Approach for Interdependency in Digital Systems&#x2212;of&#x2212;Systems Security &#x2013; Extended Abstract  </em></span> </a> |
			<a href="/publications/publication5563.bib">
			BibTeX  <span class="sr-only" > data for <em> A Modelling Approach for Interdependency in Digital Systems&#x2212;of&#x2212;Systems Security &#x2013; Extended Abstract  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[59] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Refinement&#x2212;Friendly Bigraphs and Spygraphs </strong> </p>
	    <p class="publicationAuthors"> <em> S. Creese M. Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of SEFM'10</em>.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5564-abstract.html">
			Details <span class="sr-only" > about <em> Refinement&#x2212;Friendly Bigraphs and Spygraphs  </em></span> </a> |
			<a href="/publications/publication5564.bib">
			BibTeX  <span class="sr-only" > data for <em> Refinement&#x2212;Friendly Bigraphs and Spygraphs  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[60] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Inadequacies of Current Risk Controls for the Cloud </strong> </p>
	    <p class="publicationAuthors"> <em> P. Hopkins M. Auty S. Creese M. Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of CloudCom 2010</em>.
        November,
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5562-abstract.html">
			Details <span class="sr-only" > about <em> Inadequacies of Current Risk Controls for the Cloud  </em></span> </a> |
			<a href="/publications/publication5562.bib">
			BibTeX  <span class="sr-only" > data for <em> Inadequacies of Current Risk Controls for the Cloud  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[61] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Ensuring Consent and Revocation: Towards a Taxonomy of Consent </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Michael Goldsmith and Nikolaos Papanikolaou  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            WebSci'09: Society Online</em>.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7655-abstract.html">
			Details <span class="sr-only" > about <em> Ensuring Consent and Revocation: Towards a Taxonomy of Consent  </em></span> </a> |
			<a href="/publications/publication7655.bib">
			BibTeX  <span class="sr-only" > data for <em> Ensuring Consent and Revocation: Towards a Taxonomy of Consent  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[62] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards an Integrated Approach to the Management&#x201a; Specification and Enforcement of Privacy Policies </strong> </p>
	    <p class="publicationAuthors"> <em> Marco Casassa Mont&#x201a; Siani Pearson&#x201a; Sadie Creese&#x201a; Michael Goldsmith and Nick Papanikolaou  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of W3C Workshop on Access Control Application Scenarios</em>.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7652-abstract.html">
			Details <span class="sr-only" > about <em> Towards an Integrated Approach to the Management&#x201a; Specification and Enforcement of Privacy Policies  </em></span> </a> |
			<a href="/publications/publication7652.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards an Integrated Approach to the Management&#x201a; Specification and Enforcement of Privacy Policies  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[63] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Beyond Mobility: What Next After CSP/<span style="font-family: serif">&#x03c0;</span> </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The thirty&#x2212;second Communicating Process Architectures Conference&#x201a; CPA</em>.
        
                Pages 1&#x2013;6.
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7643-abstract.html">
			Details <span class="sr-only" > about <em> Beyond Mobility: What Next After CSP/<span style="font-family: serif">&#x03c0;</span>  </em></span> </a> |
			<a href="/publications/publication7643.bib">
			BibTeX  <span class="sr-only" > data for <em> Beyond Mobility: What Next After CSP/<span style="font-family: serif">&#x03c0;</span>  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[64] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Ensuring Consent and Revocation: Towards a Taxonomy of Consent </strong> </p>
	    <p class="publicationAuthors"> <em> N. Papnikolaou S. Creese M. Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of WebSci'09: Society On&#x2212;Line</em>.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5577-abstract.html">
			Details <span class="sr-only" > about <em> Ensuring Consent and Revocation: Towards a Taxonomy of Consent  </em></span> </a> |
			<a href="/publications/publication5577.bib">
			BibTeX  <span class="sr-only" > data for <em> Ensuring Consent and Revocation: Towards a Taxonomy of Consent  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[65] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking </strong> </p>
	    <p class="publicationAuthors"> <em> Nick Moffat&#x201a; Michael Goldsmith and Bill Roscoe  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Formal methods and software engineering: 10th International Conference on Formal Engineering Methods&#x201a; ICFEM 2008&#x201a; Kitakyushu&#x2212;City&#x201a; Japan&#x201a; October 27&#x2212;31&#x201a; 2008: proceedings</em>.
        
                Pages 258&#x2013;277.
            Springer&#x2212;Verlag New York Inc.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7659-abstract.html">
			Details <span class="sr-only" > about <em> A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking  </em></span> </a> |
			<a href="/publications/publication7659.bib">
			BibTeX  <span class="sr-only" > data for <em> A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[66] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Requirements and Concepts for Information Assurance and Pervasive Adaptation Co&#x2212;design </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese and Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Second IEEE International Conference on Self&#x2212;Adaptive and Self&#x2212;Organizing Systems&#x201a; Workshop on Pervasive Adaptation&#x201a; 2008. SASO/PerAda 2008</em>.
        
                Pages 73&#x2013;77.
            IEEE.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7657-abstract.html">
			Details <span class="sr-only" > about <em> Requirements and Concepts for Information Assurance and Pervasive Adaptation Co&#x2212;design  </em></span> </a> |
			<a href="/publications/publication7657.bib">
			BibTeX  <span class="sr-only" > data for <em> Requirements and Concepts for Information Assurance and Pervasive Adaptation Co&#x2212;design  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[67] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Requirements and Concepts for Information Assurance and Pervasive Adaptation Co&#x2212;Design </strong> </p>
	    <p class="publicationAuthors"> <em> M. Goldsmith S. Creese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Pervasive Adaptation (PerAda) workshop&#x201a; 2nd Conference on Self&#x2212;Adapting and Self&#x2212;Organizing Systems (SASO 2008)</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5578-abstract.html">
			Details <span class="sr-only" > about <em> Requirements and Concepts for Information Assurance and Pervasive Adaptation Co&#x2212;Design  </em></span> </a> |
			<a href="/publications/publication5578.bib">
			BibTeX  <span class="sr-only" > data for <em> Requirements and Concepts for Information Assurance and Pervasive Adaptation Co&#x2212;Design  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[68] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Taking quotients in CSP </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Conference in Topology and Theoretical Computer Science in honour of Peter Collins and Mike Reed</em>.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7654-abstract.html">
			Details <span class="sr-only" > about <em> Taking quotients in CSP  </em></span> </a> |
			<a href="/publications/publication7654.bib">
			BibTeX  <span class="sr-only" > data for <em> Taking quotients in CSP  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[69] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Bootstrapping multi&#x2212;party ad&#x2212;hoc security </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Michael Goldsmith&#x201a; Bill Roscoe and Ming Xiao  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2006 ACM symposium on Applied computing</em>.
        
                Pages 369&#x2013;375.
            ACM.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7627-abstract.html">
			Details <span class="sr-only" > about <em> Bootstrapping multi&#x2212;party ad&#x2212;hoc security  </em></span> </a> |
			<a href="/publications/publication7627.bib">
			BibTeX  <span class="sr-only" > data for <em> Bootstrapping multi&#x2212;party ad&#x2212;hoc security  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[70] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Exploiting empirical engagement in authentication protocol design </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Michael Goldsmith&#x201a; Richard Harrison&#x201a; Bill Roscoe&#x201a; Paul Whittaker and Irfan Zakiuddin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Security in Pervasive Computing</em>.
        
                Pages 119&#x2013;133.
            Springer Berlin/Heidelberg.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7624-abstract.html">
			Details <span class="sr-only" > about <em> Exploiting empirical engagement in authentication protocol design  </em></span> </a> |
			<a href="/publications/publication7624.bib">
			BibTeX  <span class="sr-only" > data for <em> Exploiting empirical engagement in authentication protocol design  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[71] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Exploiting Empirical Engagement in Authentication Protocol Design </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Michael Goldsmith&#x201a; Richard Harrison&#x201a; Bill Roscoe&#x201a; Paul Whittaker and Irfan Zakiuddin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of SPPC 2005</em>.
        May,
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5581-abstract.html">
			Details <span class="sr-only" > about <em> Exploiting Empirical Engagement in Authentication Protocol Design  </em></span> </a> |
			<a href="/publications/publication5581.bib">
			BibTeX  <span class="sr-only" > data for <em> Exploiting Empirical Engagement in Authentication Protocol Design  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[72] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            CSP: The Best Concurrent&#x2212;System Description Language in the World&#x2212;Probably! </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Communicating Process Architectures</em>.
        
                Pages 227&#x2013;232.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7640-abstract.html">
			Details <span class="sr-only" > about <em> CSP: The Best Concurrent&#x2212;System Description Language in the World&#x2212;Probably!  </em></span> </a> |
			<a href="/publications/publication7640.bib">
			BibTeX  <span class="sr-only" > data for <em> CSP: The Best Concurrent&#x2212;System Description Language in the World&#x2212;Probably!  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[73] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Authentication for pervasive computing </strong> </p>
	    <p class="publicationAuthors"> <em> Sadie Creese&#x201a; Michael Goldsmith&#x201a; Bill Roscoe and Irfan Zakiuddin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Security in pervasive computing</em>.
        
                Pages 439&#x2013;488.
            Springer Berlin/Heidelberg.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7622-abstract.html">
			Details <span class="sr-only" > about <em> Authentication for pervasive computing  </em></span> </a> |
			<a href="/publications/publication7622.bib">
			BibTeX  <span class="sr-only" > data for <em> Authentication for pervasive computing  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[74] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Watchdog transformations for property&#x2212;oriented model&#x2212;checking </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Goldsmith&#x201a; Nick Moffat&#x201a; Bill Roscoe&#x201a; Tim Whitworth and Irfan Zakiuddin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            FME 2003: Formal Methods</em>.
        
                Pages 600&#x2013;616.
            Springer Berlin/Heidelberg.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7629-abstract.html">
			Details <span class="sr-only" > about <em> Watchdog transformations for property&#x2212;oriented model&#x2212;checking  </em></span> </a> |
			<a href="/publications/publication7629.bib">
			BibTeX  <span class="sr-only" > data for <em> Watchdog transformations for property&#x2212;oriented model&#x2212;checking  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[75] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A methodology for model&#x2212;checking ad&#x2212;hoc networks </strong> </p>
	    <p class="publicationAuthors"> <em> Irfan Zakiuddin&#x201a; Michael Goldsmith&#x201a; Paul Whittaker and Paul Gardiner  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 10th international conference on Model checking software</em>.
        
                Pages 181&#x2013;196.
            Springer&#x2212;Verlag.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7625-abstract.html">
			Details <span class="sr-only" > about <em> A methodology for model&#x2212;checking ad&#x2212;hoc networks  </em></span> </a> |
			<a href="/publications/publication7625.bib">
			BibTeX  <span class="sr-only" > data for <em> A methodology for model&#x2212;checking ad&#x2212;hoc networks  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[76] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Authentication in pervasive computing </strong> </p>
	    <p class="publicationAuthors"> <em> A. W. Roscoe&#x201a; S.J. Creese&#x201a; M.H. Goldsmith and I.Zakiuddin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the First International Conference on Security in Pervasive Computing</em>.
        LNCS.
        March,
            2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5584-abstract.html">
			Details <span class="sr-only" > about <em> Authentication in pervasive computing  </em></span> </a> |
			<a href="/publications/publication5584.bib">
			BibTeX  <span class="sr-only" > data for <em> Authentication in pervasive computing  </em></span>   </a>
			
			
					| <a href="http://www.cs.ox.ac.uk/people/bill.roscoe/publications/87.ps"> Link <span class="sr-only" > to <em> Authentication in pervasive computing  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[77] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Implementing Data&#x2212;Independence: Symbolic Operational Semantics for CSP_M </strong> </p>
	    <p class="publicationAuthors"> <em> M Goldsmith and P Whittaker  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of second workshop on Automated Verification of Critical Systems (AVoCS'02)</em>.
        
                Pages 59&#x2013;64.
            University of Birmingham; 1999.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7685-abstract.html">
			Details <span class="sr-only" > about <em> Implementing Data&#x2212;Independence: Symbolic Operational Semantics for CSP_M  </em></span> </a> |
			<a href="/publications/publication7685.bib">
			BibTeX  <span class="sr-only" > data for <em> Implementing Data&#x2212;Independence: Symbolic Operational Semantics for CSP_M  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[78] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Parallelization of FDR </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Goldsmith and Jeremy Martin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Workshop on Parallel and Distributed Model Checking&#x201a; afiliated to CONCUR</em>.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7636-abstract.html">
			Details <span class="sr-only" > about <em> Parallelization of FDR  </em></span> </a> |
			<a href="/publications/publication7636.bib">
			BibTeX  <span class="sr-only" > data for <em> Parallelization of FDR  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[79] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Property&#x2212;based compression strategies </strong> </p>
	    <p class="publicationAuthors"> <em> Irfan Zakiuddin&#x201a; Nick Moffat&#x201a; Michael Goldsmith and Tim Whitworth  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Second Workshop on Automated Verification of Critical Systems (AVoCS 2002)</em>.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7634-abstract.html">
			Details <span class="sr-only" > about <em> Property&#x2212;based compression strategies  </em></span> </a> |
			<a href="/publications/publication7634.bib">
			BibTeX  <span class="sr-only" > data for <em> Property&#x2212;based compression strategies  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[80] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Critical systems validation and verification with CSP and FDR </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Goldsmith and Irfan Zakiuddin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Applied Formal Methods&#x2014;FM&#x2212;Trends 98</em>.
        
                Pages 243&#x2013;250.
            Springer Berlin/Heidelberg.
        1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7639-abstract.html">
			Details <span class="sr-only" > about <em> Critical systems validation and verification with CSP and FDR  </em></span> </a> |
			<a href="/publications/publication7639.bib">
			BibTeX  <span class="sr-only" > data for <em> Critical systems validation and verification with CSP and FDR  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[81] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            What is intransitive noninterference? </strong> </p>
	    <p class="publicationAuthors"> <em> AW Roscoe and MH Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Computer Security Foundations Workshop&#x201a; 1999. Proceedings of the 12th IEEE</em>.
        
                Pages 228&#x2013;238.
            IEEE.
        1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7619-abstract.html">
			Details <span class="sr-only" > about <em> What is intransitive noninterference?  </em></span> </a> |
			<a href="/publications/publication7619.bib">
			BibTeX  <span class="sr-only" > data for <em> What is intransitive noninterference?  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[82] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Hierarchical compression for model&#x2212;checking CSP or how to check 10 20 dining philosophers for deadlock </strong> </p>
	    <p class="publicationAuthors"> <em> A Roscoe&#x201a; P Gardiner&#x201a; Michael Goldsmith&#x201a; J Hulance&#x201a; D Jackson and J Scattergood  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Tools and Algorithms for the Construction and Analysis of Systems</em>.
        
                Pages 133&#x2013;152.
            Springer Berlin/Heidelberg.
        1995.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7620-abstract.html">
			Details <span class="sr-only" > about <em> Hierarchical compression for model&#x2212;checking CSP or how to check 10 20 dining philosophers for deadlock  </em></span> </a> |
			<a href="/publications/publication7620.bib">
			BibTeX  <span class="sr-only" > data for <em> Hierarchical compression for model&#x2212;checking CSP or how to check 10 20 dining philosophers for deadlock  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[83] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Classifying unbounded nondeterminism in CSP </strong> </p>
	    <p class="publicationAuthors"> <em> Geoff Barrett and Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Topology and category theory in computer science</em>.
        
                Pages 57&#x2013;74.
            Oxford University Press&#x201a; Inc..
        1991.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7666-abstract.html">
			Details <span class="sr-only" > about <em> Classifying unbounded nondeterminism in CSP  </em></span> </a> |
			<a href="/publications/publication7666.bib">
			BibTeX  <span class="sr-only" > data for <em> Classifying unbounded nondeterminism in CSP  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[84] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal Methods in the development of the H1 transputer </strong> </p>
	    <p class="publicationAuthors"> <em> AW Roscoe&#x201a; MH Goldsmith&#x201a; ADB Cox and JB Scattergood  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the world transputer user group (WOTUG) conference on Transputing'91</em>.
        
                Pages 629&#x2013;642.
            IOS Press.
        1991.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7641-abstract.html">
			Details <span class="sr-only" > about <em> Formal Methods in the development of the H1 transputer  </em></span> </a> |
			<a href="/publications/publication7641.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal Methods in the development of the H1 transputer  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[85] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Transformation of occam programs </strong> </p>
	    <p class="publicationAuthors"> <em> MH Goldsmith and AW Roscoe  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Design and Application of Parallel Digital Processors&#x201a; 1988.&#x201a; International Specialist Seminar on the</em>.
        
                Pages 180&#x2013;188.
            IET.
        1988.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7642-abstract.html">
			Details <span class="sr-only" > about <em> Transformation of occam programs  </em></span> </a> |
			<a href="/publications/publication7642.bib">
			BibTeX  <span class="sr-only" > data for <em> Transformation of occam programs  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[86] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The meaning and implementation of PRI ALT in occam </strong> </p>
	    <p class="publicationAuthors"> <em> Geoff Barrett&#x201a; Michael Goldsmith&#x201a; Geraint Jones and Andrew Kay  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            occam and the Transputer&#x201a; research and applications (OUG&#x2212;9)</em>.
        
            Vol. 88.
        1988.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7630-abstract.html">
			Details <span class="sr-only" > about <em> The meaning and implementation of PRI ALT in occam  </em></span> </a> |
			<a href="/publications/publication7630.bib">
			BibTeX  <span class="sr-only" > data for <em> The meaning and implementation of PRI ALT in occam  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[87] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An algebraic transformation system for occam programs </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Goldsmith&#x201a; Anthony Cox and Geoff Barrett  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            STACS 87</em>.
        
                Pages 481&#x2013;481.
            Springer Berlin/Heidelberg.
        1987.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7646-abstract.html">
			Details <span class="sr-only" > about <em> An algebraic transformation system for occam programs  </em></span> </a> |
			<a href="/publications/publication7646.bib">
			BibTeX  <span class="sr-only" > data for <em> An algebraic transformation system for occam programs  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[88] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            occam transformation at Oxford </strong> </p>
	    <p class="publicationAuthors"> <em> MH Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proc. 7th occam User Group Technical Meeting</em>.
        1987.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7631-abstract.html">
			Details <span class="sr-only" > about <em> occam transformation at Oxford  </em></span> </a> |
			<a href="/publications/publication7631.bib">
			BibTeX  <span class="sr-only" > data for <em> occam transformation at Oxford  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Technical reports
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Relative Effectiveness of widely used Risk Controls and the Real Value of Compliance </strong> </p>
	    <p class="publicationAuthors"> <em> Ioannis Agrafiotis&#x201a; Sadie Creese&#x201a; Michael Goldsmith&#x201a; Jason R.C. Nurse and David Upton  </em> </p>
	
	<p class="publicationDetails"> 
            No. RR&#x2212;17&#x2212;01.
        DCS.
        Oxford&#x201a; UK.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10905-abstract.html">
			Details <span class="sr-only" > about <em> The Relative Effectiveness of widely used Risk Controls and the Real Value of Compliance  </em></span> </a> |
			<a href="/publications/publication10905.bib">
			BibTeX  <span class="sr-only" > data for <em> The Relative Effectiveness of widely used Risk Controls and the Real Value of Compliance  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/8869/The_Relative_Effectiveness_of_widely_used_Risk_Controls_and_the_Real_Val....pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> The Relative Effectiveness of widely used Risk Controls and the Real Value of Compliance  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Miscellaneous
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            FDR2 user manual </strong> </p>
	    <p class="publicationAuthors"> <em> Paul Gardiner&#x201a; Michael Goldsmith&#x201a; Jason Hulance&#x201a; David Jackson&#x201a; AW Roscoe&#x201a; Bryan Scattergood and Philip Armstrong  </em> </p>
	
	<p class="publicationDetails"> 2000.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7638-abstract.html">
			Details <span class="sr-only" > about <em> FDR2 user manual  </em></span> </a> |
			<a href="/publications/publication7638.bib">
			BibTeX  <span class="sr-only" > data for <em> FDR2 user manual  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Oxford occam transformation system </strong> </p>
	    <p class="publicationAuthors"> <em> Michael Goldsmith  </em> </p>
	
	<p class="publicationDetails"> 1988.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7628-abstract.html">
			Details <span class="sr-only" > about <em> The Oxford occam transformation system  </em></span> </a> |
			<a href="/publications/publication7628.bib">
			BibTeX  <span class="sr-only" > data for <em> The Oxford occam transformation system  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li><a href="/people/faculty.html">Faculty</a></li><li class="active"><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]