Static Type-Inference for Trust in Distributed Information Systems.

Premkumar T. Devanbu, Michael Gertz, Brian Toone

Browse the full CoopIS paper archive.