{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:10:59Z","timestamp":1746115859676,"version":"3.40.4"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319035833"},{"type":"electronic","value":"9783319035840"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-319-03584-0_24","type":"book-chapter","created":{"date-parts":[[2013,11,7]],"date-time":"2013-11-07T15:17:57Z","timestamp":1383837477000},"page":"323-337","source":"Crossref","is-referenced-by-count":0,"title":["Algebra-Based Behavior Identification of Trojan Horse"],"prefix":"10.1007","author":[{"given":"Aihua","family":"Peng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lansheng","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanan","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nan","family":"Du","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingquan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"24_CR1","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1093\/comjnl\/41.7.444","volume":"41","author":"H. Thimbleby","year":"1998","unstructured":"Thimbleby, H., Anderson, S., Cairns, P.: A Framework for Modelling Trojans and Computer Virus Infection. Computer Journal\u00a041(7), 444\u2013458 (1998)","journal-title":"Computer Journal"},{"key":"24_CR2","unstructured":"Zhuge, J., Holze, T., Song, C., et al.: Studying Malicoius Websites and the Underground Economy on the Chinese Web. In: The 7th Workshop on the Economics of Information Security (WEIS 2008), Hanover, New Hampshire, USA, June 25-28, pp. 123\u2013125 (2008)"},{"key":"24_CR3","first-page":"79","volume-title":"Proceedings of the 2004 New Security Paradigms Workshop","author":"V. Haldar","year":"2004","unstructured":"Haldar, V., Franz, M.: Symmetric Behavior-Based Trust: A New Paradigm for Internet Computing. In: Proceedings of the 2004 New Security Paradigms Workshop, pp. 79\u201384. ACM Press, Nova Scotia (2004)"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Hofmeyr, S.A., Forrest, S., Somayaji, A.: Intrusion Detection using Sequences of System Calls. Journal of Computer Security, 23\u201330 (1998)","DOI":"10.3233\/JCS-980109"},{"key":"24_CR5","first-page":"273","volume-title":"15th USENIX Security Symposium","author":"E. Kirda","year":"2006","unstructured":"Kirda, E., Kruegel, C., Banks, G., et al.: Behavior-based Spyware Detection. In: 15th USENIX Security Symposium, pp. 273\u2013288. USENIX, Vancouver (2006)"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-04138-9_28","volume-title":"Cryptographic Hardware and Embedded Systems - CHES 2009","author":"R.S. Chakraborty","year":"2009","unstructured":"Chakraborty, R.S., Wolff, F., Paul, S., Papachristou, C., Bhunia, S.: MERO: A Statistical Approach for Hardware Trojan Detection. In: Clavier, C., Gaj, K. (eds.) CHES 2009. LNCS, vol.\u00a05747, pp. 396\u2013410. Springer, Heidelberg (2009)"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Jin, Y., Makris, Y.: Hardware Trojan Detection Using Path Delay Fingerprint. Hardware-Oriented Security and Trust, 51\u201357 (June 2008)","DOI":"10.1109\/HST.2008.4559049"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Wei, S., Potkonjak, M.: Scalable Consistency-based Hardware Trojan Detection and Diagnosis. In: The 5th International Conference on Network and System Security, pp. 176\u2013183 ( September 2011)","DOI":"10.1109\/ICNSS.2011.6059998"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Dahn, B.I.: Robbins Algebras are Boolean: A Revision of McCune\u2019s Computer-Generated Solution of the Robbins Problem. Journal of Algebra\u00a0208, 526\u2013532 (1998) ISSN 0021-8693","DOI":"10.1006\/jabr.1998.7467"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press (2002)","DOI":"10.1017\/CBO9780511809088"}],"container-title":["Lecture Notes in Computer Science","Cyberspace Safety and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03584-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T19:49:56Z","timestamp":1746042596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03584-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319035833","9783319035840"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03584-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}