Semantics and Formalizations of Mission-Aware Behavior Trust Model for Grids

Trust model is an important component of gird security model and can be classified as mission-unaware identity trust model, mission-aware iden- tity trust model, mission-unaware behavior trust model and mission-aware be- havior trust model. All of them could be regarded as projections of mission- aware behavior trust model, by which authorization depends on not only the trust but also the cost and quantity of the mission. This paper proposes a formal description of this trust model by using abstract state machine (ASM). It will facilitate us understanding its semantics and accurate definitions, and bridging the gaps between de facto industry standards and this trust model. These for- malizations are vertical refinements of the ASM based ground model for grids and could be easily jointed on it.

[1]  Zsolt Németh,et al.  Characterizing Grids: Attributes, Definitions, and Formalisms , 2003, Journal of Grid Computing.

[2]  Ian Foster,et al.  The Security Architecture for Open Grid Services , 2002 .

[3]  Daniel W. Manchala.  E-Commerce Trust Metrics and Models , 2000, IEEE Internet Comput..

[4]  Norman L. Chervany,et al.  Conceptualizing trust: a typology and e-commerce customer relationships model , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[5]  Stephen Hailes,et al.  Supporting trust in virtual communities , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[6]  Andrew S. Grimshaw,et al.  Erratum to: "The Legion support for advanced parameter-space studies on a grid" [Future Generation Computer Systems 18 (2002) 1033-1052] , 2003, Future Gener. Comput. Syst..

[7]  Ian T. Foster,et al.  A security architecture for computational grids , 1998, CCS '98.

[8]  Egon Börger,et al.  The Origins and the Development of the ASM Method for High Level System Design and Analysis , 2002, J. Univers. Comput. Sci..

[9]  Ian T. Foster,et al.  Security for Grid services , 2003, High Performance Distributed Computing, 2003. Proceedings. 12th IEEE International Symposium on.

[10]  Andrew S. Grimshaw,et al.  The Legion support for advanced parameter-space studies on a grid , 2002, Future Gener. Comput. Syst..

[11]  Muthucumaru Maheswaran,et al.  Evolving and managing trust in grid computing systems , 2002, IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No.02CH37373).