{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:18:08Z","timestamp":1743074288306},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319547046"},{"type":"electronic","value":"9783319547053"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-54705-3_30","type":"book-chapter","created":{"date-parts":[[2017,3,2]],"date-time":"2017-03-02T09:03:43Z","timestamp":1488445423000},"page":"484-504","source":"Crossref","is-referenced-by-count":2,"title":["Log Your Car: Reliable Maintenance Services Record"],"prefix":"10.1007","author":[{"given":"Hafizah","family":"Mansor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Markantonakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raja Naeem","family":"Akram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Mayes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iakovos","family":"Gurulian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,3]]},"reference":[{"unstructured":"aCar - Car Management, Mileage. https:\/\/play.google.com\/store\/apps\/details?id=com.zonewalker.acar.pro . Accessed 22 Oct 2016","key":"30_CR1"},{"unstructured":"Auto Care. https:\/\/itunes.apple.com\/gb\/app\/auto-care-free-car-maintenance\/id576958809?mt=8 . Accessed 22 Oct 2016","key":"30_CR2"},{"unstructured":"AUTOsist. https:\/\/itunes.apple.com\/gb\/app\/autosist-car-motorcycle-vehicle\/id897916520?mt=8 . Accessed 22 Oct 2016","key":"30_CR3"},{"unstructured":"Car Minder. https:\/\/itunes.apple.com\/us\/app\/car-minder-plus-car-maintenance\/id310809791?mt=8 . Accessed 22 Oct 2016","key":"30_CR4"},{"unstructured":"Fake Car Service Histories Spot One In 8 Easy Steps. https:\/\/www.onlinespyshop.co.uk\/blog\/tips-guides\/fake-car-service-histories-spot-one-in-8-easy-steps\/ . Accessed 22 Oct 2016","key":"30_CR5"},{"unstructured":"Ford\u2019s Vehicle Repair and Service. http:\/\/www.ford.co.uk\/OwnerServices\/VehicleServiceandRepair\/ServicingyourFord\/VehicleServicing . Accessed 22 Oct 2016","key":"30_CR6"},{"unstructured":"How to Spot a Fake Service History. http:\/\/www.autoexpress.co.uk\/car-news\/58853\/how-spot-a-fake-service-history . Accessed 22 Oct 2016","key":"30_CR7"},{"unstructured":"Motoriety. http:\/\/motoriety.co.uk\/ . Accessed 22 Oct 2016","key":"30_CR8"},{"unstructured":"My Cars. https:\/\/play.google.com\/store\/apps\/details?id=com.aguirre.android.mycar.activity . Accessed 22 Oct 2016","key":"30_CR9"},{"unstructured":"The Value of a Full Service History. http:\/\/www.telegraph.co.uk\/cars\/advice\/the-value-of-a-full-service-history\/ . Accessed 22 Oct 2016","key":"30_CR10"},{"unstructured":"Toyota Service History. http:\/\/www.toyota.com\/owners\/parts-service\/history . Accessed 22 Oct 2016","key":"30_CR11"},{"issue":"2","key":"30_CR12","doi-asserted-by":"crossref","first-page":"312","DOI":"10.7763\/IJCTE.2013.V5.700","volume":"5","author":"F Amouzegar","year":"2013","unstructured":"Amouzegar, F., Patel, A.: Vehicle maintenance notification system using RFID technology. Int. J. Comput. Theor. Eng. 5(2), 312 (2013)","journal-title":"Int. J. Comput. Theor. Eng."},{"unstructured":"Boss, G.J., Finn, P.G., II Rick, A.H., O\u2019Connell, B.M., Seaman, J.W., Walker, K.R.: Tracking Vehicle Maintenance using Sensor Detection, US Patent 8,311,698, November 2012","key":"30_CR13"},{"unstructured":"Cremers, C.: Scyther User Manual, draft edition, February 2014","key":"30_CR14"},{"key":"30_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-78636-8","volume-title":"Operational Semantics and Verification of Security Protocols","author":"C Cremers","year":"2012","unstructured":"Cremers, C., Mauw, S.: Operational Semantics and Verification of Security Protocols. Springer, Heidelberg (2012)"},{"key":"30_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-540-70545-1_38","volume-title":"Computer Aided Verification","author":"CJF Cremers","year":"2008","unstructured":"Cremers, C.J.F.: The scyther tool: verification, falsification, and analysis of security protocols. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 414\u2013418. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-70545-1_38"},{"unstructured":"ELM Electronics. ELM327L. https:\/\/www.elmelectronics.com\/wp-content\/uploads\/2016\/07\/ELM327L_Data_Sheet.pdf . Accessed 22 Oct 2016","key":"30_CR17"},{"unstructured":"Hartwich, F.: CAN with Flexible Data Rate (2012)","key":"30_CR18"},{"unstructured":"Henniger, O.: EVITA: E-Safety Vehicle Intrusion Protected Applications. Technical report, EVITA (2011)","key":"30_CR19"},{"doi-asserted-by":"crossref","unstructured":"Henniger, O., Apvrille, L., Fuchs, A., Roudier, Y., Ruddle, A., Weyl, B.: Security requirements for automotive on-board networks. In: 2009 9th International Conference on Intelligent Transport Systems Telecommunications (ITST), pp. 641\u2013646. IEEE (2009)","key":"30_CR20","DOI":"10.1109\/ITST.2009.5399279"},{"doi-asserted-by":"crossref","unstructured":"Hiraoka, H., Iwanami, N., Fujii, Y., Seya, T., Ishizuka, H.: Network agents for life cycle support of mechanical parts. In: 2003 3rd International Symposium on Environmentally Conscious Design and Inverse Manufacturing, EcoDesign 2003, pp. 61\u201364. IEEE (2003)","key":"30_CR21","DOI":"10.1109\/ECODIM.2003.1322638"},{"unstructured":"Road vehicles \u2013 Controller Area Network (CAN) \u2013 part 1: Data link layer and physical signalling. Standard, International Organization for Standardization, February 2013","key":"30_CR22"},{"doi-asserted-by":"crossref","unstructured":"Lowe, G.: A hierarchy of authentication specifications. In: Proceedings of the 10th Computer Security Foundations Workshop, pp. 31\u201343. IEEE (1997)","key":"30_CR23","DOI":"10.1109\/CSFW.1997.596782"},{"issue":"1","key":"30_CR24","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/JCS-1998-61-204","volume":"6","author":"G Lowe","year":"1998","unstructured":"Lowe, G.: Casper: a compiler for the analysis of security protocols. J. Comput. Secur. 6(1), 53\u201384 (1998)","journal-title":"J. Comput. Secur."},{"doi-asserted-by":"crossref","unstructured":"Makowitz, R., Temple, C.: FlexRay- a communication network for automotive control systems. In: 2006 IEEE International Workshop on Factory Communication Systems, pp. 207\u2013212 (2006)","key":"30_CR25","DOI":"10.1109\/WFCS.2006.1704153"},{"key":"30_CR26","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-319-39564-7_21","volume-title":"Advanced Information Systems Engineering Workshops","author":"O Mavropoulos","year":"2016","unstructured":"Mavropoulos, O., Mouratidis, H., Fish, A., Panaousis, E., Kalloniatis, C.: Apparatus: reasoning about security requirements in the internet of things. In: Krogstie, J., Mouratidis, H., Su, J. (eds.) CAiSE 2016. LNBIP, vol. 249, pp. 219\u2013230. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-39564-7_21"},{"unstructured":"Media Oriented Systems Transport Specifications (2006)","key":"30_CR27"},{"unstructured":"Microchip. High-Speed CAN Transceiver (2003). http:\/\/ww1.microchip.com\/downloads\/en\/devicedoc\/21667d.pdf . Accessed 22 Oct 2016","key":"30_CR28"},{"unstructured":"Microchip. PIC18F2480\/2580\/4480\/4580 Data Sheet (2007). http:\/\/ww1.microchip.com\/downloads\/en\/DeviceDoc\/39637c.pdf . Accessed 22 Oct 2016","key":"30_CR29"},{"unstructured":"Microchip. Starter Kit I\/O Expansion Board Information Sheet (2010). http:\/\/ww1.microchip.com\/downloads\/en\/DeviceDoc\/51950A.pdf . Accessed 22 Oct 2016","key":"30_CR30"},{"unstructured":"Microchip. CAN BUS Analyzer Users Guide (2011). http:\/\/ww1.microchip.com\/downloads\/en\/DeviceDoc\/51848B.pdf . Accessed 22 Oct 2016","key":"30_CR31"},{"unstructured":"Microchip. CAN\/LIN\/J2602 PICtail (Plus) Daughter Board Users Guide (2011). http:\/\/ww1.microchip.com\/downloads\/en\/DeviceDoc\/70319B.pdf . Accessed 22 Oct 2016","key":"30_CR32"},{"unstructured":"Microchip. MCP2200 Breakout Module User\u2019s Guide (2012). http:\/\/ww1.microchip.com\/downloads\/en\/DeviceDoc\/52064A.pdf . Accessed 22 Oct 2016","key":"30_CR33"},{"unstructured":"Microchip. PIC32MZ Embedded Connectivity (EC) Adapter Board Information Sheet (2013). http:\/\/ww1.microchip.com\/downloads\/en\/DeviceDoc\/50002199A.pdf . Accessed 22 Oct 2016","key":"30_CR34"},{"unstructured":"Microchip. PIC32MZ Embedded Connectivity (EC) Starter Kit Users Guide (2013). http:\/\/ww1.microchip.com\/downloads\/en\/DeviceDoc\/70005147A.pdf . Accessed 22 Oct 2016","key":"30_CR35"},{"unstructured":"Microchip. Wi-Fi G Demo Board Users Guide (2013). http:\/\/ww1.microchip.com\/downloads\/en\/DeviceDoc\/50002147A.pdf . Accessed 22 Oct 2016","key":"30_CR36"},{"unstructured":"Microchip. PIC32MZ Embedded Connectivity (EC) Family (2015). http:\/\/ww1.microchip.com\/downloads\/en\/DeviceDoc\/60001191F.pdf . Accessed 22 Oct 2016","key":"30_CR37"},{"doi-asserted-by":"crossref","unstructured":"Miranda, P., Siekkinen, M., Waris, H.: TLS and energy consumption on a mobile device: a measurement study. In: 2011 IEEE Symposium on Computers and Communications (ISCC), pp. 983\u2013989. IEEE (2011)","key":"30_CR38","DOI":"10.1109\/ISCC.2011.5983970"},{"key":"30_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-642-39345-7_36","volume-title":"Human Aspects of Information Security, Privacy, and Trust","author":"NE Petroulakis","year":"2013","unstructured":"Petroulakis, N.E., Askoxylakis, I.G., Traganitis, A., Spanoudakis, G.: A privacy-level model of user-centric cyber-physical systems. In: Marinos, L., Askoxylakis, I. (eds.) HAS 2013. LNCS, vol. 8030, pp. 338\u2013347. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39345-7_36"},{"doi-asserted-by":"crossref","unstructured":"Ruff, M.: Evolution of local interconnect network (LIN) solutions. In: 2003 IEEE 58th Vehicular Technology Conference, VTC 2003-Fall, vol. 5, pp. 3382\u20133389. IEEE (2003)","key":"30_CR40","DOI":"10.1109\/VETECF.2003.1286317"},{"unstructured":"SAE J1962 Revised APR2002. Standard, SAE Vehicle Electrical and Electronics Diagnostics Systems Standards Committee, April 2002","key":"30_CR41"}],"container-title":["Lecture Notes in Computer Science","Information Security and Cryptology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-54705-3_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T03:23:40Z","timestamp":1568863420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-54705-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319547046","9783319547053"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-54705-3_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}