Verification of sequential and concurrent programs (2nd ed.)
Verification of sequential and concurrent programs (2nd ed.)
PRUNES: an efficient and complete strategy for automated trust negotiation over the Internet
Proceedings of the 7th ACM conference on Computer and communications security
Distributed Systems: Principles and Paradigms
Distributed Systems: Principles and Paradigms
Computer Networking: A Top-Down Approach Featuring the Internet
Computer Networking: A Top-Down Approach Featuring the Internet
An economic answer to unsolicited communication
EC '04 Proceedings of the 5th ACM conference on Electronic commerce
Decentralized orchestration of composite web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
WSEmail: Secure Internet Messaging Based on Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Email feedback: a policy-based approach to overcoming false positives
Proceedings of the 2005 ACM workshop on Formal methods in security engineering
Policy transformations for preventing leakage of sensitive information in email systems
DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
E-mail bombs and countermeasures: cyber attacks on availability and brand integrity
IEEE Network: The Magazine of Global Internetworking
| Hi-index | 0.00 |
WebMail proposes to migrate existing SMTP-based mail systems to Web-Services. We show how a verifiably-correct, generic mail service that enables extensions of SMTP-based standard mail use cases that avoids known misuse cases can be specified using WSDL and orchestrated using BPEL.