A survey of algebraic properties used in cryptographic protocols (0)

by V Cortier, S Delaune, P Lafourcade
Venue:Journal of Computer Security