a Grid-based Operating System

More documents

Recommendations

Info

Broad Objectives for this Work• Use of authentication protocols for:• Authenticating XtreemOS services, users and resources• Automating trust interactions among XtreemOS VO andsecurity management services, their users and <strong>Grid</strong>resources• The protocol links critical services in XtreemOS:• Main requirement is its robustness• Unambiguous understanding of the protocol using theApplied-pi as the underlying model• Raising the assurance level <strong>based</strong> on the formal verificationusing ProVerifXtreemOS IP projectis funded by the European Commission under contract IST-FP6-033576
XtreemOS Mutual Authentication Protocol:An Overview• Based on classical Diffie-Hellman Key Agreement Protocol• Authentication of two entities• Previously unknown to each other• Belong to different administrative domains• Authentication is in the context of some VO• At the termination of the protocol, the two entities have ashared secret key and are convinced that both areparticipating in the protocol• type-3 authentication, as defined by Peter Ryan and SteveSchneider in “Modelling and Analysis of Security Protocols”(Section 3.3)XtreemOS IP projectis funded by the European Commission under contract IST-FP6-033576
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: The XtreemOS Trust Model• PKI-bas
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

Create successful ePaper yourself

Delete template?

Save as template?