a Grid-based Operating System

XtreemOS: Building and Promoting a Linux-based ... - CryptoForma

ePAPER READ

DOWNLOAD ePAPER

cryptoforma.org.uk

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

START NOW

Verifying a Mutual Authentication Protocol fora Grid-based Operating SystemBenjamin AzizE-Science CentreSTFC Rutherford Appleton LaboratoryCryptoForma 3 rd Meeting, Bristol, 8 April 2010XtreemOS IP projectis funded by the European Commission under contract IST-FP6-033576XtreemOS IP projectis funded by the European Commission under contract IST-FP6-033576

Visitor information University of Kent Canterbury campus

Page 1 and 2: Verifying a Mutual Authentication P
Page 3 and 4: e-Science Centre• Provide high pe
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: Thank you• The XtreemOS Formal An

a Grid-based Operating System

Create successful ePaper yourself

Delete template?

Save as template?