{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T04:35:09Z","timestamp":1781238909904,"version":"3.54.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319238197","type":"print"},{"value":"9783319238203","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23820-3_15","type":"book-chapter","created":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T14:21:39Z","timestamp":1442672499000},"page":"233-249","source":"Crossref","is-referenced-by-count":57,"title":["R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems"],"prefix":"10.1007","author":[{"given":"Johann","family":"Schumann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrick","family":"Moosbrugger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kristin Y.","family":"Rozier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"key":"15_CR1","unstructured":"Adapteva: The Parallella Board. https:\/\/www.parallella.org\/board"},{"key":"15_CR2","unstructured":"Ahmed, A., Lisitsa, A., Dixon, C.: TeStID: a high performance temporal intrusion detection system. In: Proceedings of the ICIMP 2013, pp. 20\u201326 (2013)"},{"key":"15_CR3","unstructured":"APM:Plane, Open Source Fixed-Wing Aircraft UAV. http:\/\/plane.ardupilot.com"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Bilge, L., Dumitras, T.: Before we knew it: an empirical study of zero-day attacks in the real world. In: Proceedings of the CCS 2012, pp. 833\u2013844 (2012)","DOI":"10.1145\/2382196.2382284"},{"key":"15_CR5","unstructured":"Bushnell, D., Denney, E., Enomoto, F., Pai, G., Schumann, J.: Preliminary recommendations for the collection, storage, and analysis of UAS safety data. Technical report NASA\/TM-2013-216624, NASA Ames Research Center (2013)"},{"key":"15_CR6","unstructured":"Eulich, W.: Did Iran just down a US drone by \u2018spoofing\u2019? Christian Science Monitor (2012). http:\/\/www.csmonitor.com\/World\/Security-Watch\/terrorism-security\/2012\/1204\/Did-Iran-just-down-a-US-drone-by-spoofing-video"},{"key":"15_CR7","unstructured":"GAO: Air Traffic Control: FAA Needs a More Comprehensive Approach to Address Cybersecurity As Agency Transitions to NextGen. Technical report GAO-15-370, United States Government Accountability Office (2015). http:\/\/www.gao.gov\/assets\/670\/669627.pdf"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Geist, J., Rozier, K.Y., Schumann, J.: Runtime observer pairs and Bayesian network reasoners on-board FPGAs: flight-certifiable system health management for embedded systems. In: Proceedings of the RV 2014, pp. 215\u2013230 (2014)","DOI":"10.1007\/978-3-319-11164-3_18"},{"key":"15_CR9","unstructured":"Humphreys, T.: Statement on the Vulnerability of Civil Unmanned Aerial Vehicles and Other Systems to Civil GPS Spoofing. University of Texas at Austin (2012)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Javaid, A.Y., Sun, W., Devabhaktuni, V.K., Alam, M.: Cyber security threat analysis and modeling of an unmanned aerial vehicle system. In: Proceedings of the HST 2012, pp. 585\u2013590. IEEE (2012)","DOI":"10.1109\/THS.2012.6459914"},{"key":"15_CR11","unstructured":"JSBSim: Open Source Flight Dynamics Model. http:\/\/jsbsim.sourceforge.net"},{"key":"15_CR12","unstructured":"Karimi, N.: Iran Drone Capture Claim: State TV Airs Images Allegedly Extracted From U.S. Aircraft (video). The World Post (2013). http:\/\/www.huffingtonpost.com\/2013\/02\/07\/iran-drone-capture-claim_n_2636745.html"},{"issue":"4","key":"15_CR13","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1002\/rob.21513","volume":"31","author":"AJ Kerns","year":"2014","unstructured":"Kerns, A.J., Shepard, D.P., Bhatti, J.A., Humphreys, T.E.: Unmanned aircraft capture and control via GPS spoofing. J. Field Robot. 31(4), 617\u2013636 (2014)","journal-title":"J. Field Robot."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Kim, A., Wampler, B., Goppert, J., Hwang, I., Aldridge, H.: Cyber attack vulnerabilities analysis for unmanned aerial vehicles. Infotech@Aerospace (2012)","DOI":"10.2514\/6.2012-2438"},{"key":"15_CR15","unstructured":"Lu, H., Forin, A.: The Design and Implementation of P2V, An Architecture for Zero-Overhead Online Verification of Software Programs. MSR-TR-2007-99, Microsoft Research (2007). http:\/\/research.microsoft.com\/apps\/pubs\/default.aspx?id=70470"},{"key":"15_CR16","unstructured":"MAVLink: Micro Air Vehicle Protocol. https:\/\/github.com\/mavlink"},{"key":"15_CR17","unstructured":"MAVProxy: A UAV Ground Station Software Package for MAVLink Based Systems. http:\/\/tridge.github.io\/MAVProxy"},{"issue":"5","key":"15_CR18","doi-asserted-by":"publisher","first-page":"874","DOI":"10.1109\/TSMCA.2010.2052037","volume":"40","author":"OJ Mengshoel","year":"2010","unstructured":"Mengshoel, O.J., Chavira, M., Cascio, K., Poll, S., Darwiche, A., Uckun, S.: Probabilistic model-based diagnosis: an electrical power system case study. IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum. 40(5), 874\u2013885 (2010)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum."},{"issue":"3","key":"15_CR19","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10009-011-0198-6","volume":"14","author":"PO Meredith","year":"2012","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Ro\u015fu, G.: An overview of the MOP runtime verification framework. Int. J. Softw. Tools Technol. Transfer 14(3), 249\u2013289 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-540-30232-2_23","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"P Naldurg","year":"2004","unstructured":"Naldurg, P., Sen, K., Thati, P.: A temporal logic based framework for intrusion detection. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 359\u2013376. Springer, Heidelberg (2004)"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/11513988_28","volume-title":"Computer Aided Verification","author":"J Olivain","year":"2005","unstructured":"Olivain, J., Goubault-Larrecq, J.: The Orchids intrusion detection tool. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 286\u2013290. Springer, Heidelberg (2005)"},{"key":"15_CR22","unstructured":"Pearl, J.: A constraint propagation approach to probabilistic reasoning. In: Proceedings of the UAI, pp. 31\u201342. AUAI Press (1985)"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Pellizzoni, R., Meredith, P., Caccamo, M., Rosu, G.: Hardware runtime monitoring for dependable COTS-based real-time embedded systems. In: RTSS, pp. 481\u2013491 (2008)","DOI":"10.1109\/RTSS.2008.43"},{"key":"15_CR24","unstructured":"Perry, S.: Subcommittee hearing: unmanned aerial system threats: exploring security implications and mitigation technologies. Committee on Homeland Security (2015). http:\/\/homeland.house.gov\/hearing\/subcommittee-hearing-unmanned-aerial-system-threats-exploring-security-implications-and"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-54862-8_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Reinbacher","year":"2014","unstructured":"Reinbacher, T., Rozier, K.Y., Schumann, J.: Temporal-logic based runtime observer pairs for system health management of real-time systems. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 357\u2013372. Springer, Heidelberg (2014)"},{"issue":"2","key":"15_CR26","first-page":"1","volume":"9","author":"J Schumann","year":"2013","unstructured":"Schumann, J., Mbaya, T., Mengshoel, O.J., Pipatsrisawat, K., Srivastava, A., Choi, A., Darwiche, A.: Software health management with Bayesian networks. Innovations Syst. Softw. Eng. 9(2), 1\u201322 (2013)","journal-title":"Innovations Syst. Softw. Eng."},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Schumann, J., Rozier, K.Y., Reinbacher, T., Mengshoel, O.J., Mbaya, T., Ippolito, C.: Towards real-time, on-board, hardware-supported sensor and software health management for unmanned aerial systems. In: Proceedings of the PHM 2013, pp. 381\u2013401 (2013)","DOI":"10.36001\/phmconf.2013.v5i1.2275"},{"issue":"1","key":"15_CR28","first-page":"1","volume":"6","author":"J Schumann","year":"2015","unstructured":"Schumann, J., Rozier, K.Y., Reinbacher, T., Mengshoel, O.J., Mbaya, T., Ippolito, C.: Towards real-time, on-board, hardware-supported sensor and software health management for unmanned aerial systems. Int. J. Prognostics Health Manage. 6(1), 1\u201327 (2015)","journal-title":"Int. J. Prognostics Health Manage."},{"key":"15_CR29","unstructured":"Shachtman, N., Axe, D.: Most U.S. drones openly broadcast secret video feeds. Wired (2012). http:\/\/www.wired.com\/2012\/10\/hack-proof-drone\/"},{"issue":"8","key":"15_CR30","first-page":"30","volume":"23","author":"DP Shepard","year":"2012","unstructured":"Shepard, D.P., Bhatti, J.A., Humphreys, T.E.: Drone hack. GPS World 23(8), 30\u201333 (2012)","journal-title":"GPS World"},{"key":"15_CR31","unstructured":"USAF: Aircraft Accident Investigation: Rq-1l, s\/n 96\u20133023. AIB Class A Aerospace Mishaps (2000). http:\/\/usaf.aib.law.af.mil\/ExecSum2000\/RQ-1L_Nellis_14Sep00.pdf"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23820-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T07:00:39Z","timestamp":1718089239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23820-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319238197","9783319238203"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23820-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}