Nettsider med emneord «graphical language»

Publisert 23. aug. 2017 10:27

You are interested in security protocols. Ceremonies are a new view which extends security protocols by integrating the human factor in the picture, as well as looking at the security protocol/system in entirety, making the assumptions explicit and composing several protocols for communication and security in the same analyses.

There are very few tools and formalisms for ceremonies, therefore you will have a lot of freedom. You will investigate and build a tool for ceremonies based on an existing tool for security protocols. You will investigate graphical languages and code generation, or you can look into how to analyze ceremonies.

See project link. Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.