{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:20:31Z","timestamp":1725549631216},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540258612"},{"type":"electronic","value":"9783540320449"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11424826_42","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T16:53:24Z","timestamp":1268412804000},"page":"401-410","source":"Crossref","is-referenced-by-count":0,"title":["IPv6\/IPsec Conformance Test Management System with Formal Description Technique"],"prefix":"10.1007","author":[{"given":"Hyung-Woo","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sung-Hyun","family":"Yun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jae-Sung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nam-Ho","family":"Oh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Do-Hyung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Deering, S., Hinden, R.: Internet Protocol Version 6 (IPv6) Specification. RFC 2460, IETF Network Working Group (December 1998)","key":"42_CR1","DOI":"10.17487\/rfc2460"},{"key":"42_CR2","volume-title":"IPv6 : Theory, Protocol and Practice","author":"P. Loshin","year":"2003","unstructured":"Loshin, P.: IPv6: Theory, Protocol and Practice, 2nd edn. Morgan Kaufmann, Elsevier (2003)","edition":"2"},{"doi-asserted-by":"crossref","unstructured":"Kent, S., Atkinson, R.: IP Encapsulating Security Payload(ESP), Network Working Group, Internet Draft: draft-ietf-ipsec-esp-04.txt (1997)","key":"42_CR3","DOI":"10.17487\/rfc2406"},{"doi-asserted-by":"crossref","unstructured":"Kent, S., Atkinson, R.: IP Authentication Header, Network Working Group, Internet Draft: draft-ietf-ipsec-auth-05.txt (1997)","key":"42_CR4","DOI":"10.17487\/rfc2402"},{"unstructured":"Gecse, R.: Conformance testing methodology of Internet protocols. Testing of Communicating Systems, Tomsk, Russia (September 1998)","key":"42_CR5"},{"unstructured":"University of NewHampshire, InterOperability Lab, IP Consortium Test Suite, Internet Protocol Version 6, Technical Document (January 2000)","key":"42_CR6"},{"doi-asserted-by":"crossref","unstructured":"Bosik, B.S., Uyar, M.U.: Finite State Machine based Formal Methods in Protocol Conformance Testing: From Theory to Implementation. Computer Networks and ISDN Systems\u00a022(7) (1991)","key":"42_CR7","DOI":"10.1016\/0169-7552(91)90079-R"},{"unstructured":"Rezake, A.: Implementation of a Protocol Conformance Test Sequence Generation Methodology Using Distingushing Sequences, Thesis, Middle East Technical University, Ankara (1993)","key":"42_CR8"},{"unstructured":"TAHI project, \n                    \n                      http:\/\/www.tahi.org\/","key":"42_CR9"},{"unstructured":"KAME project, \n                    \n                      http:\/\/www.kame.org\/","key":"42_CR10"},{"unstructured":"ISO\/IEC 9646-3, Open System Interconnection, Conformance Testing Methodology and Framework, IS-9646, Part 3 - The Tree and Tabular Combined Notation (1996)","key":"42_CR11"},{"unstructured":"Zhiliang, W., Jianping, W., Zhongjie, L., Xia, Y.: Communication Mechanism in Distributed Protocol Testing System. In: Proceeding of ICCT 2003, pp. 149\u2013152 (2003)","key":"42_CR12"},{"doi-asserted-by":"crossref","unstructured":"Maughan, D., Schertler, M., Schneider, M., Turner, J.: Internet Security Associations and Key Management Protocol (ISAKMP). IPSECWorking Group, Internet Draft (1997)","key":"42_CR13","DOI":"10.17487\/rfc2408"},{"doi-asserted-by":"crossref","unstructured":"Kent, S., Atkinson, R.: Security Architecture for the Internet Protocol, Network Working Group, Internet Draft: draft-ietf-ipsec-.txt (1997)","key":"42_CR14","DOI":"10.17487\/rfc2401"},{"doi-asserted-by":"crossref","unstructured":"Conta, A., Deering, S.: Internet Control Message Protocol (ICMPv6) for the Internet Protocol Version 6 (IPv6) Specification. RFC 2463, IETF Network Working Group (December 1998)","key":"42_CR15","DOI":"10.17487\/rfc2463"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2005"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11424826_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:40:16Z","timestamp":1558287616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11424826_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540258612","9783540320449"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11424826_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}