Verification of Control Flow Based Security Properties (1999)

Download From

IEEE
Download from IEEE

Download Links

by T. Jensen , D. Le Métayer , T. Thorn
Venue:IN PROCEEDINGS OF THE 1999 IEEE SYMPOSIUM ON SECURITY AND PRIVACY
Citations:70 - 5 self