Nettsider med emneord «security protocols»

Publisert 18. okt. 2017 15:18
Publisert 18. okt. 2017 15:17
Publisert 12. nov. 2014 15:08

Antonio Gonzalez Burgueno is a new PhD student in the ConSeRNS group.

His talk will introduce the well-known tool Maude-NPA and how it can be used to model security protocols. (See Abstrat in the long description.)