A Blocking-Based Approach to Protocol Validation.

Yu Lei, David Chenho Kung, Qizhi Ye

Browse the full COMPSAC paper archive.