A Model for Access Negotiations in Dynamic Coalitions

  • Authors:
  • Himanshu Khurana;Virgil D. Gligor

  • Affiliations:
  • NCSA, University of Illinois;University of Maryland

  • Venue:
  • WETICE '04 Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

The process of negotiating common access states in dynamic coalitions that comprise tens of autonomous domains sharing hundreds of resources is time-consuming and error-prone if performed without the benefit of automated tools. This process is also repetitive since, during the lifetime of a dynamic coalition, member domains must undertake the task of negotiating common access states multiple times as domains leave and new ones join the coalition. To define and verify the correctness of tools for automated negotiation, we present a formal state-transition model of the process of negotiating a common access state.