Back to Results
First PageMeta Content
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

Document Date: 2008-06-23 12:11:38


Open Document

File Size: 271,06 KB

Share Result on Facebook