WSEmail: Secure internet messaging based on Web services

Proceedings - 2005 IEEE International Conference on Web Services, ICWS 2005

Volumn 2005, Issue , 2005, Pages 75-84

  Lux, Kevin D ^a   May, Michael J ^a   Bhattad, Nayan L ^a   Gunter, Carl A ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTERNET MESSAGING; SECURITY PROPERTIES; WEB SERVICES;

ELECTRONIC MAIL; INFORMATION SERVICES; INTERNET; WORLD WIDE WEB;

SECURITY OF DATA;

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

References (8)

1. M. Abadi and B. Blanchet. Computer-assisted verification of a protocol for certified email. In Radhia Cousot, editor, Static Analysis, 10th International Symposium (SAS'03, volume 2694 of Lecture Notes on Computer Scienc, pages 316-335, San Diego, CA, June 2003. Springer.
2. M. Abadi, N. Glew, B. Home, and B. Pinkas. Certified email with a light on-line trusted third party: design and implementation. In Proceedings of the eleventh international conference on World Wide Web, pages 387-395. ACM Press, 2002.
3. K. Bhargavan, C. Fournet, and A. Gordon. A semantics for web services authentication. In Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, pages 198-209. ACM Press, 2004.
4. K. Bhargavan, C. Fournet, A. D. Gordon, and R. Pucella. TulaFale: A security tool for web services. In International Symposium on Formal Methods for Components and Objects (FMCO'03), LNCS. Springer, 2004.
5. B. Blanchet. An efficient cryptographic protocol verifier based on prolog rules. In Proceedings of the 14th IEEE Workshop on Computer Security Foundations, page 82. IEEE Computer Society, 2001.
6. E. Damiani, S. De Capitani di Vimercati, and P. Samarati. Towards securing XML Web services. In Proceedings of the 2002 ACM workshop on XML security. ACM Press, 2002.
7. J. Fenton and M. Thomas. Identified internet mail. Work in Progress draft-fenton-identified-mail-01, IETF Internet Draft, October 2004. Expires April 2005.
8. D. Zhou, J. Kuo, S. Older, and S. Chin. Formal development of secure email. In Proceedings of the 32nd Hawaii International Conference on System Sciences. IEEE Computer Society, 1999.