{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:06:16Z","timestamp":1725566776276},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290018"},{"type":"electronic","value":"9783540319306"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11556992_26","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T00:05:31Z","timestamp":1285632331000},"page":"359-373","source":"Crossref","is-referenced-by-count":10,"title":["Universally Composable Time-Stamping Schemes with Audit"],"prefix":"10.1007","author":[{"given":"Ahto","family":"Buldas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peeter","family":"Laud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M\u00e4rt","family":"Saarepera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Willemson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Backes, M.: Cryptographically Sound Analysis of Security Protocols. PhD thesis, Universit \u00e4t des Saarlandes (2002)","key":"26_CR1"},{"doi-asserted-by":"crossref","unstructured":"Backes, M., Pfitzmann, B.: Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. In: 17th IEEE Computer Security Foundations Workshop, Pacific Grove, CA (June 2004)","key":"26_CR2","DOI":"10.1109\/CSFW.2004.1310742"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-39650-5_16","volume-title":"Computer Security \u2013 ESORICS 2003","author":"M. Backes","year":"2003","unstructured":"Backes, M., Pfitzmann, B., Waidner, M.: Symmetric authentication within a simulatable cryptographic library. In: Snekkenes, E., Gollmann, D. (eds.) ESORICS 2003. LNCS, vol.\u00a02808, pp. 271\u2013290. Springer, Heidelberg (2003)"},{"key":"26_CR4","volume-title":"Proceedings of the 10th ACM Conference on Computer and Communications Security","author":"M. Backes","year":"2003","unstructured":"Backes, M., Pfitzmann, B., Waidner, M.: A Universally Composable Cryptographic Library. In: Proceedings of the 10th ACM Conference on Computer and Communications Security, October 2003, ACM Press, Washington (2003)"},{"key":"26_CR5","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/978-1-4613-9323-8_24","volume-title":"Sequences II: Methods in Communication, Security, and Computer Science","author":"D. Bayer","year":"1993","unstructured":"Bayer, D., Haber, S., Stornetta, W.-S.: Improving the efficiency and reliability of digital time-stamping. In: Sequences II: Methods in Communication, Security, and Computer Science, pp. 329\u2013334. Springer, New York (1993)"},{"unstructured":"Benaloh, J., de Mare, M.: Efficient broadcast time-stamping. Tech. report 1, Clarkson Univ. Dep. of Mathematics and Computer Science (August 1991)","key":"26_CR6"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/BFb0055749","volume-title":"Advances in Cryptology - CRYPTO \u201998","author":"A. Buldas","year":"1998","unstructured":"Buldas, A., Laud, P., Lipmaa, H., Villemson, J.: Time-Stamping with Binary Linking Schemes. In: Krawczyk, H. (ed.) CRYPTO 1998. LNCS, vol.\u00a01462, pp. 486\u2013501. Springer, Heidelberg (1998)"},{"doi-asserted-by":"crossref","unstructured":"Buldas, A., Laud, P., Saarepera, M., Willemson, J.: Universally Composable Time-Stamping Schemes with Audit. IACR ePrint Archive 2005\/198 (2005)","key":"26_CR8","DOI":"10.1007\/11556992_26"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/978-3-540-30539-2_35","volume-title":"Advances in Cryptology - ASIACRYPT 2004","author":"A. Buldas","year":"2004","unstructured":"Buldas, A., Saarepera, M.: On provably secure time-stamping schemes. In: Lee, P.J. (ed.) ASIACRYPT 2004. LNCS, vol.\u00a03329, pp. 500\u2013514. Springer, Heidelberg (2004)"},{"unstructured":"Canetti, R.: A unified framework for analyzing security of protocols. Electronic Colloquium on Computational Complexity (ECCC)\u00a08(16) (2001)","key":"26_CR10"},{"issue":"1","key":"26_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s001459910006","volume":"13","author":"R. Canetti","year":"2000","unstructured":"Canetti, R.: Security and composition of multi-party cryptographic protocols. Journal of Cryptology\u00a013(1), 143\u2013202 (2000)","journal-title":"Journal of Cryptology"},{"doi-asserted-by":"crossref","unstructured":"Canetti, R.: Universally Composable Security: A New Paradigm for Cryptographic Protocols. In: 42nd FOCS, pp. 136\u2013145 (2001)","key":"26_CR12","DOI":"10.1109\/SFCS.2001.959888"},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-44647-8_2","volume-title":"Advances in Cryptology - CRYPTO 2001","author":"R. Canetti","year":"2001","unstructured":"Canetti, R., Fischlin, M.: Universally Composable Commitments. In: Kilian, J. (ed.) CRYPTO 2001. LNCS, vol.\u00a02139, pp. 19\u201340. Springer, Heidelberg (2001)"},{"issue":"2","key":"26_CR14","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a029(2), 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"issue":"2","key":"26_CR15","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF00196791","volume":"3","author":"S. Haber","year":"1991","unstructured":"Haber, S., Stornetta, W.-S.: How to time-stamp a digital document. Journal of Cryptology\u00a03(2), 99\u2013111 (1991)","journal-title":"Journal of Cryptology"},{"doi-asserted-by":"crossref","unstructured":"Haber, S., Stornetta, W.-S.: Secure Names for Bit-Strings. In: ACM Conference on Computer and Communications Security, pp. 28\u201335 (1997)","key":"26_CR16","DOI":"10.1145\/266420.266430"},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-39819-6_2","volume-title":"Composition of Secure Multi-Party Protocols","author":"Y. Lindell","year":"2003","unstructured":"Lindell, Y.: Composition of Secure Multi-Party Protocols. In: Lindell, Y. (ed.) Composition of Secure Multi-Party Protocols. LNCS, vol.\u00a02815, pp. 21\u201343. Springer, Heidelberg (2003)"},{"key":"26_CR18","doi-asserted-by":"crossref","DOI":"10.1515\/9780691206844","volume-title":"Pseudorandomness and cryptographic applications","author":"M. Luby","year":"1996","unstructured":"Luby, M.: Pseudorandomness and cryptographic applications. Princeton University Press, Princeton (1996)"},{"doi-asserted-by":"crossref","unstructured":"Merkle, R.C.: Protocols for public-key cryptosystems. In: Proceedings of the 1980 IEEE Symposium on Security and Privacy, pp. 122\u2013134 (1980)","key":"26_CR19","DOI":"10.1109\/SP.1980.10006"},{"key":"26_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/978-3-540-28628-8_28","volume-title":"Advances in Cryptology \u2013 CRYPTO 2004","author":"T. Moran","year":"2004","unstructured":"Moran, T., Shaltiel, R., Ta-Shma, A.: Non-interactive timestamping in the bounded storage model. In: Franklin, M. (ed.) CRYPTO 2004. LNCS, vol.\u00a03152, pp. 460\u2013476. Springer, Heidelberg (2004)"},{"key":"26_CR21","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/73007.73011","volume-title":"Proceedings of the Twenty First Annual ACM Symposium on Theory of Computing","author":"M. Naor","year":"1989","unstructured":"Naor, M., Yung, M.: Universal one-way hash functions and their cryptographic applications. In: Proceedings of the Twenty First Annual ACM Symposium on Theory of Computing, Seattle, May 15\u201317, 1989, pp. 33\u201343. ACM Press, New York (1989)"},{"key":"26_CR22","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Workshop on Secure Architectures and Information Flow","author":"B. Pfitzmann","year":"2000","unstructured":"Pfitzmann, B., Schunter, M., Waidner, M.: Cryptographic Security of Reactive Systems. In: Schneider, S., Ryan, P. (eds.) Workshop on Secure Architectures and Information Flow, Royal Holloway, University of London. Electronic Notes in Theoretical Computer Science, vol.\u00a032, Elsevier Science, Amsterdam (2000)"},{"key":"26_CR23","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/352600.352639","volume-title":"CCS 2000, Proceedings of the 7th ACM Conference on Computer and Communications Security","author":"B. Pfitzmann","year":"2000","unstructured":"Pfitzmann, B., Waidner, M.: Composition and integrity preservation of secure reactive systems. In: CCS 2000, Proceedings of the 7th ACM Conference on Computer and Communications Security, Athens, Greece, November 2000, pp. 245\u2013254. ACM Press, New York (2000)"},{"key":"26_CR24","first-page":"184","volume-title":"2001 IEEE Symposium on Security and Privacy","author":"B. Pfitzmann","year":"2001","unstructured":"Pfitzmann, B., Waidner, M.: A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. In: 2001 IEEE Symposium on Security and Privacy, Oakland, California, May 2001, pp. 184\u2013200. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"26_CR25","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF00190757","volume":"8","author":"A. Russell","year":"1995","unstructured":"Russell, A.: Necessary and sufficient conditions for collision-free hashing. Journal of Cryptology\u00a08, 87\u201399 (1995)","journal-title":"Journal of Cryptology"},{"unstructured":"Homepage of Surety, http:\/\/www.surety.com","key":"26_CR26"},{"unstructured":"Homepage of Authentidate, http:\/\/www.authentidate.com","key":"26_CR27"},{"unstructured":"Homepage of Digistamp, http:\/\/www.digistamp.com","key":"26_CR28"}],"container-title":["Lecture Notes in Computer Science","Information Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11556992_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:08:54Z","timestamp":1619492934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11556992_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290018","9783540319306"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11556992_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}