Efficient construction of machine-checked symbolic protocol security proofs (0)

by Simon Meier, Cas Cremers, David Basin
Venue:Journal of Computer Security