{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:26:30Z","timestamp":1725909990684},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319675305"},{"type":"electronic","value":"9783319675312"}],"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-67531-2_28","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T05:33:37Z","timestamp":1504589617000},"page":"416-423","source":"Crossref","is-referenced-by-count":1,"title":["Trusted Mission Operation - Concept and Implementation"],"prefix":"10.1007","author":[{"given":"Aaron","family":"Paulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha","family":"Pal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shane S.","family":"Clark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyle","family":"Usbeck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Hurley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"issue":"3","key":"28_CR1","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1177\/0018720811406726","volume":"53","author":"JB Lyons","year":"2011","unstructured":"Lyons, J.B., Stokes, C.K., Eschleman, K.J., Alarcon, G.M., Barelka, A.: Trustworthiness and IT suspicion: an evaluation of the nomological network. J. Hum. Factors 53(3), 219\u2013229 (2011)","journal-title":"J. Hum. Factors"},{"issue":"4","key":"28_CR2","doi-asserted-by":"crossref","first-page":"909","DOI":"10.1037\/0021-9010.92.4.909","volume":"92","author":"JA Colquitt","year":"2007","unstructured":"Colquitt, J.A., Scott, B.A., LePine, J.A.: Trust, trustworthiness, and trust propensity a meta-analytic test of their unique relationships with risk taking and job performance. J. Appl. Psychol. 92(4), 909\u2013927 (2007)","journal-title":"J. Appl. Psychol."},{"issue":"3","key":"28_CR3","doi-asserted-by":"crossref","first-page":"709","DOI":"10.5465\/amr.1995.9508080335","volume":"20","author":"RC Mayer","year":"1995","unstructured":"Mayer, R.C., Davis, J.H., Schoorman, F.D.: An integrative model of organizational trust. Acad. Manag. Rev. 20(3), 709\u2013734 (1995)","journal-title":"Acad. Manag. Rev."},{"issue":"1","key":"28_CR4","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1037\/0021-9010.84.1.123","volume":"84","author":"RC Mayer","year":"1999","unstructured":"Mayer, R.C., Davis, J.H.: The effects of the performance appraisal system on trust for management: a field quasi-experiment. J. Appl. Psychol. 84(1), 123\u2013136 (1999)","journal-title":"J. Appl. Psychol."},{"issue":"1","key":"28_CR5","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1518\/hfes.46.1.50.30392","volume":"46","author":"JD Lee","year":"2004","unstructured":"Lee, J.D., See, K.A.: Trust in automation: designing for appropriate reliance. Hum. Factors 46(1), 50\u201380 (2004)","journal-title":"Hum. Factors"},{"key":"28_CR6","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1080\/14639220500337708","volume":"8","author":"P Madhavan","year":"2007","unstructured":"Madhavan, P., Wiegmann, D.A.: Similarities and differences between human-human and human-automation trust: an integrated review. Theoret. Issues Ergon. Sci. 8, 277\u2013301 (2007)","journal-title":"Theoret. Issues Ergon. Sci."},{"key":"28_CR7","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1518\/001872097778543886","volume":"39","author":"R Parasuraman","year":"1997","unstructured":"Parasuraman, R., Riley, V.: Humans and automation: use, misuse, disuse, and abuse. Hum. Factors 39, 230\u2013253 (1997)","journal-title":"Hum. Factors"},{"key":"28_CR8","first-page":"17","volume":"46","author":"JD Lee","year":"1994","unstructured":"Lee, J.D., Moray, N.: Trust, self-confidence, and operators adaptation to automation. Int. J. Hum Comput Stud. 46, 17\u201330 (1994)","journal-title":"Int. J. Hum Comput Stud."},{"key":"28_CR9","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1080\/00140139608964474","volume":"39","author":"BM Muir","year":"1996","unstructured":"Muir, B.M., Moray, N.: Trust in automation: part II. Experimental studies of trust and human intervention in a process control simulation. Ergonomics 39, 429\u2013460 (1996)","journal-title":"Ergonomics"},{"key":"28_CR10","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1207\/S15327566IJCE0401_04","volume":"4","author":"J Jian","year":"2000","unstructured":"Jian, J., Bisantz, A.M., Drury, C.G.: Foundations for an empirically determined scale of trust in automated systems. Int. J. Cogn. Ergon. 4, 53\u201371 (2000)","journal-title":"Int. J. Cogn. Ergon."},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Sheridan, T.B.: Trustworthiness of command and control systems. In: Proceedings of the IFAC\/IFIP\/IEA\/IFORS Conference on Man Machine Systems, Pergamon, Elmsford (1988)","DOI":"10.1016\/S1474-6670(17)53945-2"},{"key":"28_CR12","doi-asserted-by":"crossref","first-page":"438","DOI":"10.5465\/amr.1998.926620","volume":"23","author":"RJ Lewicki","year":"1998","unstructured":"Lewicki, R.J., McAllister, D.J., Bies, R.J.: Trust and distrust: new relationships and realities. Acad. Manag. Rev. 23, 438\u2013458 (1998)","journal-title":"Acad. Manag. Rev."},{"key":"28_CR13","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1080\/01463379109369809","volume":"39","author":"TR Levine","year":"1991","unstructured":"Levine, T.R., McCornack, S.A.: The dark side of trust: conceptualizing and measuring types of communicative suspicion. Commun. Q. 39, 325\u2013340 (1991)","journal-title":"Commun. Q."},{"key":"28_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511974120","volume-title":"Quantitative Risk Assessment: The Scientific Platform","author":"T Aven","year":"2011","unstructured":"Aven, T.: Quantitative Risk Assessment: The Scientific Platform. Cambridge University Press, Cambridge (2011)"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Highnam, K., Angstadt, K., Leach, K., Weimer, W., Paulos, A., Hurley, P.: An uncrewed aerial vehicle attack scenario and trustworthy repair architecture. In: Proceedings of the 46th International Conference on Dependable Systems and Networks Workshop (DSN-W), pp. 222\u2013225 (2016)","DOI":"10.1109\/DSN-W.2016.63"},{"key":"28_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-45547-7_3","volume-title":"Trust in Cyber-societies","author":"D Harrison McKnight","year":"2001","unstructured":"Harrison McKnight, D., Chervany, N.L.: Trust and distrust definitions: one bite at a time. In: Falcone, R., Singh, M., Tan, Y.-H. (eds.) Trust in Cyber-societies. LNCS, vol. 2246, pp. 27\u201354. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45547-7_3"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Menghi, C.: Verifying incomplete and evolving specifications. In: Proceedings of the 36th International Conference on Software Engineering (ICSE), pp. 670\u2013673 (2014)","DOI":"10.1145\/2591062.2591090"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Ahmed, I., Gopinath, R., Brindescu, C., Groce, A., Jensen, C.: Can testedness be effectively measured? In: Proceedings of the 24th International Symposium on Foundations of Software Engineering (FSE), pp. 547\u2013558 (2016)","DOI":"10.1145\/2950290.2950324"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Paar, C.: Hardware trojans and other threats against embedded systems. In: Asia Conference on Computer and Communications Security (Asia CCS) (2017)","DOI":"10.1145\/3052973.3053885"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Costello, P.: Identifying and exploiting vulnerabilities in civilian unmanned aerial vehicle systems and evaluating and countering potential threats against the United States Airspace. In: ACM SIGCSE Technical Symposium on Computer Science Education, pp. 761\u2013762 (2017)","DOI":"10.1145\/3017680.3022449"},{"key":"28_CR21","first-page":"14","volume":"4","author":"M Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. ACM Trans. Auton. Adapt. Syst. (TAAS) 4, 14 (2009)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"Multari, N., Singhal, A., Manz, D., Cowles, R., Cuellar, J., Oehmen, C., Shannon, G.: Testing, evaluation for active, resilient cyber systems panel verification of active, resilient systems: practical or utopian? In: Workshop on Automated Decision Making for Active Cyber Defense (SafeConfig) (2016)","DOI":"10.1145\/2994475.2994486"},{"key":"28_CR23","unstructured":"Kamkar, S.: SkyJack: Autonomous Drone Hacking. http:\/\/samy.pl\/skyjack\/ . Accessed 18 Jan 2017"},{"key":"28_CR24","unstructured":"MalDrone - First Ever Backdoor for Drones. http:\/\/thehackernews.com\/2015\/01\/MalDrone-backdoor-drone-malware.html . Accessed 18 Jan 2017"},{"key":"28_CR25","unstructured":"Language-theoretic Security. http:\/\/langsec.org\/ . Accessed 18 Jan 2017"},{"key":"28_CR26","unstructured":"Waypoint Protocol - QgroundControl GCS. http:\/\/www.qgroundcontrol.org\/mavlink\/waypointprotocol . Accessed 18 Jan 2017"},{"key":"28_CR27","unstructured":"GitHub - mavlink\/mavlink: MAVLink micro air vehicle marshalling\/communication library. https:\/\/github.com\/mavlink\/mavlink\/ . Accessed 18 Jan 2017"},{"key":"28_CR28","unstructured":"GitHub - ArduPilot\/ardupilot: ArduPlane, ArduCopter, ArduRover source. https:\/\/github.com\/ArduPilot\/ardupilot\/ . Accessed 18 Jan 2017"},{"key":"28_CR29","unstructured":"Nuttx Real-Time Operating System. http:\/\/nuttx.org . Accessed 18 Jan 2017"},{"key":"28_CR30","unstructured":"Home - blacksphere\/blackmagic Wiki - GitHub. https:\/\/github.com\/blacksphere\/blackmagic\/wiki . Accessed 18 Jan 2017"},{"key":"28_CR31","unstructured":"Pixhawk Flight Controller Hardware Project. https:\/\/pixhawk.org . Accessed 18 Jan 2017"},{"key":"28_CR32","unstructured":"Organizational Information Bylaws of the Academy of Model Aeronautics, Incorporated. www.modelaircraft.org\/files\/001bylaws.pdf . Accessed 18 Jan 2017"},{"key":"28_CR33","unstructured":"Unmanned Aircraft Systems (UAS) Regulations and Policies. https:\/\/www.faa.gov\/uas\/resources\/uas_regulations_policy\/ . Accessed 18 Jan 2017"},{"key":"28_CR34","unstructured":"RCGroups.com: The ABCs of Radio Control - Aircraft, Boats, and Cars! https:\/\/www.rcgroups.com\/forums\/index.php . Accessed 18 Jan 2017"},{"key":"28_CR35","unstructured":"Flite Test \u2014 RC Planes, Quadcopters, Videos, Articles & More. www.flitetest.com . Accessed 18 Jan 2017"},{"key":"28_CR36","unstructured":"GitHub - ArduPilot\/MAVProxy. https:\/\/github.com\/ArduPilot\/MAVProxy . Accessed 18 Jan 2017"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67531-2_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T00:19:52Z","timestamp":1570061992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67531-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675305","9783319675312"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67531-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}