Automated Verification of Security Policies in Mobile Code.

Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi

Browse the full IFM paper archive.