a Grid-based Operating System

More documents

Recommendations

Info

Science and TechnologyFacilities Council (STFC)• One of the seven researchcouncils in the UK• Developing and supporting sciencefacilities for the disciplines ofparticle physics, astronomy,microelectronics, etc.And recently medical research• Provide access to large-scaleresearch facilities to UK researchers2
e-Science Centre• Provide high performance servicesand applications to support scientificresearch• Support research and developmentprogramme in areas including:• Distributed <strong>System</strong>s• Web, <strong>Grid</strong> middleware and Cloud computing• Security and trust modelling and deployment• Information Management• Semantics, vocabulary, digital preservation3
Page 1: Verifying a Mutual Authentication P
Page 5 and 6: The XtreemOS Operating System in aN
Page 7 and 8: The XtreemOS Trust Model• PKI-bas
Page 9 and 10: XtreemOS Mutual Authentication Prot
Page 11 and 12: XtreemOS Mutual AuthenticationProto
Page 13 and 14: Data Leakage Analysis• The DL ana
Page 15 and 16: Usability Discussion• Usability o
Page 17 and 18: Thank you• The XtreemOS Formal An

a Grid-based Operating System

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?