CASENET (Computer-Aided solutions to SEcure electroNic commercE Transactions)
(IST-2001-32446) - (November 2001 to November 2003)
CASENET developed and implemented a tool-supported framework for the systematic specification, design and analysis of e-commerce and e-government transactions to produce protocols with proven security properties, and to assist in code generation for these protocols.
The methodologies and tools developed by the project
- Enabled the designer of an e-commerce or e-government application to generate a formal protocol specification with the desired security properties,
- Were usable for the security analysis of protocols already deployed,
- After successful analysis, assisted in transforming the formal protocol specification into final code,
- Provided test cases for testing the code with respect to the initial requirements and services for real-time auditing in order to check that the participants of a protocol act according to the description.
NetUnion Contribution
NetUnion developed a prototype for secure document exchange application to enabled digital submission and approval of grant proposals for the Swiss National Science Fund. The prototype included a PKI and XML document signing features.
Conceptual design for the "TrustFoundry.Lausanne: an Agent-based e-Notary platform" was completed as part of the Casenet project.
Partner list
- Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung e.V., Darmstadt, Germany (Coordinator)
- NetUnion SARL, Lausanne, Switzerland
- City of Cologne, Germany
- Hewlett-Packard European Laboratory, Bristol, United Kingdoms
- Norwegian Computing Centre, Oslo, Norway
- SADIEL S.A., Seville, Spain
- Solinet GmbH, Stuttgart, Germany
- Teletel, Athens, Greece
- University of Malaga, Spain