Project code: ACCOUNT
Research group: Specification and Analysis of Embedded Systems (SEN2)
Coordinator of this project: Prof.dr. W.J. Fokkink
More complex negotiation and payment scenarios for e-commerce are emerging. Accountability as a foundation for building trust is a crucial factor for determining the success of these services. We will develop and implement a tool for the specification, prototyping and verification of e-commerce protocols, based on constraint solving and model checking. We will use this tool to analyze accountability in existing e-commerce protocols. Using this analysis, we will develop new protocols for electronic negotiation and payment. We will focus on accountability of trusted third parties, non-repudiation, fairness, delegation protocols and multicast protocols.