Trust Management in Strand Spaces: A Rely-Guarantee Method.

Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen

Browse the full ESOP paper archive.