[an error occurred while processing this directive]<meta name="keywords"
      content="Department of Computer Science, Project, Secure and Trustworthy Web Services"></meta>
<meta name="description"
      content="Department of Computer Science, Project, Secure and Trustworthy Web Services, securewebservices"></meta>
<title>Department of Computer Science - Research Project: Secure and Trustworthy Web Services</title>
[an error occurred while processing this directive]
<!-- BREADCRUMBS -->
<div class="content-width">
   <ol class="breadcrumb text-uppercase">
      <li>
         <a href="/">Home</a>
      </li>
      <li>
         <a href="/research/">Research</a>
      </li>
      <li>
         <a href="/research/security/">Security</a>
      </li>
      <li>
         <a href="/research/security/projects.html">Projects</a>
      </li>
      <li class="active">Secure and Trustworthy Web Services</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-6 col-md-push-3" id="maincontent">
         <div class="page-title">
            <div class="row">
               <div class="col-xs-12 col-md-12">
                  <h1>Secure and Trustworthy Web Services</h1>
               </div>
            </div>
            <div class="row">
               <div class="col-xs-12 col-md-12">1st October 2007 to 30th March 2011</div>
            </div>
         </div>
         <div class="personalContent"><p>DPhil project of John Lyle, funded by the EPSRC and QinetiQ.</p><p>This project involves increasing the trustworthiness
            of web services through program assertions and trusted computing. </p><p>&nbsp;In order to make web services a reasonable
            target for trusted computing, the project also investigates practical development and deployment issues.</p><p>&nbsp;</p>
         </div>
         <h2>Selected Publications</h2>
         <p>
            <a href="/projects/publications/date/securewebservices.html"
               class="btn btn-dark-brown-outline btn-thin text-uppercase">View All</a>
         </p>
         <ul class="list-unbulleted list-unbulleted-spaced"><li> <p class="publicationTitle"> <strong>
            Managing application whitelists in trusted distributed systems </strong> </p>
            	    <p class="publicationAuthors"> <em> Jun Ho Huh&#x201a; John Lyle&#x201a; Cornelius Namiluko and Andrew Martin  </em>
            </p>
            	
            	
            	<p class="publicationDetails"> 
            In <em>Future Generation Computer Systems</em>.
            
            Vol. In Press&#x201a; Accepted Manuscript.
            2010.
            </p>
            	
            <p class="publicationlinks"> <a
            
            href="/publications/publication3689-abstract.html"> Details   <span class="sr-only" > about <em> Managing application whitelists
            in trusted distributed systems  </em></span> </a> | <a
            
            href="/publications/publication3689.bib"> BibTeX  <span class="sr-only" > data for <em> Managing application whitelists in
            trusted distributed systems  </em></span>   </a>  | <a
            href="http://dx.doi.org/DOI: 10.1016/j.future.2010.08.014">
            DOI (DOI: 10.1016/j.future.2010.08.014)
            </a> 
            					| <a href=""http://www.sciencedirect.com/science/article/B6V06-50XCXVD-2/2/6efb0eda0beeb1edcc156190e2f843e8"> Link <span
            class="sr-only" > to <em> Managing application whitelists in trusted distributed systems  </em></span> </a>
            				</li><li> <p class="publicationTitle"> <strong>
            Trusted Computing and Provenance: Better Together </strong> </p>
            	    <p class="publicationAuthors"> <em> John Lyle and Andrew Martin  </em> </p>
            	
            	
            	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2nd Workshop on the Theory and Practice of Provenance</em>.
            Usenix.
            2010.
            </p>
            	
            <p class="publicationlinks"> <a
            
            href="/publications/publication3553-abstract.html"> Details   <span class="sr-only" > about <em> Trusted Computing and Provenance:
            Better Together  </em></span> </a> | <a
            
            href="/publications/publication3553.bib"> BibTeX  <span class="sr-only" > data for <em> Trusted Computing and Provenance:
            Better Together  </em></span>   </a> 
            	    
            	     |
            <a 
            href="http://www.cs.ox.ac.uk/files/5278/tapp10-cameraready.pdf">Download
            		     (pdf)
            		    
            		    <span class="sr-only" > of <em> Trusted Computing and Provenance: Better Together  </em></span>
            		    
            		    </a>
            		
            		
            	    
            					| <a href="http://www.usenix.org/events/tapp10/tech/full_papers/lyle.pdf"> Download (pdf)  <span class="sr-only" > of
            <em> Trusted Computing and Provenance: Better Together  </em></span>   </a>
            				</li><li> <p class="publicationTitle"> <strong>
            Engineering Attestable Services (short paper) </strong> </p>
            	    <p class="publicationAuthors"> <em> John Lyle and Andrew Martin  </em> </p>
            	
            	
            	<p class="publicationDetails"> 
            In Ahmad&#x2212;Reza Acquisti Alessandro; Smith Sean W.; Sadeghi, editor,
            
            <em>
            Proceedings of the 3rd International Conference on Trust and Trustworthy Computing</em>.
            
            Pages 257&#x2013;264.
            Springer.
            June,
            2010.
            </p>
            	
            <p class="publicationlinks"> <a
            
            href="/publications/publication3660-abstract.html"> Details   <span class="sr-only" > about <em> Engineering Attestable Services
            (short paper)  </em></span> </a> | <a
            
            href="/publications/publication3660.bib"> BibTeX  <span class="sr-only" > data for <em> Engineering Attestable Services (short
            paper)  </em></span>   </a> 
            	    
            	     |
            <a 
            href="http://www.cs.ox.ac.uk/files/5277/engineering-attestable-services-shortpaper.pdf">Download
            		     (pdf)
            		    
            		    <span class="sr-only" > of <em> Engineering Attestable Services (short paper)  </em></span>
            		    
            		    </a>
            		
            		
            	     | <a
            href="http://dx.doi.org/10.1007/978-3-642-13869-0">
            DOI (10.1007/978-3-642-13869-0)
            </a> 
            					| <a href="http://www.springerlink.com/content/4NG0010448040134"> Link <span class="sr-only" > to <em> Engineering Attestable
            Services (short paper)  </em></span> </a>
            				</li>
         </ul>
         <div class="row">
            <h3>Sponsors</h3>
         </div>
         <div class="row">
            <div class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs clear-sm clear-md clear-lg">
               <a class="piccy" href="http://www.qinetiq.com/"
                  style="background-image:url('/files/87/qinetiq_dotcom_logo.gif')"></a>
               <center>
                  <a href="http://www.qinetiq.com/">
                     <span class="newcaption">QinetiQ</span>
                  </a>
               </center>
            </div>
            <div class="picturebox col-xs-6 col-sm-4 col-md-4 ">
               <a class="piccy" href="http://www.epsrc.ac.uk"
                  style="background-image:url('/files/10497/EPSRC.jpg')"></a>
               <center>
                  <a href="http://www.epsrc.ac.uk">
                     <span class="newcaption">EPSRC</span>
                  </a>
               </center>
            </div>
         </div>
         <div class="row">
            <h3>Principal Investigator</h3>
         </div>
         <div class="row">
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs clear-sm clear-md clear-lg">
               <a class="piccy" href="/people/Andrew.Martin/"
                  style="background-image:url('/files/2012//COM_2001.jpg')"></a>
               <center>
                  <a href="/people/Andrew.Martin/">
                     <span class="newcaption">
                        <span itemprop="name">Andrew Martin</span>
                     </span>
                  </a>
               </center>
            </div>
         </div>
         <div class="row">
            <h3>People</h3>
         </div>
         <div class="row">
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs clear-sm clear-md clear-lg">
               <a class="piccy"
                  style="background-image:url('/files/3205//john-comlab-profile-crop-smaller.jpg')"></a>
               <center>
                  <span class="newcaption">
                     <span itemprop="name">John Lyle</span>
                  </span>
               </center>
            </div>
         </div>
         <div class="row space-below">
            [an error occurred while processing this directive]
         </div>
      </div>
      <!-- TACTICAL BOXES (Column 3) -->
      <div class="col-xs-12 col-md-3 col-md-push-3 no-print">
         <div class="row">
            <div class="col-xs-12 col-sm-6 col-md-12">
               <div class="panel panel-dark-brown panel-links text-center">
                  <div class="panel-heading clearfix">
                     <h2 class="panel-title panel-title-small text-uppercase">Sponsors</h2>
                     <span class="underbar"></span>
                  </div>
                  <div class="panel-body no-top-padding">
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="http://www.qinetiq.com/">QinetiQ</a>
                        </li>
                     </ul>
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="http://www.epsrc.ac.uk">EPSRC</a>
                        </li>
                     </ul>
                  </div>
               </div>
            </div>
            <div class="col-xs-12 col-sm-6 col-md-12">
               <div class="panel panel-dark-brown panel-links text-center">
                  <div class="panel-heading clearfix">
                     <h2 class="panel-title panel-title-small text-uppercase">See also</h2>
                     <span class="underbar"></span>
                  </div>
                  <div class="panel-body no-top-padding">
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/people/Andrew.Martin">
                              <span itemprop="name">Andrew Martin</span>
                           </a>
                        </li>
                     </ul>
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/activities//index.html"></a>
                        </li>
                        <li style="margin-bottom:0.33em">
                           <a href="/activities/se/index.html">Software Engineering</a>
                        </li>
                        <li style="margin-bottom:0.33em">
                           <a href="/activities/sss/index.html">Systems Security</a>
                        </li>
                     </ul>
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/research/security">Security</a>
                        </li>
                     </ul>
                  </div>
               </div>
            </div>
         </div>
      </div>
      <div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">
         <!-- NAVIGATION (Column 1) -->
         [an error occurred while processing this directive]
      </div>
   </div>
</div>
[an error occurred while processing this directive]