WSEmail: Secure internet messaging based on Web services

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Web services offer an opportunity to redesign a variety of older systems to exploit the advantages of a flexible, extensible, secure set of standards. In this paper we explore the objective of improving Internet messaging (email) by redesigning it as a family of web services, an approach we call WSEmail. We illustrate an architecture and describe some applications. Since increased flexibility often mitigates against security and performance, we focus on steps for proving security properties and measuring the performance of our system with its security operations. In particular, we demonstrate an automated proof using TulaFale and Pro Verif of a correspondence theorem for an application called on-demand attachments. We also provide performance measures for the basic WSEmail functions in a prototype we have implemented using .NET. Our experiments show a latency of about a quarter of a second per transaction under load.

Original languageEnglish (US)
Title of host publicationProceedings - 2005 IEEE International Conference on Web Services, ICWS 2005
Pages75-84
Number of pages10
DOIs
StatePublished - 2005
Externally publishedYes
Event2005 IEEE International Conference on Web Services, ICWS 2005 - Orlando, FL, United States
Duration: Jul 11 2005Jul 15 2005

Publication series

NameProceedings - 2005 IEEE International Conference on Web Services, ICWS 2005
Volume2005

Other

Other2005 IEEE International Conference on Web Services, ICWS 2005
Country/TerritoryUnited States
CityOrlando, FL
Period7/11/057/15/05

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint

Dive into the research topics of 'WSEmail: Secure internet messaging based on Web services'. Together they form a unique fingerprint.

Cite this