Fair exchange with a semi-trusted third party (extended abstract)
Proceedings of the 4th ACM conference on Computer and communications security
Optimistic protocols for fair exchange
Proceedings of the 4th ACM conference on Computer and communications security
SaveMe: a system for archiving electronic documents using messaging groupware
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Certified email with a light on-line trusted third party: design and implementation
Proceedings of the 11th international conference on World Wide Web
A service architecture for mobile teamwork
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A Multi-party Optimistic Non-repudiation Protocol
ICISC '00 Proceedings of the Third International Conference on Information Security and Cryptology
A Multi-Party Non-Repudiation Protocol
Proceedings of the IFIP TC11 Fifteenth Annual Working Conference on Information Security for Global Information Infrastructures
Secure Group Barter: Multi-party Fair Exchange with Semi-Trusted Neutral Parties
FC '98 Proceedings of the Second International Conference on Financial Cryptography
A Realistic Protocol for Multi-party Certified Electronic Mail
ISC '02 Proceedings of the 5th International Conference on Information Security
The Decision Diffie-Hellman Problem
ANTS-III Proceedings of the Third International Symposium on Algorithmic Number Theory
Multi-Party Fair Exchange with an Off-Line Trusted Neutral Party
DEXA '99 Proceedings of the 10th International Workshop on Database & Expert Systems Applications
Certified Email: Design and Implementation of a New Optimistic Protocol
ISCC '03 Proceedings of the Eighth IEEE International Symposium on Computers and Communications
A fair non-repudiation protocol
SP '96 Proceedings of the 1996 IEEE Symposium on Security and Privacy
Group awareness in distributed software development
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
Asynchronous collaborative writing through annotations
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
Analyzing security protocols with secrecy types and logic programs
Journal of the ACM (JACM)
SELS: a secure e-mail list service
Proceedings of the 2005 ACM symposium on Applied computing
Computer-assisted verification of a protocol for certified email
SAS'03 Proceedings of the 10th international conference on Static analysis
CCA-Secure Proxy Re-encryption without Pairings
Irvine Proceedings of the 12th International Conference on Practice and Theory in Public Key Cryptography: PKC '09
ProvSec'10 Proceedings of the 4th international conference on Provable security
EuroPKI'10 Proceedings of the 7th European conference on Public key infrastructures, services and applications
From proxy encryption primitives to a deployable secure-mailing-list solution
ICICS'06 Proceedings of the 8th international conference on Information and Communications Security
Achieving key privacy without losing CCA security in proxy re-encryption
Journal of Systems and Software
| Hi-index | 0.00 |
Email List Services (or simply, mailing lists) are becoming increasingly common for collaborative computing. In order to enable their use for official purposes with increased effectiveness and security, services typically provided by postal mail (e.g. fair delivery) need to be provided in mailing lists. In this paper we propose a novel Certified Mailing-list Protocol (CMLP) that provides fair delivery, confidentiality, non-repudiation of origin and receipt, and authentication and integrity. We have formally specified and verified the CMLP protocol with Proverif, which is a fully-automated protocol verification tool.