Trust Management in Strand Spaces: A Rely-Guarantee Method (2004)
Cached
Download Links
- [www.di.unipi.it]
- [theory.csail.mit.edu]
- [www.ccs.neu.edu]
- [www.ccs.neu.edu]
- DBLP
Other Repositories/Bibliography
by
Joshua D. Guttman
,
F. Javier Thayer
,
Jay A. Carlson
,
Jonathan C. Herzog
,
John D. Ramsdell
,
Brian T. Sniffen
,
Brian T. Sni#en
| Venue: | In Proc. of the European Symposium on Programming (ESOP ’04), LNCS |
| Citations: | 10 - 1 self |
BibTeX
@INPROCEEDINGS{Guttman04trustmanagement,
author = {Joshua D. Guttman and F. Javier Thayer and Jay A. Carlson and Jonathan C. Herzog and John D. Ramsdell and Brian T. Sniffen and Brian T. Sni#en},
title = {Trust Management in Strand Spaces: A Rely-Guarantee Method},
booktitle = {In Proc. of the European Symposium on Programming (ESOP ’04), LNCS},
year = {2004},
pages = {325--339},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from a trust management logic with the transmit and receive actions of the protocol principals.
