|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0040: Secure Protocol Implementation with LySa |
| Aktuelle | Tidligere |
It has become commonplace to transmit data via open networks. Often the communication is of private nature and it desirable that no third-party can interfere with the messages. In these situations we rely on strong cryptography and security protocols in order to ensure privacy.
Experience shows that security protocols are difficult to design and that tool support is a good idea. The LySa-tool, which can automatically check a protocol design specified in the LySa language for security flaws, is one such tool.
However, a secure design does not necessarily guarantee a secure implementation!
The purpose of this project is to develop an implementation engine that extracts implementations, e.g. in C, from LySa specifications in a manner that preserves security.
| Prerequisites: | 02141 Computer Science Modelling |
Supervisor(s) Henrik Pilegaard
| Sidst opdateret: Oct 31, 2011 af Hans Henrik Løvengreen |