{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:15:47Z","timestamp":1748751347096,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319291710"},{"type":"electronic","value":"9783319291727"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29172-7_7","type":"book-chapter","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T11:38:22Z","timestamp":1452253102000},"page":"95-111","source":"Crossref","is-referenced-by-count":0,"title":["Synchronous Universally Composable Computer\u00a0Networks"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Achenbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rn","family":"M\u00fcller-Quade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen","family":"Rill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-319-21356-9_5","volume-title":"Cryptography and Information Security in the Balkans","author":"J M\u00fcller-Quade","year":"2015","unstructured":"M\u00fcller-Quade, J., Rill, J., Achenbach, D.: Universally Composable Firewall Architectures Using Trusted Hardware. In: Ors, B., Preneel, B. (eds.) BalkanCryptSec 2014. LNCS, vol. 9024, pp. 57\u201374. Springer, Heidelberg (2015). http:\/\/eprint.iacr.org\/2015\/099.pdf"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/1008908.1008911","volume":"15","author":"M Blum","year":"1983","unstructured":"Blum, M.: Coin flipping by telephone a protocol for solving impossible problems. ACM SIGACT News 15(1), 23\u201327 (1983)","journal-title":"ACM SIGACT News"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Canetti, R.: Universally composable security: a new paradigm for cryptographic protocols. In: 42nd IEEE Symposium on Foundations of Computer Science, Proceedings, October 2001","DOI":"10.1109\/SFCS.2001.959888"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Canetti, R.: Universally composable security: a new paradigm for cryptographic protocols. Cryptology ePrint Archive, Report 2000\/067. http:\/\/eprint.iacr.org\/ (2013)","DOI":"10.1109\/SFCS.2001.959888"},{"key":"7_CR5","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. 2139, pp. 19\u201340. Springer, Heidelberg (2001). doi: 10.1007\/3-540-44647-8_2"},{"key":"7_CR6","unstructured":"Chari, S., Jutla, C.S., Roy, A.: Universally composable security analysis of oauth v2. 0. IACR Cryptology ePrint Archive 2011, vol. 526 (2011)"},{"key":"7_CR7","unstructured":"Damg\u00e5rd, I., Dupont, K.: Universally composable disk encryption schemes. Cryptology ePrint Archive, Report 2005\/333. http:\/\/eprint.iacr.org\/2005\/333 (2005)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-540-88733-1_22","volume-title":"Provable Security","author":"J Schwenk","year":"2008","unstructured":"Schwenk, J., Pereira, O., Sadeghi, A.-R., Manulis, M., Gajek, S.: Universally composable security analysis of TLS. In: Baek, J., Bao, F., Chen, K., Lai, X. (eds.) ProvSec 2008. LNCS, vol. 5324, pp. 313\u2013327. Springer, Heidelberg (2008)"},{"key":"7_CR9","unstructured":"Hofheinz, D., M\u00fcller-Quade, J.: A synchronous model for multi-party computation and the incompleteness of oblivious transfer. FCS\u201904 p. 117 (2004)"},{"key":"7_CR10","unstructured":"Hofheinz, D., Shoup, V.: Gnuc: A new universal composability framework. IACR Cryptology ePrint Archive2011, 303 (2011)"},{"issue":"6","key":"7_CR11","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1109\/TDSC.2010.43","volume":"8","author":"H Huang","year":"2011","unstructured":"Huang, H., Kirchner, H.: Formal specification and verification of modular security policy based on colored petri nets. IEEE Trans. Dependable Secure Comput. 8(6), 852\u2013865 (2011)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"7_CR12","unstructured":"Ingols, K., Chu, M., Lippmann, R., Webster, S., Boyer, S.: Modeling modern network attacks and countermeasures using attack graphs. In: Computer Security Applications Conference, 2009, Annual, ACSAC 2009, pp. 117\u2013126. IEEE (2009)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Kalai, Y.T., Lindell, Y., Prabhakaran, M.: Concurrent general composition of secure protocols in the timing model. In: Proceedings of the Thirty-Seventh Annual ACM Symposium on Theory of Computing, pp. 644\u2013653. ACM (2005)","DOI":"10.1145\/1060590.1060687"},{"key":"7_CR14","unstructured":"Kang, M.H., Moskowitz, I.S., Chincheck, S.: The pump: a decade of covert fun. In: 21st Annual Computer Security Applications Conference, p. 7. IEEE (2005)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-642-36594-2_27","volume-title":"Theory of Cryptography","author":"J Katz","year":"2013","unstructured":"Katz, J., Zikas, V., Maurer, U., Tackmann, B.: Universally composable synchronous computation. In: Sahai, A. (ed.) TCC 2013. LNCS, vol. 7785, pp. 477\u2013498. Springer, Heidelberg (2013)"},{"issue":"3","key":"7_CR16","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"Leslie Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M.: The byzantine generals problem. ACM Trans. Program. Lang. Syst. 4(3), 382\u2013401. http:\/\/doi.acm.org\/10.1145\/357172.357176 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-27375-9_3","volume-title":"Theory of Security and Applications","author":"U Maurer","year":"2012","unstructured":"Maurer, U.: Constructive cryptography \u2013 a new paradigm for security definitions and proofs. In: M\u00f6dersheim, S., Palamidessi, C. (eds.) TOSCA 2011. LNCS, vol. 6993, pp. 33\u201356. Springer, Heidelberg (2012)"},{"key":"7_CR18","unstructured":"Maurer, U., Renner, R.: Abstract cryptography. In: Chazelle, B. (ed.) The Second Symposium in Innovations in Computer Science, ICS 2011, pp. 1\u201321. Tsinghua University Press, January 2011"},{"key":"7_CR19","unstructured":"Nielsen, J.B.: On protocol security in the cryptographic model. Ph.D. thesis, BRICS, Computer Science Department, University of Aarhus (2003)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1007\/978-3-540-85174-5_31","volume-title":"Advances in Cryptology \u2013 CRYPTO 2008","author":"C Peikert","year":"2008","unstructured":"Peikert, C., Vaikuntanathan, V., Waters, B.: A framework for efficient and composable oblivious transfer. In: Wagner, D. (ed.) CRYPTO 2008. LNCS, vol. 5157, pp. 554\u2013571. Springer, Heidelberg (2008)"},{"key":"7_CR21","doi-asserted-by":"crossref","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, S&P 2001, Proceedings, pp. 184\u2013200. IEEE (2001)","DOI":"10.1109\/SECPRI.2001.924298"}],"container-title":["Lecture Notes in Computer Science","Cryptography and Information Security in the Balkans"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29172-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T02:39:44Z","timestamp":1748745584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29172-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319291710","9783319291727"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29172-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}