Verification of cryptographic protocols: Tagging enforces termination (2003)

Cached

Download Links

by Bruno Blanchet , Andreas Podelski
Venue:THEORETICAL COMPUTER SCIENCE
Citations:54 - 5 self