You are here

Séminaire SoSySec - 16 mars, 11h00, salles Pétri-Turing - Ivan Gazeau (LORIA, Inria Nancy)

Automated verification of privacy-type properties for security protocolsThe applied pi-calculus is a powerful framework to model protocols and to define security properties. In this symbolic model, it is possible to verify automatically complex se...

vignette: