Protocollen voor een veilige infrastructuur en e-commerce


Wijzig gegevens

Titel Protocollen voor een veilige infrastructuur en e-commerce
Looptijd 09 / 2004 - 09 / 2009
Status Afgesloten
Onderzoeknummer OND1306260

Samenvatting (EN)

We aim at developing a system and a methodology for the engineering of provably secure (multicast) negotiation protocols. We have to develop the theoretical foundation for handling the multicast and negotiation aspects and furthermore implement a tool for the specification, prototyping and verification of such protocols. There are several problems we have to tackle: a. Handling multicast protocols. In many real-life situations, like for instance in wireless networks, an agent is asked to participate in a protocol together with a number of partners he does not know. Standard verification techniques cannot deal with the multicast case. b. Handling negotiation and payment. The challenge is to develop e-commerce protocols that are secure and fair, in the sense that no participant in the protocols has any advantage over the other participants. c. Handling security in variable road pricing. d. Improve the tool support for the verification of security protocols. We will devise and implement a tool that employs the constraint-based approach for modeling communication. Current techniques developed for protocol verification cannot easily deal with the case of multicast protocols. To deal with the verification of n-party fair exchange protocols, we intend to use methods that were developed for verifying parameterized distributed computer systems.

Betrokken organisaties

Overige betrokken organisaties

Siemens Nederland: B. Goranov
Stevio: A. Helme

Betrokken personen


D16200 Software, algoritmen, besturingssystemen
D16300 Theoretische informatica

Ga terug naar de inhoud
Ga terug naar de site navigatie