Click on a theme or a project in the table below for more information.
Subproject PDC1.3: Protocols for Secure Infrastructure and E-commerce
Subproject leader
Prof. dr. Wan Fokkink (VU)
Research description
The PDC1.3 project aims at developing a system and a
methodology for the engineering of provably secure
(multicast) negotiation protocols. A theoretical foundation
for handling the multicast and negotiation aspects has to be
developed and furthermore implement a tool for the
specification, prototyping and verification of such
protocols. There are several problems that we have to
tackle:
- 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.
- 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.
- Handling the
security in variable road pricing.
- 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.
Associate partners
PDC1.3 Researchers funded by BRICKS
- Prof. dr. Wan Fokkink (VU)
- Dr. Jaco van de Pol (CWI)
- Dr. Sandro Etalle (CWI/UT)
- Drs. Ricardo Corin (UT)
- Prof. dr. Jos Baeten (TU/e)
- Dr. Sjouke Mauw (TU/e)
- Dr. Jerry den Hartog (TU/e)
- Dr. J.M. Doumen (UT)
- Drs. T. Chen (CWI)
- Ir. Hugo Jonker (TU/e)
- Dr. S.M. Orzan (TU/e)
- Drs. J. Markovski (TU/e)
For more information, please refer to the publications and posters of this project.
|
