Securing the drop-box architecture for assisted living
Proceedings of the fourth ACM workshop on Formal methods in security
Defeasible security policy composition for web services
Proceedings of the fourth ACM workshop on Formal methods in security
BPEL orchestration of secure webmail
Proceedings of the 3rd ACM workshop on Secure web services
Models and Proofs of Protocol Security: A Progress Report
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Security protocols: principles and calculi tutorial notes
Foundations of security analysis and design IV
Attribute-Based Messaging: Access Control and Confidentiality
ACM Transactions on Information and System Security (TISSEC)
Bridging the gap between legacy services and web services
Proceedings of the ACM/IFIP/USENIX 11th International Conference on Middleware
AMPol-Q: adaptive middleware policy to support qos
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
SecWEM: a security solution for web based e-mail
ICISS'11 Proceedings of the 7th international conference on Information Systems Security
Security protocol verification: symbolic and computational models
POST'12 Proceedings of the First international conference on Principles of Security and Trust
| Hi-index | 0.01 |
Web services offer an opportunity to redesign a variety of oldersystems to exploit the advantages of a flexible, extensible, secureset of standards. In this paper we explore the objective of improvingInternet messaging (email) by redesigning it as a family of web services,an approach we call WSEmail. We illustrate an architecture anddescribe some applications. Since increased flexibility often mitigates against security and performance, we focus on steps for provingsecurity properties and measuring the performance of our system withits security operations. In particular, we demonstrate an automated proofusing TulaFale and ProVerif of a correspondence theorem for anapplication called on-demand attachments. We also provide performancemeasures for the basic WSEmail functions in a prototype we haveimplemented using .NET. Our experiments show a latency of about aquarter of a second per transaction under load.