{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:38:02Z","timestamp":1725557882552},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206934"},{"type":"electronic","value":"9783540409816"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40981-6_17","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T19:17:45Z","timestamp":1277234265000},"page":"205-220","source":"Crossref","is-referenced-by-count":3,"title":["Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area"],"prefix":"10.1007","author":[{"given":"Gordon Thomas","family":"Rohrmair","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gavin","family":"Lowe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Ammann, P.E., Black, P.: Test generation and recognition with formal methods (2000)"},{"key":"17_CR2","unstructured":"Ammann, P., Ding, W., Xu, D.: Using a model checker to test safety properties, ISE Department, MS 4A4, George Mason University, 4400 University Drive Fairfax, VA 22030 USA (2000)"},{"key":"17_CR3","unstructured":"Axelsson, S.: Research in intrusion-detection systems: A survey. p. 98 (1999)"},{"key":"17_CR4","series-title":"Computer Communications","volume-title":"TCP\/IP and Related Protocols","author":"U. Black","year":"1998","unstructured":"Black, U.: TCP\/IP and Related Protocols. Computer Communications. McGraw- Hill, New York (1998)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/10722599_11","volume-title":"Computer Security - ESORICS 2000","author":"P.J. Broadfoot","year":"2000","unstructured":"Broadfoot, P.J., Lowe, G., Roscoe, A.W.: Automating data independence. In: Cuppens, F., Deswarte, Y., Gollmann, D., Waidner, M. (eds.) ESORICS 2000. LNCS, vol.\u00a01895, pp. 175\u2013190. Springer, Heidelberg (2000)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Computing Surveys\u00a028(4) (December 1996)","DOI":"10.1145\/242223.242257"},{"key":"17_CR7","volume-title":"Building Internet Firewalls","author":"D.B. Chapman","year":"2000","unstructured":"Chapman, D.B., Zwicky, E.D., Cooper, S.: Building Internet Firewalls. O\u2019Reilly, Sebastopol (June 2000) ISBN: 1-56592-871-7"},{"key":"17_CR8","unstructured":"del Rey, M.: RFC 791 Internet Protocol DARPA Internet program protocol specification, California 90291 (September 1981)"},{"key":"17_CR9","unstructured":"Gardiner, P., Goldsmith, M., Hulance, J., Jackson, D., Roscoe, A.W., Scattergood, B.: FDR2 User Manual, 5th edn. Formal Systems (Europe) Ltd. (2000)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Hinden, R., Deering, S.: RFC 2460 Internet Protocol, Version 6 (IPv6) specification (December 1998)","DOI":"10.17487\/rfc2460"},{"key":"17_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985) ISBN: 0-13-153271-5"},{"key":"17_CR12","unstructured":"Kent, F.K.: Network Intrusion Detection Signatures - Part 1. December 19 (2001), http:\/\/www.securityfocus.com"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Ko, C., Fink, G., Levitt, K.: Automated detection of vulnerabilities in privileged programs by execution monitoring, Department of Computer Science University of California, Davis, CA 95616 (1994)","DOI":"10.1109\/CSAC.1994.367313"},{"key":"17_CR14","unstructured":"Ko, C.: Execution Monitoring of Security Critical Programs in a Distributed System: A Specification-Based Approach. PhD thesis, Department of Computer Science, University of California at Davis (1996)"},{"key":"17_CR15","unstructured":"Nessus a remote security scanner, http:\/\/www.nessus.org\/"},{"key":"17_CR16","unstructured":"Commission of the European Communities. New generation Internet - priorities for action in migrating to the new Internet protocol IPv6. COM(2002) 96 finaly:15 (February 2002)"},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"2435","DOI":"10.1016\/S1389-1286(99)00112-7","volume":"31","author":"V. Paxton","year":"1999","unstructured":"Paxton, V.: BRO: A system for detecting network intruders in real-time. Computer Networks\u00a031, 2435\u20132463 (1999)","journal-title":"Computer Networks"},{"key":"17_CR18","unstructured":"Ptacek, T.H., Newsham, T.N.: Insertion, evasion, and denial of service: Eluding network intrusion detection. Secure Networks (January 1998)"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Ritchey, R., Ammann, P.: Using model checking to analyze network vulnerabilities. In: IEEE Oakland Symposium on Security and Privacy, pp. 156\u2013165 (May 2000)","DOI":"10.1109\/SECPRI.2000.848453"},{"issue":"2,3","key":"17_CR20","doi-asserted-by":"crossref","first-page":"147","DOI":"10.3233\/JCS-1999-72-303","volume":"7","author":"A.W. Roscoe","year":"1999","unstructured":"Roscoe, A.W., Broadfoot, P.J.: Proving security protocols with model checkers by data independence techniques. Journal of Computer Security: Special Issue CSFW12\u00a07(2,3), 147\u2013190 (1999)","journal-title":"Journal of Computer Security: Special Issue CSFW12"},{"key":"17_CR21","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall, Englewood Cliffs (1998) ISBN: 0-13-674409-5"},{"key":"17_CR22","unstructured":"Ramakrishan, C.R., Sekar, R.: Model-based analysis of configuration vulnerabilities. Department of Computer Science State University of New York Stony Brook NY 11794"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Reed, D., Ziemba, G., Traina, P.: RFC 1858 Security considerations for IP fragment filtering (October 1995)","DOI":"10.17487\/rfc1858"},{"key":"17_CR24","unstructured":"Sekar, R., Bowen, T., Segal, M.: On preventing intrusions by process behavior monitoring. In: USENIX Intrusion Detection Workshop (1999)"},{"key":"17_CR25","unstructured":"Network Flight Recorder Security, http:\/\/www.nfr.com\/"},{"key":"17_CR26","unstructured":"Sekar, R., Uppuluri, P.: Synthesizing fast intrusion prevention\/detection systems from high-level specifications. Master\u2019s thesis, State University of New York at Stony Brook, NY 11794"},{"key":"17_CR27","unstructured":"Internet Security Systems. Network- vs. host-based intrusion detection. Technical report, http:\/\/www.iss.net\/support\/documentation\/whitepapers\/index.php (October 02, 1998)"},{"key":"17_CR28","unstructured":"Internet Security Systems. Intrusion detection systems - whitepaper (1999), http:\/\/www.iss.net\/support\/documentation\/whitepapers\/index.php"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40981-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T09:38:32Z","timestamp":1559209112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40981-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206934","9783540409816"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40981-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}