{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T15:26:17Z","timestamp":1725981977774},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319935232"},{"type":"electronic","value":"9783319935249"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-93524-9_1","type":"book-chapter","created":{"date-parts":[[2018,6,20]],"date-time":"2018-06-20T02:37:00Z","timestamp":1529462220000},"page":"3-24","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Secure and Trusted Channel Protocol for UAVs Fleets"],"prefix":"10.1007","author":[{"given":"Raja Naeem","family":"Akram","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Markantonakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Mayes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Fran\u00e7ois","family":"Bonnefoi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amina","family":"Cherif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damien","family":"Sauveron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serge","family":"Chaumette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,21]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Akram, R.N., Bonnefoi, P.F., Chaumette, S., Markantonakis, K., Sauveron, D.: Secure autonomous UAVs fleets by using new specific embedded secure elements. In: 2016 IEEE TrustCom\/BigDataSE\/ISPA, pp. 606\u2013614, August 2016","DOI":"10.1109\/TrustCom.2016.0116"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: A paradigm shift in smart card ownership model. In: 2010 International Conference on Computational Science and Its Applications, pp. 191\u2013200, March 2010","DOI":"10.1109\/ICCSA.2010.52"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: Trusted platform module for smart cards. In: 2014 6th International Conference on New Technologies, Mobility and Security (NTMS), pp. 1\u20135, March 2014","DOI":"10.1109\/NTMS.2014.6814058"},{"key":"1_CR4","unstructured":"Smart Cards; Smart Card Platform Requirements Stage 1 (Release 9), European Telecommunications Standards Institute (ETSI), France, Technical Specification ETSI TS 102 412 (V9.1.0), June 2009. http:\/\/www.etsi.org\/deliver\/etsi_ts\/102400_102499\/102412\/09.01.00_60\/ts_102412v090100p.pdf"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Gasmi, Y., Sadeghi, A.-R., Stewin, P., Unger, M., Asokan, N.: Beyond secure channels. In: Proceedings of the 2007 ACM Workshop on Scalable Trusted Computing, STC 2007, pp. 30\u201340. ACM, New York (2007)","DOI":"10.1145\/1314354.1314363"},{"key":"1_CR6","unstructured":"Trusted Platform Module Main Specification, Trusted Computing Group, Technical report (2011)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Zhou, L., Zhang, Z.: Trusted channels with password-based authentication and TPM-based attestation. In: International Conference on Communications and Mobile Computing, vol. 1, pp. 223\u2013227 (2010)","DOI":"10.1109\/CMC.2010.232"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Armknecht, F., Gasmi, Y., Sadeghi, A.-R., Stewin, P., Unger, M., Ramunno, G., Vernizzi, D.: An efficient implementation of trusted channels based on OpenSSL. In: Proceedings of the 3rd ACM Workshop on Scalable Trusted Computing, ser. STC 2008, pp. 41\u201350. ACM, New York (2008)","DOI":"10.1145\/1456455.1456462"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: A privacy preserving application acquisition protocol. In: Min, G., Marmol, F.G. (eds.) 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom 2012), Liverpool, United Kingdom. IEEE Computer Society, June 2012","DOI":"10.1109\/TrustCom.2012.47"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Blazy, O., Bonnefoi, P.-F., Conchon, E., Sauveron, D., Akram, R.N., Markantonakis, K., Mayes, K., Chaumette, S.: An efficient protocol for UAS security. In: 2017 Integrated Communications Navigation and Surveillance (ICNS) (2017)","DOI":"10.1109\/ICNSURV.2017.8011987"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Steinmann, J.A., Babiceanu, R.F., Seker, R.: UAS security: encryption key negotiation for partitioned data. In: 2016 Integrated Communications Navigation and Surveillance (ICNS), pp. 1E4-1\u20131E4-7, April 2016","DOI":"10.1109\/ICNSURV.2016.7486326"},{"issue":"1","key":"1_CR12","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1007\/s10846-016-0356-x","volume":"84","author":"DF Pigatto","year":"2016","unstructured":"Pigatto, D.F., Gon\u00e7alves, L., Roberto, G.F., Rodrigues Filho, J.F., Floro da Silva, N.B., Pinto, A.R., Lucas Jaquie Castelo Branco, K.R.: The HAMSTER data communication architecture for unmanned aerial, ground and aquatic systems. J. Intell. Robot. Syst. 84(1), 705\u2013723 (2016). https:\/\/doi.org\/10.1007\/s10846-016-0356-x","journal-title":"J. Intell. Robot. Syst."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Maxa, J.A., Mahmoud, M.S.B., Larrieu, N.: Extended verification of secure UAANET routing protocol. In: 2016 IEEE\/AIAA 35th Digital Avionics Systems Conference (DASC), pp. 1\u201316, September 2016","DOI":"10.1109\/DASC.2016.7777970"},{"key":"1_CR14","doi-asserted-by":"publisher","unstructured":"Won, J., Seo, S.-H., Bertino, E.: A secure communication protocol for drones and smart objects. In: Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security, ser. ASIA CCS 2015, pp. 249\u2013260. ACM, New York (2015). https:\/\/doi.org\/10.1145\/2714576.2714616","DOI":"10.1145\/2714576.2714616"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Dierks, T., Rescorla, E.: RFC 5246 - The Transport Layer Security (TLS) Protocol Version 1.2, Technical report, August 2008","DOI":"10.17487\/rfc5246"},{"issue":"2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00124891","volume":"2","author":"W Diffie","year":"1992","unstructured":"Diffie, W., van Oorschot, P.C., Wiener, M.J.: Authentication and authenticated key exchanges. Des. Codes Crypt. 2(2), 107\u2013125 (1992)","journal-title":"Des. Codes Crypt."},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/98.295357","volume":"1","author":"A Aziz","year":"1994","unstructured":"Aziz, A., Diffie, W.: Privacy and authentication for wireless local area networks. IEEE Pers. Commun. 1, 25\u201331 (1994)","journal-title":"IEEE Pers. Commun."},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BFb0055870","volume-title":"Computer Security \u2014 ESORICS 98","author":"G Horn","year":"1998","unstructured":"Horn, G., Preneel, B.: Authentication and payment in future mobile systems. In: Quisquater, J.-J., Deswarte, Y., Meadows, C., Gollmann, D. (eds.) ESORICS 1998. LNCS, vol. 1485, pp. 277\u2013293. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0055870"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/996943.996946","volume":"7","author":"W Aiello","year":"2004","unstructured":"Aiello, W., Bellovin, S.M., Blaze, M., Canetti, R., Ioannidis, J., Keromytis, A.D., Reingold, O.: Just fast keying: key agreement in a hostile internet. ACM Trans. Inf. Syst. Secur. 7, 242\u2013273 (2004)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"1_CR20","unstructured":"Remote Application Management over HTTP, Card Specification v 2.2 - Amendment B. GlobalPlatform Specification, September 2006"},{"key":"1_CR21","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/0-387-24486-7_6","volume-title":"Communications and Multimedia Security","author":"K Markantonakis","year":"2005","unstructured":"Markantonakis, K., Mayes, K.: A secure channel protocol for multi-application smart cards based on public key cryptography. In: Chadwick, D., Preneel, B. (eds.) CMS 2004. ITIFIP, vol. 175, pp. 79\u201395. Springer, Boston, MA (2005). https:\/\/doi.org\/10.1007\/0-387-24486-7_6"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11733447_1","volume-title":"Smart Card Research and Advanced Applications","author":"WG Sirett","year":"2006","unstructured":"Sirett, W.G., MacDonald, J.A., Mayes, K., Markantonakis, K.: Design, installation and execution of a security agent for mobile stations. In: Domingo-Ferrer, J., Posegga, J., Schreckling, D. (eds.) CARDIS 2006. LNCS, vol. 3928, pp. 1\u201315. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11733447_1"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/BFb0024447","volume-title":"Crytography and Coding","author":"S Blake-Wilson","year":"1997","unstructured":"Blake-Wilson, S., Johnson, D., Menezes, A.: Key agreement protocols and their security analysis. In: Darnell, M. (ed.) Cryptography and Coding 1997. LNCS, vol. 1355, pp. 30\u201345. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0024447"},{"issue":"10","key":"1_CR24","doi-asserted-by":"publisher","first-page":"980","DOI":"10.1049\/el:19980686","volume":"34","author":"C Mitchell","year":"1998","unstructured":"Mitchell, C., Ward, M., Wilson, P.: Key control in key agreement protocols. Electron. Lett. 34(10), 980\u2013981 (1998)","journal-title":"Electron. Lett."},{"key":"1_CR25","doi-asserted-by":"publisher","DOI":"10.1201\/9781439821916","volume-title":"Handbook of Applied Cryptography","author":"AJ Menezes","year":"1996","unstructured":"Menezes, A.J., van Oorschot, P.C., Vanstone, S.A.: Handbook of Applied Cryptography. CRC, Boca Raton (1996)"},{"key":"1_CR26","unstructured":"Furlani, C.: FIPS 186\u20133: Digital Signature Standard (DSS). National Institute of Standards and Technology (NIST) Std., June 2009. http:\/\/csrc.nist.gov\/publications\/fips\/fips186-3\/fips_186-3.pdf"},{"key":"1_CR27","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-15257-3_15","volume-title":"Security and Privacy \u2013 Silver Linings in the Cloud","author":"RN Akram","year":"2010","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: A dynamic and ubiquitous smart card security assurance and validation mechanism. In: Rannenberg, K., Varadharajan, V., Weber, C. (eds.) SEC 2010. IAICT, vol. 330, pp. 161\u2013172. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15257-3_15"},{"key":"1_CR28","doi-asserted-by":"publisher","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, 53\u201384 (1998)","journal-title":"J. Comput. Secur."},{"issue":"8","key":"1_CR29","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"1_CR30","volume-title":"The Modelling and Analysis of Security Protocols: The CSP Approach","author":"P Ryan","year":"2000","unstructured":"Ryan, P., Schneider, S.: The Modelling and Analysis of Security Protocols: The CSP Approach. Addison-Wesley Professional, Boston (2000)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A Armando","year":"2005","unstructured":"Armando, A., et al.: The AVISPA tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 281\u2013285. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11513988_27"}],"container-title":["Lecture Notes in Computer Science","Information Security Theory and Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93524-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,19]],"date-time":"2019-10-19T14:26:10Z","timestamp":1571495170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-93524-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319935232","9783319935249"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93524-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}