A Model for Access Negotiations in Dynamic Coalitions

Simple item page
dc.contributor.authorKhurana, Himanshuen_US
dc.contributor.authorGligor, Virgil D.en_US
dc.contributor.departmentISRen_US
dc.contributor.departmentCSHCNen_US
dc.date.accessioned2007-05-23T10:14:17Z
dc.date.available2007-05-23T10:14:17Z
dc.date.issued2003en_US
dc.description.abstractThe 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 develop a formal state-transition model of the process of negotiating a common access state. We extend an existing Role Based Access Control (RBAC) language to illustrate a wide variety of negotiation constraints and present a resolution procedure for verifying the satisfaction of such constraints in the state-transition model.en_US
dc.format.extent283410 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/1903/6384
dc.language.isoen_USen_US
dc.relation.ispartofseriesISR; TR 2003-29en_US
dc.relation.ispartofseriesCSHCN; TR 2003-16en_US
dc.titleA Model for Access Negotiations in Dynamic Coalitionsen_US
dc.typeTechnical Reporten_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR_2003-29.pdf
Size:
276.77 KB
Format:
Adobe Portable Document Format
Download

Collections

Institute for Systems Research Technical Reports