{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T23:02:03Z","timestamp":1767999723604,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540326281","type":"print"},{"value":"9783540326298","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11679219_3","type":"book-chapter","created":{"date-parts":[[2006,2,23]],"date-time":"2006-02-23T02:36:41Z","timestamp":1140662201000},"page":"16-33","source":"Crossref","is-referenced-by-count":6,"title":["Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks"],"prefix":"10.1007","author":[{"given":"Tao","family":"Song","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calvin","family":"Ko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chinyang Henry","family":"Tseng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Poornima","family":"Balasubramanyam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anant","family":"Chaudhary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karl N.","family":"Levitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Anderson, J.P.: Computer security threat monitoring and surveilance, Technical report, James P. Anderson Co., Fort Washington, PA (April 1980)"},{"key":"3_CR2","volume-title":"Computer Security: Art and Science","author":"M.A. Bishop","year":"2002","unstructured":"Bishop, M.A.: Computer Security: Art and Science. Addison Wesley Longman, Amsterdam (2002)"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","volume":"14","author":"S. Budkowski","year":"1991","unstructured":"Budkowski, S., Dembinski, P.: An Introduction to Estelle: A specification language for distributed systems. Computer Networks and ISDN Systems\u00a014(1), 3\u201324 (1991)","journal-title":"Computer Networks and ISDN Systems"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BFb0031816","volume-title":"Formal Methods in Computer-Aided Design","author":"B. Brock","year":"1996","unstructured":"Brock, B., Kaufmann, M., Moore, J.: ACL2 Theorems about Commercial Microprocessors. In: Srivas, M., Camilleri, A. (eds.) FMCAD 1996. LNCS, vol.\u00a01166, pp. 275\u2013293. Springer, Heidelberg (1996)"},{"key":"3_CR5","volume-title":"A computational logic","author":"R.S. Boyer","year":"1979","unstructured":"Boyer, R.S., Moore, J.S.: A computational logic. Academic Press, New York (1979)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-30143-1_7","volume-title":"Recent Advances in Intrusion Detection","author":"Y. Huang","year":"2004","unstructured":"Huang, Y., Lee, W.: Attack Analysis and Detection for Ad Hoc Routing Protocols. In: Jonsson, E., Valdes, A., Almgren, M. (eds.) RAID 2004. LNCS, vol.\u00a03224, pp. 125\u2013145. Springer, Heidelberg (2004)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.372146","volume":"13","author":"K. Ilgun","year":"1995","unstructured":"Ilgun, K., Kemmerer, R., Porras, P.: State Transition Analysis: A Rule-based Intrusion Detection Approach. IEEE Transactions of Software Engineering\u00a013, 181\u2013199 (1995)","journal-title":"IEEE Transactions of Software Engineering"},{"key":"3_CR8","volume-title":"Computer-Aided Reasoning: An Approach","author":"M. Kaufmann","year":"2000","unstructured":"Kaufmann, M., Manolios, P., Moore, J.S.: Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/3-540-45474-8_12","volume-title":"Recent Advances in Intrusion Detection","author":"C. Ko","year":"2001","unstructured":"Ko, C., Brutch, P., Rowe, J., Tsafnat, G., Levitt, K.N.: System Health and Intrusion Monitoring Using a Hierarchy of Constraints. In: Lee, W., M\u00e9, L., Wespi, A. (eds.) RAID 2001. LNCS, vol.\u00a02212, p. 190. Springer, Heidelberg (2001)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Ko, C., Ruschitzka, M., Levitt, K.: Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-based Approach. In: Proceedings of the 1997 IEEE Symposium on Security and Privacy (May 1997)","DOI":"10.1109\/SECPRI.1997.601332"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"McAuley, A.J., Manousakis, K.: Self-Configuring Networks. In: IEEE Milcom 2000, Los Angeles (October 2000)","DOI":"10.1109\/MILCOM.2000.904966"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Moore, J.: Proving Theorems about Java-like Byte Code. In: Correct System Design - Issues, Methods and Perspectives (1999)","DOI":"10.1007\/3-540-48092-7_7"},{"key":"3_CR13","unstructured":"Roesch, M.: Snort: Lightweight Intrusion Detection for Networks. In: Proc. Of USENIX LISA 1999, Seattle, Washington, November, pp. 229\u2013238 (1999)"},{"key":"3_CR14","unstructured":"Song, T., Alves-Foss, J., Ko, C., Zhang, C., Levitt, K.: Using ACL2 to Verify Security Properties of Specification-based Intrusion Detection Systems. In: Proceedings of the Fourth International Workshop on the ACL2 Theorem Prover and Its Applications (2003)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Sterne, D., Balasubramanyam, P., Carman, D., Wilson, B., Talpade, R., Ko, C., Balupari, R., Tseng, C.-Y., Bowen, T., Levitt, K., Rowe, J.: A General Cooperative Intrusion Detection Architecture for MANETs. In: Proceedings of the 3rd IEEE International Workshop on Information Assurance (March 2005)","DOI":"10.1109\/IWIA.2005.1"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-540-30143-1_15","volume-title":"Recent Advances in Intrusion Detection","author":"T. Song","year":"2004","unstructured":"Song, T., Ko, C., Alves-Foss, J., Zhang, C., Levitt, K.: Formal Reasoning about Intrusion Detection Systems. In: Jonsson, E., Valdes, A., Almgren, M. (eds.) RAID 2004. LNCS, vol.\u00a03224, pp. 278\u2013295. Springer, Heidelberg (2004)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Subhadrabandhu, D., Sarkar, S., Anjum, F.: Efficacy of Misuse Detection in Adhoc Networks. In: proceeding of IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks (2004)","DOI":"10.1109\/SAHCN.2004.1381907"},{"key":"3_CR18","unstructured":"Tseng, C.Y., Balasubramanyam, P., Ko, C., Limprasittiporn, R., Rowe, J., Levitt, K.: A Specification-Based Instrusion Detection system for AODV. In: 2003 ACM Workshop on security of Ad Hoc and Sensor Networks (SASN 2003), (October 21, 2003)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/11663812_17","volume-title":"Recent Advances in Intrusion Detection","author":"C.H. Tseng","year":"2006","unstructured":"Tseng, C.H., Song, T., Balasubramanyam, P., Ko, C., Levitt, K.: A Specification-based Intrusion Detection Model for OLSR. In: Valdes, A., Zamboni, D. (eds.) RAID 2005. LNCS, vol.\u00a03858, pp. 330\u2013350. Springer, Heidelberg (2006)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Vaidyanathan, R., Kant, L., McAuley, A., Bereschinsky, M.: Performance Modeling and Simulation of Dynamic and Rapid Auto-configuration Protocols for Ad-hoc Wireless Networks. In: proceeding of Annual Simulation Symposium 2003 (2003)","DOI":"10.1109\/SIMSYM.2003.1192798"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Zhou, L., Haas, Z.J.: Securing ad hoc networks. IEEE Network Magazine\u00a013(6) (November,December 1999)","DOI":"10.1109\/65.806983"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects in Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11679219_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T22:06:47Z","timestamp":1555452407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11679219_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326281","9783540326298"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11679219_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}