Formal Trust Specification in Service Workflows
W. Viriyasitavat and A. Martin
Book Title
Embedded and Ubiquitous Computing (EUC)‚ 2010 IEEE/IFIP 8th International Conference on
Keywords
Euclidean distance;Internet;Web services;algebraic operators;cloud computing;formal trust specification;grid computing;matched trust value;service workflows;trust transitivity;virtual interoperation;Web services;cloud computing;formal specification;grid computing;security of data;
Month
dec.
Pages
703 −710
Year
2010