{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T18:09:52Z","timestamp":1778263792944,"version":"3.51.4"},"publisher-location":"Boston, MA","reference-count":4,"publisher":"Springer US","isbn-type":[{"value":"9781441959058","type":"print"},{"value":"9781441959065","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","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-1-4419-5906-5_855","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T09:52:34Z","timestamp":1319709154000},"page":"44-45","source":"Crossref","is-referenced-by-count":1,"title":["Applications of Formal Methods to Intrusion Detection"],"prefix":"10.1007","author":[{"given":"Catherine","family":"Meadows","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"855_CR1_855","unstructured":"Stakhanova N, Ghorbani A (2010) Managing intrusion detection rule sets. In: Proceedings of the third European workshop on system security EUROSEC\u201910, Paris, Apr\u00a02010"},{"key":"855_CR2_855","volume-title":"Formalizing sensitivity in static analysis for intrusion detection","author":"HH Feng","year":"2004","unstructured":"Feng HH, Giffin JT, Huang Y, Jha S, Lee W, Miller BP (2004) Formalizing sensitivity in static analysis for intrusion detection. In: IEEE symposium on security and privacy, Oakland, May\u00a02004"},{"key":"855_CR3_855","unstructured":"Song D, Brumley D, Yin H, Caballero J, Jager I, Kang MG, Liang\u00a0Z, Newsome J, Poosankam P, Saxena P (2008) BitBlaze: a new approach to computer security via binary analysis. In: ICISS 2008. LNCS, vol 5352. Springer, Heidelberg, pp\u00a01\u201325"},{"key":"855_CR4_855","volume-title":"Using model-based intrusion detection for SCADA networks","author":"S Cheung","year":"2007","unstructured":"Cheung S, Dutertre B, Fong M, Lindqvist U, Skinner K, Valdes\u00a0A (2007) Using model-based intrusion detection for SCADA networks. In: Proceedings of the SCADA security scientific symposium, Miami Beach, Jan\u00a02007"}],"container-title":["Encyclopedia of Cryptography and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-5906-5_855","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T17:22:02Z","timestamp":1778260922000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4419-5906-5_855"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9781441959058","9781441959065"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-5906-5_855","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}