CASENET (Computer-Aided solutions to SEcure electroNic commercE Transactions)
(IST-2001-32446) - (Novembre 2001 à Novembre 2003)
CASENET a pour but de développer un cadre et des outils pour la spécification et l’analyse systématique de transactions e-commerce et e-administration afin de mettre en place des protocoles possédant des propriétés de sécurité prouvées.
Les Méthodologies et outils développés au cours du projet :
- ont permis pour un designer, d'une application de e-commerce ou de e-gouvernement, de générer une spécification de protocole avec les propriétés de sécurité désirées,
- ont été utilisables vis à vis de l'analyse de sécurité des protocoles déja déployés;
- après une analyse réussie avec succès, ont permis de transformer le spécification du protocole dans un code final,
- ont fournis des cas d'utilisations pour tester le code en respectant les exigences et les services en temps réel d'audit afin de vérifier que les participants agissent conformément à la desription du protocole.
Contribution de NetUnion
La société a participé en tant qu’utilisateur et coordinateur des scénarios utilisateurs pour la "Swiss National Science Fund". Le prototype incluait PKI et XML pour la signature des documents.
Le design conceptuel pour la "TrustFoundry.Lausanne: an Agent-based e-Notary platform" a été réalisé dans le cadre du projet Casenet.
Liste des partenaires
- Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung e.V., Darmstadt, Allemagne (Coordinateur)
- NetUnion SARL, Lausanne, Suisse
- City of Cologne, Allemagne
- Hewlett-Packard European Laboratory, Bristol, Royaume-Uni
- Norwegian Computing Centre, Oslo, Norvège
- SADIEL S.A., Seville, Espagne
- Solinet GmbH, Stuttgart, Allemagne
- Teletel, Athens, Grèce
- University of Malaga, Espagne