{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T13:10:30Z","timestamp":1740316230652,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213130"},{"type":"electronic","value":"9783540247258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24725-8_23","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:15:44Z","timestamp":1280276144000},"page":"325-339","source":"Crossref","is-referenced-by-count":23,"title":["Trust Management in Strand Spaces: A Rely-Guarantee Method"],"prefix":"10.1007","author":[{"given":"Joshua D.","family":"Guttman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. Javier","family":"Thayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jay A.","family":"Carlson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan C.","family":"Herzog","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John D.","family":"Ramsdell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian T.","family":"Sniffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1109\/RISP.1994.296587","volume-title":"Proceedings of 1994 IEEE Symposium on Research in Security and Privacy","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Needham, R.: Prudent engineering practice for cryptographic protocols. In: Proceedings of 1994 IEEE Symposium on Research in Security and Privacy, pp. 122\u2013136. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Appel, A.W., Felten, E.W.: Proof-carrying authentication. In: 6th ACM Conference on Computer and Communications Security (November 1999)","DOI":"10.1145\/319709.319718"},{"key":"23_CR3","volume-title":"Nicomachean Ethics","author":"Aristotle","year":"1953","unstructured":"Aristotle: Nicomachean Ethics. Oxford University Press, Oxford (1953)"},{"key":"23_CR4","unstructured":"Balacheff, B., Chen, L., Pearson, S. (eds.), Plaquin, D., Proudler, G.: Trusted Computing Platforms: TCPA Technology in Context. Prentice Hall PTR, Upper Saddle River (2003)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Blaze, M., Feigenbaum, J., Lacy, J.: Distributed trust management. In: Proceedings of 1996 IEEE Symposium on Security and Privacy, pp. 164\u2013173 (1996)","DOI":"10.1109\/SECPRI.1996.502679"},{"issue":"1871","key":"23_CR6","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1098\/rspa.1989.0125","volume":"426","author":"M. Burrows","year":"1989","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. Proceedings of the Royal Society, Series A\u00a0426(1871), 233\u2013271 (1989); Also appeared as SRC Research Report 39 and, in a shortened form, in ACM Transactions on Computer Systems 8, 1, 18\u201336 (February 1990)","journal-title":"Proceedings of the Royal Society, Series A"},{"key":"23_CR7","volume-title":"International Conference on Software Engineering and Formal Methods","author":"M. Carbone","year":"2003","unstructured":"Carbone, M., Nielsen, M., Sassone, V.: A formal model for trust in dynamic networks. In: Cerone, A. (ed.) International Conference on Software Engineering and Formal Methods, September 2003. IEEE CS Press, Los Alamitos (2003)"},{"issue":"4","key":"23_CR8","doi-asserted-by":"crossref","first-page":"677","DOI":"10.3233\/JCS-2003-11407","volume":"11","author":"N. Durgin","year":"2003","unstructured":"Durgin, N., Mitchell, J., Pavlovic, D.: A compositional logic for proving security properties of protocols. Journal of Computer Security\u00a011(4), 677\u2013721 (2003)","journal-title":"Journal of Computer Security"},{"key":"23_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Guttman, J.D.: Authentication tests and disjoint encryption: a method for security protocol design. Journal of Computer Security (2004) (forthcoming)","DOI":"10.3233\/JCS-2004-123-405"},{"key":"23_CR11","volume-title":"Proceedings of 13th Computer Security Foundations Workshop","author":"J.D. Guttman","year":"2000","unstructured":"Guttman, J.D., Javier Thayer, F.: Protocol independence through disjoint encryption. In: Proceedings of 13th Computer Security Foundations Workshop, July 2000, IEEE Computer Society Press, Los Alamitos (2000)"},{"issue":"2","key":"23_CR12","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0304-3975(01)00139-6","volume":"283","author":"J.D. Guttman","year":"2002","unstructured":"Guttman, J.D., Javier Thayer, F.: Authentication tests and the structure of bundles. Theoretical Computer Science\u00a0283(2), 333\u2013380 (2002)","journal-title":"Theoretical Computer Science"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Guttman, J.D., Javier Thayer, F., Zuck, L.D.: The faithfulness of abstract protocol analysis: Message authentication. Journal of Computer Security (2004) (forthcoming)","DOI":"10.3233\/JCS-2004-12603"},{"issue":"1","key":"23_CR14","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/605434.605436","volume":"6","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y., Pucella, R.: On the relationship between strand spaces and multi-agent systems. ACM Transactions on Information and System Security\u00a06(1), 43\u201370 (2003)","journal-title":"ACM Transactions on Information and System Security"},{"key":"23_CR15","volume-title":"Proceedings of 13th Computer Security Foundations Workshop","author":"J. Heather","year":"2000","unstructured":"Heather, J., Lowe, G., Schneider, S.: How to prevent type flaw attacks on security protocols. In: Proceedings of 13th Computer Security Foundations Workshop, July 2000. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"23_CR16","unstructured":"Herzog, J., Sniffen, B., Carlson, J., Guttman, J.D., Ramsdell, J.D.: Trust management with cryptographic hardware assistance. MTR 03B0082, The MITRE Corp., Bedford, MA (September 2003)"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Jones, C.B.: Tentative steps toward a development method for interfering programs. ACM Transactions on Programming Languages and Systems (1983)","DOI":"10.1145\/69575.69577"},{"issue":"4","key":"23_CR18","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/138873.138874","volume":"10","author":"B. Lampson","year":"1992","unstructured":"Lampson, B., Abadi, M., Burrows, M., Wobber, E.: Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems\u00a010(4), 265\u2013310 (1992)","journal-title":"ACM Transactions on Computer Systems"},{"key":"23_CR19","first-page":"114","volume-title":"Proceedings of 2002 IEEE Symposium on Security and Privacy","author":"N. Li","year":"2002","unstructured":"Li, N., Mitchell, J.C., Winsborough, W.H.: Design of a role-based trust management framework. In: Proceedings of 2002 IEEE Symposium on Security and Privacy, May 2002, pp. 114\u2013130. IEEE CS Press, Los Alamitos (2002)"},{"key":"23_CR20","volume-title":"Proceedings of 2003 IEEE Symposium on Security and Privacy","author":"N. Li","year":"2003","unstructured":"Li, N., Winsborough, W.H., Mitchell, J.C.: Beyond proof-ofcompliance: Safety and availability analysis on trust management. In: Proceedings of 2003 IEEE Symposium on Security and Privacy, May 2003. IEEE CS Press, Los Alamitos (2003)"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 147\u2013166. Springer, Heidelberg (1996)"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Needham, R., Schroeder, M.: Using encryption for authentication in large networks of computers. Communications of the ACM\u00a021(12) (1978)","DOI":"10.1145\/359657.359659"},{"key":"23_CR23","volume-title":"Proceedings of the 13th IEEE Computer Security Foundations Workshop","author":"A. Perrig","year":"2000","unstructured":"Perrig, A., Song, D.X.: Looking for diamonds in the desert: Extending automatic protocol generation to three-party authentication and key agreement protocols. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, July 2000. IEEE Computer Society Press, Los Alamitos (2000)"},{"issue":"2\/3","key":"23_CR24","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-1999-72-304","volume":"7","author":"F.J.T. F\u00e1brega","year":"1999","unstructured":"F\u00e1brega, F.J.T., Herzog, J.C., Guttman, J.D.: Strand spaces: Proving security protocols correct. Journal of Computer Security\u00a07(2\/3), 191\u2013230 (1999)","journal-title":"Journal of Computer Security"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24725-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T12:31:27Z","timestamp":1740313887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24725-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213130","9783540247258"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24725-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}