A framework for delivering rigorously trusted services

ICWS 2010 - 2010 IEEE 8th International Conference on Web Services

Volumn , Issue , 2010, Pages 648-651

  Liu, Dongxi ^a   Zic, John ^a  

^a CSIRO   (Australia)

Author keywords

Policy; Protocol; Trust; Verification

Indexed keywords

POLICY; PROTOCOL; SERVICE PROVIDER; TRUST; TRUST POLICIES;

WEB SERVICES;

INTERNET PROTOCOLS;

EID: 77957288746     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2010.61     Document Type: Conference Paper

References (10)

1. P. Resnick, K. Kuwabara, R. Zeckhauser, and E. Friedman, "Reputation systems," Commun. ACM, vol.43, no.12, pp. 45-48, 2000.
2. G. C. Necula, "Proof-carrying code," in Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, 1997, pp. 106-119.
3. A. Sabelfeld and A. C. Myers, "Language-based informationflow security," IEEE Journal on Selected Areas in Communications, vol.21, no.1, pp. 5-19, 2003.
4. R. Sailer, X. Zhang, T. Jaeger, and L. van Doorn, "Design and implementation of a tcg-based integrity measurement architecture," in Proceedings of the 13th conference on USENIX Security Symposium, 2004, pp. 16-16
5. D. Liu, "Bytecode verification for enhanced jvm access control," in Proceedings of the The Second International Conference on Availability, Reliability and Security (ARES 2007), 2007, pp. 162-169. (Pubitemid 47304213)
6. P. Cousot and R. Cousot, "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints," in POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, 1977, pp. 238-252.
7. F. B. Schneider, "Enforceable security policies," ACM Trans. Inf. Syst. Secur., vol.3, no.1, pp. 30-50, 2000.
8. H. Rajan and M. Hosamani, "Tisa: Towards trustworthy services in a service-oriented architecture," IEEE Transactions on Services Computing (TSC), vol.1, no.4, 2008.
9. W. Xu, V. N. Venkatakrishnan, R. Sekar, and I. V. Ramakrishnan, "A framework for building privacy-conscious composite web services," in Proceedings of the IEEE International Conference on Web Services, 2006, pp. 655-662. (Pubitemid 351209906)
10. S. Yoshihama, T. Ebringer, M. Nakamura, S. Munetoh, and H. Maruyama, "Ws-attestation: Efficient and fine-grained remote attestation on web services," in Proceedings of the IEEE International Conference on Web Services, 2005. (Pubitemid 44460270)