Webpages tagged with «security protocols»
Published Nov. 12, 2014 3:08 PM
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.)