Beta 1


Title A Toolbox for Protocol Analysis
Author Singla, Ketan
Christensen, Lasse
Supervisor Probst, Christian W. (Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Pilegaard, Henrik (Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Bachelor thesis
Year 2008
Abstract This B.Sc. thesis evolves around protocol analysis. Communication protocols are a very important and a highly researched area of computer science and the importance has increased rapidly due to the growing communication. It is therefore imperative that the communication is done in a safe and secure way. One way of analysing and controlling a protocol is by using the LySa tool. The concrete case that the thesis works through is the development of a frontend editor to support the LySa tool. The usage of the LySa tool so far has been relatively complex. Our editor provides an interface that allows the user to use the LySa tool far more easily. Our editor furthermore supports additional functions. This thesis outlines a proposal for a frontend editor by analyzing and defining the requirements for the editor. Our approach has been to prioritize the requirements, with the ones we believe are important to be implemented first, and then keep adding functions/requirements. In order to find a suitable solution we discussed several options. The different approaches and ideas used in the project phase are described in this thesis. We considered pro/cons of different solutions and believe that the solution we have chosen, is the one that represents our ideas and thoughts in best manner.
Series IMM-B.Sc.-2008-28
Fulltext
Original PDF bac08_28.pdf (1.77 MB)
Admin Creation date: 2008-09-04    Update date: 2009-08-07    Source: dtu    ID: 223268    Original MXD