{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:34:25Z","timestamp":1725615265734},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201755"},{"type":"electronic","value":"9783540399797"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-39979-7_20","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T18:52:22Z","timestamp":1277232742000},"page":"303-318","source":"Crossref","is-referenced-by-count":4,"title":["Correct Passive Testing Algorithms and Complete Fault Coverage"],"prefix":"10.1007","author":[{"given":"Arun N.","family":"Netravali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krishan K.","family":"Sabnani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramesh","family":"Viswanathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Chandra, S., McCann, P.J., Gunter, C.A.: What packets may come: automata for network monitoring. In: Symposium on Principles of Programming Languages, pp. 206\u2013219 (2001)","DOI":"10.1145\/360204.360221"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Floyd, S., Henderson, T.: The NewReno Modification to TCP\u2019s Fast Recovery Algorithm (April 1999) RFC2582","DOI":"10.17487\/rfc2582"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Lee, D., Chen, D., Hao, R., Miller, R., Wu, J., Yin, X.: A formal approach for passive testing of protocol data portions. In: Proceedings of the IEEE International Conference on Network Protocols, pp. 122\u2013131 (2002)","DOI":"10.1109\/ICNP.2002.1181393"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Lee, D., Netravali, A., Sabnani, K., Sugla, B., John, A.: Passive testing and applications to network management. In: Proceedings of the IEEE International Conference on Network Protocols, pp. 113\u2013122 (October 1997)","DOI":"10.1109\/ICNP.1997.643699"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Mathis, M., Mahdavi, J., Floyd, S., Romanow, A.: TCP Selective Acknowledgement Options (October 1996) RFC2018","DOI":"10.17487\/rfc2018"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Miller, R.E.: Passive testing of networks using a CFSM specification. In: IEEE International Performance Computing and Communications Conference, pp. 111\u2013116 (February 1998)","DOI":"10.1109\/PCCC.1998.659924"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Miller, R.E., Arisha, K.: On fault location in networks by passive testing. In: IEEE International Performance Computing and Communications Conference (February 2000)","DOI":"10.1109\/PCCC.2000.830329"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Miller, R.E., Arisha, K.: Fault identification in networks by passive testing. In: IEEE Advanced Simulation Technologies Conferences (April 2001)","DOI":"10.1109\/SIMSYM.2001.922142"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Padhye, J., Floyd, S.: On Inferrring TCP Behavior. In: SIGCOMM 2001 (August 2001)","DOI":"10.1145\/383059.383083"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Paxson, V.: Automated packet trace analysis of tcp implementations. Computer Communication Review\u00a027(4) (October 1997)","DOI":"10.1145\/263109.263160"},{"issue":"23-24","key":"20_CR11","doi-asserted-by":"publisher","first-page":"2435","DOI":"10.1016\/S1389-1286(99)00112-7","volume":"31","author":"V. Paxson","year":"1999","unstructured":"Paxson, V.: Bro: A system for detecting network intruders in real-time. Computer Networks\u00a031(23-24), 2435\u20132463 (1999)","journal-title":"Computer Networks"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-011-0149-3_1","volume-title":"NATO Advanced Study Institute Semigroups, Formal Languages and Groups","author":"J.-E. Pin","year":"1995","unstructured":"Pin, J.-E.: Finite semigroups and recognizable languages: An introduction. In: Fountain, J. (ed.) NATO Advanced Study Institute Semigroups, Formal Languages and Groups, pp. 1\u201332. Kluwer academic publishers, Dordrecht (1995)"},{"key":"20_CR13","unstructured":"Ranum, M.J., Landfield, K., Stolarchuk, M., Sienkiewicz, M., Lambeth, A., Wall, E.: Implementing a generalized tool for network monitoring. In: Proceedings of the Eleventh Systems Administration Conference (LISA XI), pp. 1\u20138 (1997)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Rosen, E.C.: Vulnerabilities of network control protocols: An example. ACM SIGSOFT Software Engineering Notes\u00a06(1) (January 1981)","DOI":"10.1145\/1005920.1005923"},{"issue":"1","key":"20_CR15","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. Information and System Security\u00a03(1), 30\u201350 (2000)","journal-title":"Information and System Security"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/BF01211865","volume":"6","author":"A.P. Sistla","year":"1994","unstructured":"Sistla, A.P.: Safety, liveness and fairness in temporal logic. Formal Aspects of Computing\u00a06, 495\u2013511 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"20_CR17","series-title":"The Protocols","volume-title":"TCP\/IP Illustrated","author":"W. Richard Stevens","year":"1984","unstructured":"Richard Stevens, W.: TCP\/IP Illustrated. The Protocols, vol.\u00a0I. Addison Wesley, Reading (1984)"},{"key":"20_CR18","unstructured":"Travis, P.: Why the AT&T Network Crashed. Telephony\u00a0218(4) (January 1990)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39979-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T09:36:36Z","timestamp":1559208996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39979-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201755","9783540399797"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39979-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}