Formal modeling of trust in Semantic Grid Registry

Authors :: Hafiz Farooq Ahmad
Saman Iftikhar
Saba Mahmood
Farah Mahmood
Source :: 2009 International Conference on Information and Communication Technologies.
Publication Year :: 2009
Publisher :: IEEE, 2009.
Abstract: In this paper we have analyzed and developed a formal specification of a Trust Model in Semantic Grid Registry. This paper formalizes the basic requirements of a trust model in case of semantic grid registry. We have described the flow of operations of our system through links and processes in the system architecture. The system is formally modeled in Pi-Calculus. Finally we transformed the specification to Pi- ADL and generated code using Archware tool. We have already developed a Semantic Grid Registry.

Subjects :: Context model
Database
Computer science
business.industry
computer.software_genre
Formal methods
Semantic grid
Grid computing
Formal specification
Systems architecture
Code (cryptography)
Software architecture
Software engineering
business
computer

Database :: OpenAIRE
Journal :: 2009 International Conference on Information and Communication Technologies
Accession number :: edsair.doi...........461444212118cf3a2ba16f6c2a502acf
Full Text :: https://doi.org/10.1109/icict.2009.5267211