A.: Protocol composition logic (PCL). (2007)

by A Datta, A Derek, J C Mitchell, Roy
Venue:Electronic Notes in Theoretical Computer Science