{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:51:30Z","timestamp":1725637890749},"publisher-location":"Berlin, Heidelberg","reference-count":56,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642271885"},{"type":"electronic","value":"9783642271892"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-27189-2_20","type":"book-chapter","created":{"date-parts":[[2011,12,2]],"date-time":"2011-12-02T09:52:18Z","timestamp":1322819538000},"page":"183-194","source":"Crossref","is-referenced-by-count":3,"title":["Formalization and Information-Theoretic Soundness in the Development of Security Architecture for Next Generation Network Protocol - UDT"],"prefix":"10.1007","author":[{"given":"Danilo V.","family":"Bernardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doan B.","family":"Hoang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Al-Shraideh, F.: Host Identity Protocol. In: ICN\/ICONS\/MCL, p. 203. IEEE Computer Society (2006)","key":"20_CR1","DOI":"10.1109\/ICNICONSMCL.2006.112"},{"doi-asserted-by":"crossref","unstructured":"Andersen, D.G., Balakrishnan, H., Feamster, N., Koponen, T., Moon, D., Shenker, S.: Accountable Internet Protocol (AIP). In: Bahl, V., Wetherall, D., Savage, S., Stoica, I. (eds.) SIGCOMM, pp. 339\u2013350. ACM (2008)","key":"20_CR2","DOI":"10.1145\/1402946.1402997"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/10958513_3","volume-title":"Information Security","author":"T. Aura","year":"2003","unstructured":"Aura, T.: Cryptographically Generated Addresses (CGA). In: Boyd, C., Mao, W. (eds.) ISC 2003. LNCS, vol.\u00a02851, pp. 29\u201343. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Aura, T.: Cryptographically Generated Addresses (CGA). RFC 3972, IETF (March 2005)","key":"20_CR4","DOI":"10.17487\/rfc3972"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/11506157_40","volume-title":"Information Security and Privacy","author":"T. Aura","year":"2005","unstructured":"Aura, T., Nagarajan, A., Gurtov, A.: Analysis of the HIP Base Exchange Protocol. In: Boyd, C., Gonz\u00e1lez Nieto, J.M. (eds.) ACISP 2005. LNCS, vol.\u00a03574, pp. 481\u2013493. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Bellovin, S.: Defending Against Sequence Number Attacks. RFC 1948 (1996)","key":"20_CR6","DOI":"10.17487\/rfc1948"},{"unstructured":"Bellovin, S.: Guidelines for Mandating the Use of IPsec. Work in Progress. IETF (October 2003)","key":"20_CR7"},{"doi-asserted-by":"crossref","unstructured":"Bernardo, D.V., Hoang, D.: Empirical Survey: Experimentation and Implementations of High Speed Protocol Data Transfer for Grid. In: 25th IEEE AINA Workshop 2011, pp. 335\u2013340 (2011)","key":"20_CR8","DOI":"10.1109\/WAINA.2011.42"},{"doi-asserted-by":"crossref","unstructured":"Bernardo, D.V., Hoang, D.: A Conceptual Approach against Next Generation Security Threats: Securing a High Speed Network Protocol \u2013 UDT. In: Proc. IEEE the 2nd ICFN 2010, Shanya China (2010)","key":"20_CR9","DOI":"10.1109\/ICFN.2010.80"},{"unstructured":"Bernardo, D.V., Hoang, D.: Security Requirements for UDT. IETF Internet-Draft \u2013 working paper (September 2009)","key":"20_CR10"},{"doi-asserted-by":"crossref","unstructured":"Bernardo, D.V., Hoang, D.: Network Security Considerations for a New Generation Protocol UDT. In: Proc. IEEE the 2nd ICCIST Conference 2009, Beijing China (2009)","key":"20_CR11","DOI":"10.1109\/ICCSIT.2009.5234768"},{"key":"20_CR12","first-page":"354","volume":"4","author":"D.V. Bernardo","year":"2009","unstructured":"Bernardo, D.V., Hoang, D.: A Security Framework and its Implementation in Fast Data Transfer Next Generation Protocol UDT. Journal of Information Assurance and Security\u00a04, 354\u2013360 (2009) ISN 1554-1010","journal-title":"Journal of Information Assurance and Security"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-642-13577-4_9","volume-title":"Advances in Computer Science and Information Technology","author":"D.V. Bernardo","year":"2010","unstructured":"Bernardo, D.V., Hoang, D.: Security Analysis of the Proposed Practical Security Mechanisms for High Speed Data Transfer Protocol. In: Kim, T.-H., Adeli, H. (eds.) AST\/UCMA\/ISA\/ACN 2010. LNCS, vol.\u00a06059, pp. 100\u2013114. Springer, Heidelberg (2010)"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-17569-5_38","volume-title":"Future Generation Information Technology","author":"D.V. Bernardo","year":"2010","unstructured":"Bernardo, D.V., Hoang, D.B.: End-to-End Security Methods for UDT Data Transmissions. In: Kim, T.-H., Lee, Y.-H., Kang, B.-H., \u015al\u0119zak, D. (eds.) FGIT 2010. LNCS, vol.\u00a06485, pp. 383\u2013393. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Bernardo, D.V., Hoang, D.: Securing data transfer in the cloud through introducing identification packet and UDT-authentication option field: a characterization. International Journal of Network Security & Its Applications (IJNSA)\u00a02(4) (October 2010) CoRR abs\/1010.4845:","key":"20_CR15","DOI":"10.5121\/ijnsa.2010.2402"},{"doi-asserted-by":"crossref","unstructured":"Bernardo, D.V., Hoang, D.: Multi-layer Security Analysis and Experimentation of High Speed Protocol Data Transfer for GRID. International Journal o Grid and Utility Computing (in the press) (October 2011)","key":"20_CR16","DOI":"10.1504\/IJGUC.2012.047758"},{"unstructured":"Bernardo, D.V., Hoang, D.: A Pragmatic Approach: Achieving Acceptable Security Mechanisms for High Speed Data Transfer Protocol- UDT SERSC. International Journal of Security and Its Applications\u00a04(4) (October 2010)","key":"20_CR17"},{"doi-asserted-by":"crossref","unstructured":"Blumenthal, M., Clark, D.: Rethinking the Design of the Internet: End-to-End Argument vs. the Brave New World. In: Proc. ACM Trans Internet Technology, p.1 (August 2001)","key":"20_CR18","DOI":"10.21236\/ADA629281"},{"doi-asserted-by":"crossref","unstructured":"Clark, D., Sollins, L., Wroclwski, J., Katabi, D., Kulik, J., Yang, X.: New Arch: Future Generation Internet Architecture, Technical Report, DoD \u2013 ITO (2003)","key":"20_CR19","DOI":"10.21236\/ADA425221"},{"doi-asserted-by":"crossref","unstructured":"Dierks, T., Allen, C.: The TLS Protocol Version 1.0. RFC 2246 (January 1999)","key":"20_CR20","DOI":"10.17487\/rfc2246"},{"unstructured":"Falby, N., Fulp, J., Clark, P., Cote, R., Irvine, C., Dinolt, G., Levin, T., Rose, M., Shifflett, D.: Information assurance capacity building: A case study. In: Proc. 2004 IEEE Workshop on Information Assurance, U.S. Military Academy, pp. 31\u201336 (June 2004)","key":"20_CR21"},{"volume-title":"Information Assurance in Computer Networks: Methods, Models, and Architecture for Network Security","year":"2001","unstructured":"Gorodetsky, V., Skormin, V., Popyack, L. (eds.): Information Assurance in Computer Networks: Methods, Models, and Architecture for Network Security. Springer, St. Petersburg (2001)","key":"20_CR22"},{"doi-asserted-by":"crossref","unstructured":"Gu, Y., Grossman, R.: UDT: UDP-based Data Transfer for High-Speed Wide Area Networks. Computer Networks\u00a051(7) (2007)","key":"20_CR23","DOI":"10.1016\/j.comnet.2006.11.009"},{"issue":"3","key":"20_CR24","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/j.dss.2003.11.004","volume":"39","author":"J. Hamill","year":"2005","unstructured":"Hamill, J., Deckro, R., Kloeber, J.: Evaluating information assurance strategies. Decision Support Systems\u00a039(3), 463\u2013484 (2005)","journal-title":"Decision Support Systems"},{"unstructured":"H. I. for Information Technology, H. U. of Technology, et al. Infrastructure for HIP (2008)","key":"20_CR25"},{"unstructured":"Harrison, D.: RPI NS2 Graphing and Statistics Package, http:\/\/networks.ecse.rpi.edu\/~harrisod\/graph.html","key":"20_CR26"},{"doi-asserted-by":"crossref","unstructured":"Jokela, P., Moskowitz, R., Nikander, P.: Using the Encapsulating Security Payload (ESP) Transport Format with the Host Identity Protocol (HIP). RFC 5202, IETF (April 2008)","key":"20_CR27","DOI":"10.17487\/rfc5202"},{"unstructured":"Joubert, P., King, R., Neves, R., Russinovich, M., Tracey, J.: Highperformance memory-based web servers: Kernel and user-space performance. In: USENIX 2001, Boston, Massachusetts (June 2001)","key":"20_CR28"},{"doi-asserted-by":"crossref","unstructured":"Jray, W.: Generic Security Service API Version 2:C-bindings, RFC 2744 (January 2000)","key":"20_CR29","DOI":"10.17487\/rfc2744"},{"doi-asserted-by":"crossref","unstructured":"Kent, S., Atkinson, R.: Security Architecture for the Internet Protocol. RFC 2401 (1998)","key":"20_CR30","DOI":"10.17487\/rfc2401"},{"doi-asserted-by":"crossref","unstructured":"Laganier, J., Eggert, L.: Host Identity Protocol (HIP) Rendezvous Extension. RFC 5204, IETF (April 2008)","key":"20_CR31","DOI":"10.17487\/rfc5204"},{"doi-asserted-by":"crossref","unstructured":"Laganier, J., Koponen, T., Eggert, L.: Host Identity Protocol (HIP) Registration Extension. RFC 5203, IETF (April 2008)","key":"20_CR32","DOI":"10.17487\/rfc5203"},{"unstructured":"Leon-Garcia, A., Widjaja, I.: Communication Networks. McGraw Hill (2000)","key":"20_CR33"},{"doi-asserted-by":"crossref","unstructured":"Linn, J.: Generic Security Service Application Program Interface Version 2, Update 1, RFC 2743 (January 2000)","key":"20_CR34","DOI":"10.17487\/rfc2743"},{"doi-asserted-by":"crossref","unstructured":"Linn, J.: The Kerberos Version 5 GSS-API Mechanism, IETF, RFC 1964 (June 1996)","key":"20_CR35","DOI":"10.17487\/rfc1964"},{"doi-asserted-by":"crossref","unstructured":"Mathis, M., Mahdavi, J., Floyd, S., Romanow, A.: TCP selective acknowledgment options. IETF RFC 2018 (April 1996)","key":"20_CR36","DOI":"10.17487\/rfc2018"},{"doi-asserted-by":"crossref","unstructured":"Melnikov, A., Zeilenga, K.: Simple Authentication and Security Layer (SASL) IETF, RFC 4422 (June 2006)","key":"20_CR37","DOI":"10.17487\/rfc4422"},{"unstructured":"Menezes, A.J., van Oorschot, P.C., Vanstone, S.A.: Handbook of Applied Cryptography. CRC Press (1997)","key":"20_CR38"},{"doi-asserted-by":"crossref","unstructured":"Moskowitz, R., Nikander, P.: RFC 4423: Host identity protocol (HIP) architecture (May 2006)","key":"20_CR39","DOI":"10.17487\/rfc4423"},{"doi-asserted-by":"crossref","unstructured":"Moskowitz, R., Nikander, P., Jokela, P., Henderson, T.: Host Identity Protocol. RFC 5201, IETF (April 2008)","key":"20_CR40","DOI":"10.17487\/rfc5201"},{"unstructured":"Neuman, C., Yu, T., Hartman, S., Raeburn, K.: Kerberos Network Authentication Service (V5), IETF, RFC 1964 (June 1996)","key":"20_CR41"},{"unstructured":"NIST SP 800-37, Guide for the Security Certification and Accreditation of Federal Information Systems (May 2004)","key":"20_CR42"},{"unstructured":"NS2, http:\/\/isi.edu\/nsna\/ns","key":"20_CR43"},{"unstructured":"PSU Evaluation Methods for Internet Security Technology (EMIST) (2004), http:\/\/emist.ist.psu.edu (visited December 2009)","key":"20_CR44"},{"unstructured":"Rabin, M.: Digitized signatures and public-key functions as intractable as Factorization. MIT\/LCS Technical Report, TR-212 (1979)","key":"20_CR45"},{"doi-asserted-by":"crossref","unstructured":"Rescorla, E., Modadugu, N.: Datagram Transport Layer Security. RFC 4347, IETF (April 2006)","key":"20_CR46","DOI":"10.17487\/rfc4347"},{"key":"20_CR47","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/359340.359342","volume":"21","author":"R.L. Rivest","year":"1978","unstructured":"Rivest, R.L., Shamir, A., Adleman, L.M.: A method for obtaining digital signature and public-keycryptosystems. Communication of ACM\u00a021, 120\u2013126 (1978)","journal-title":"Communication of ACM"},{"unstructured":"Schwartz, M.: Broadband Integrated Networks. Prentice Hall (1996)","key":"20_CR48"},{"doi-asserted-by":"crossref","unstructured":"Stewart, R. (ed.): Stream Control Transmission Protocol, RFC 4960 (2007)","key":"20_CR49","DOI":"10.17487\/rfc4960"},{"doi-asserted-by":"crossref","unstructured":"Stiemerling, M., Quittek, J., Eggert, L.: NAT and Firewall Traversal Issues of Host Identity Protocol (HIP) Communication. RFC 5207, IETF (April 2008)","key":"20_CR50","DOI":"10.17487\/rfc5207"},{"doi-asserted-by":"crossref","unstructured":"Stoica, I., Adkins, D., Zhuang, S., Shenker, S., Surana, S.: Internet Indirection Infrastructure. In: Proc. ACM SIGCOMM (August 2002)","key":"20_CR51","DOI":"10.1145\/633025.633033"},{"doi-asserted-by":"crossref","unstructured":"Szalay, A., Gray, J., Thakar, A., Kuntz, P., Malik, T., Raddick, J., Stoughton, C., Vandenberg, J.: The SDSS SkyServer - Public access to the Sloan digital sky server data. ACM SIGMOD (2002)","key":"20_CR52","DOI":"10.1145\/564756.564758"},{"unstructured":"Wang, G., Xia,Y.: An NS2 TCP Evaluation Tool, http:\/\/labs.nec.com.cn\/tcpeval.html","key":"20_CR53"},{"doi-asserted-by":"crossref","unstructured":"Williams, N.: Clarifications and Extensions to the Generic Security Service Application Program Interface (GSS-API) for the Use of Channel Bindings. RFC 5554 (May 2009)","key":"20_CR54","DOI":"10.17487\/rfc5554"},{"unstructured":"Globus XIO, unix.globus.org\/toolkit\/docs\/3.2\/xio\/index.html (retrieved on November 1, 2009)","key":"20_CR55"},{"doi-asserted-by":"crossref","unstructured":"Zhang, M., Karp, B., Floyd, S., Peterson, L.: RR-TCP: A reordering-robust TCP with DSACK. In: Proc. the Eleventh IEEE International Conference on Networking Protocols (ICNP 2003), Atlanta, GA (November 2003)","key":"20_CR56","DOI":"10.1109\/ICNP.2003.1249760"}],"container-title":["Communications in Computer and Information Science","Security Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27189-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T01:49:21Z","timestamp":1560995361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27189-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642271885","9783642271892"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27189-2_20","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}