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 The MITRE Corporation guttman, jt, nop, jherzog, ram

First Page		Document Content
Date: 2008-06-23 12:11:38 Formal languages IP Logarithm Communications protocol NC Well-formed formula		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 The MITRE Corporation guttman, jt, nop, jherzog, ram Add to Reading List Source URL: evenmere.org Download Document from Source Website File Size: 271,06 KB Share Document on Facebook