{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T18:04:54Z","timestamp":1778609094807,"version":"3.51.4"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,4,12]],"date-time":"2016-04-12T00:00:00Z","timestamp":1460419200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["EURASIP J. on Info. Security"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1186\/s13635-016-0032-5","type":"journal-article","created":{"date-parts":[[2016,4,14]],"date-time":"2016-04-14T11:30:29Z","timestamp":1460633429000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Software control and intellectual property protection in cyber-physical systems"],"prefix":"10.1186","volume":"2016","author":[{"given":"Raphael","family":"C. S. Machado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davidson","family":"R. Boccardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vin\u00edcius G. Pereira de","family":"S\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jayme","family":"L. Szwarcfiter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,12]]},"reference":[{"key":"32_CR1","doi-asserted-by":"publisher","unstructured":"S Even, O Goldreich, A Lempel, A randomized protocol for signing contracts. Communications of the ACM. 28(6), 637\u2013647 (1985).","DOI":"10.1145\/3812.3818"},{"issue":"1","key":"32_CR2","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/18.50372","volume":"36","author":"M Ben-Or","year":"1990","unstructured":"M Ben-Or, O Goldreich, S Micali, RL Rivest, A fair protocol for signing contracts. IEEE Trans. Inf. Theory. 36(1), 40\u201346 (1990).","journal-title":"IEEE Trans. Inf. Theory"},{"key":"32_CR3","volume-title":"Applied Cryptography","author":"B Schneier","year":"1996","unstructured":"B Schneier, Applied Cryptography (Wiley, New York, 1996)."},{"key":"32_CR4","unstructured":"MO Rabin, How to exchange secrets by oblivious transfer. Technical Report TR-81, Aiken Computation Laboratory, Harvard University (1981)."},{"issue":"1","key":"32_CR5","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"s2-42","author":"AM Turing","year":"1937","unstructured":"AM Turing, On computable numbers with an application to the Entscheidungsproblem. Proc. London Math. Soc. s2-42(1), 230\u2013265 (1937).","journal-title":"Proc. London Math. Soc"},{"issue":"2","key":"32_CR6","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1090\/S0002-9947-1953-0053041-6","volume":"74","author":"HG Rice","year":"1953","unstructured":"HG Rice, Classes of recursively enumerable sets and their decision problems. Trans. Am. Math. Soc. 74(2), 358\u2013366 (1953).","journal-title":"Trans. Am. Math. Soc"},{"key":"32_CR7","unstructured":"CC Collberg, J Nagra, Surreptitious Software: Obfuscation, Watermarking, and Tamperproofing for Software Protection (Addison Wesley, 2010)."},{"issue":"4","key":"32_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"J Woodcock, PG Larsen, J Bicarregui, J Fitzgerald, Formal methods: practice and experience. ACM Comput. Surv. 41(4), 19\u201311936 (2009). doi: 10.1145\/1592434.1592436 .","journal-title":"ACM Comput. Surv"},{"issue":"5","key":"32_CR9","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/TSE.1983.235114","volume":"SE-9","author":"LL Beck","year":"1983","unstructured":"LL Beck, TE Perkins, A survey of software engineering practice: tools, methods, and results. Softw. Eng. IEEE Trans. SE-9(5), 541\u2013561 (1983). doi: 10.1109\/TSE.1983.235114 .","journal-title":"Softw. Eng. IEEE Trans"},{"issue":"4","key":"32_CR10","first-page":"24","volume":"21","author":"A Meneely","year":"2013","unstructured":"A Meneely, B Smith, L Williams, Validating software metrics: a spectrum of philosophies. ACM Trans. Softw. Eng. Methodol.21(4), 24\u201312428 (2013). doi: 10.1145\/2377656.2377661 .","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"32_CR11","unstructured":"M Canada, Specifications for the approval of software controlled electricity and gas metering devices, specifications relating to event loggers for electricity and gas metering devices Technical report, An Agency of Industry, Canada (2011)."},{"key":"32_CR12","unstructured":"Inmetro, Software requirements of smart energy meters. Technical report, 999, National Institute of Metrology, Quality and Technology (2012)."},{"key":"32_CR13","unstructured":"OIML, D31 general requirements of software controlled measuring 1001 instruments, international organization of legal metrology. Technical 1002 report, Organisation Internationale de M\u00e9trologie L\u00e9gale (2009)."},{"key":"32_CR14","unstructured":"Apple, Code Signing."},{"key":"32_CR15","unstructured":"Inmetro, Software requirements of payroll recorders. Technical report, 1007, National Institute of Metrology, Quality and Technology (2013)."},{"key":"32_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2508859.2516650","volume-title":"Proceedings of the 2013 ACM SIGSAC Conference on Computer & Communications Security. CCS \u201913","author":"F Armknecht","year":"2013","unstructured":"F Armknecht, A-R Sadeghi, S Schulz, C Wachsmann, in Proceedings of the 2013 ACM SIGSAC Conference on Computer & Communications Security. CCS \u201913. A security framework for the analysis and design of software attestation (ACMNew York, NY, USA, 2013), pp. 1\u201312, doi: 10.1145\/2508859.2516650 ."},{"key":"32_CR17","first-page":"244","volume-title":"Proceedings of the Conference on Design, Automation & Test in Europe. DATE \u201914","author":"A Francillon","year":"2014","unstructured":"A Francillon, Q Nguyen, KB Rasmussen, G Tsudik, in Proceedings of the Conference on Design, Automation & Test in Europe. DATE \u201914. A minimalist approach to remote attestation (European Design and Automation Association3001 Leuven, Belgium, Belgium, 2014), pp. 244\u201312446."},{"key":"32_CR18","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/2557547.2557569","volume-title":"Proceedings of the 4th ACM Conference on Data and Application Security and Privacy. CODASPY \u201914","author":"J Horsch","year":"2014","unstructured":"J Horsch, S Wessel, F Stumpf, C Eckert, in Proceedings of the 4th ACM Conference on Data and Application Security and Privacy. CODASPY \u201914. Sobtra: a software-based trust anchor for arm cortex application processors (ACMNew York, NY, USA, 2014), pp. 273\u2013280, doi: 10.1145\/2557547.2557569 ."},{"key":"32_CR19","first-page":"797","volume-title":"Proceedings of the 18th ACM Conference on Computer and Communications Security. CCS \u201911","author":"U Kocabas","year":"2011","unstructured":"U Kocabas, AR Sadeghi, C Wachsmann, S Schulz, in Proceedings of the 18th ACM Conference on Computer and Communications Security. CCS \u201911. Poster: Practical embedded remote attestation using physically unclonable functions (ACMNew York, NY, USA, 2011), pp. 797\u2013800, doi: 10.1145\/2046707.2093496 ."},{"key":"32_CR20","volume-title":"Design Automation Conference (DAC) 2014, Best Paper Candidate","author":"J Kong","year":"2014","unstructured":"J Kong, F Koushanfar, PK Pendyala, A-R Sadeghi, C Wachsmann, in Design Automation Conference (DAC) 2014, Best Paper Candidate. Pufatt: Embedded platform attestation based on novel processor-based pufs (ACMSan Francisco, 2014)."},{"key":"32_CR21","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1109\/SP.2012.45","volume-title":"Proceedings of the 2012 IEEE Symposium on Security and Privacy. SP \u201912","author":"X Kovah","year":"2012","unstructured":"X Kovah, C Kallenberg, C Weathers, A Herzog, M Albin, J Butterworth, in Proceedings of the 2012 IEEE Symposium on Security and Privacy. SP \u201912. New results for timing-based attestation (IEEE Computer SocietyWashington, DC, USA, 2012), pp. 239\u2013253, doi: 10.1109\/SP.2012.45 ."},{"key":"32_CR22","doi-asserted-by":"crossref","unstructured":"C Preschern, AJ Hormer, N Kajtazovic, C Kreiner, in Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference On. Software-based remote attestation for safety-critical systems, (2013), pp. 8\u201312, doi: 10.1109\/ICSTW.2013.7 .","DOI":"10.1109\/ICSTW.2013.7"},{"key":"32_CR23","unstructured":"W Bender, D Gruhl, N Morimoto, in Storage and Retrieval for Image and Video Databases (SPIE). Techniques for data hiding, (1995), pp. 164\u2013173."},{"key":"32_CR24","volume-title":"Digital Watermarking","author":"I Cox","year":"2002","unstructured":"I Cox, ML Miller, JA Bloom, Digital Watermarking (Morgan Kaufmann Publishers Inc, San Francisco, CA, USA, 2002)."},{"key":"32_CR25","doi-asserted-by":"crossref","unstructured":"MJ Atallah, V Raskin, M Crogan, C Hempelmann, F Kerschbaum, D Mohamed, S Naik, in Information Hiding. Lecture Notes in Computer Science, 2137, ed. by IS Moskowitz. Natural language watermarking: Design, analysis, and a proof-of-concept implementation (Springer, 2001), pp. 185\u2013199.","DOI":"10.1007\/3-540-45496-9_14"},{"key":"32_CR26","doi-asserted-by":"crossref","unstructured":"MJ Atallah, V Raskin, C Hempelmann, M Karahan, R Sion, U Topkara, KE Triezenberg, in Information Hiding. Lecture Notes in Computer Science, 2578, ed. by FAP Petitcolas. Natural language watermarking and tamperproofing (Springer, 2002), pp. 196\u2013212.","DOI":"10.1007\/3-540-36415-3_13"},{"key":"32_CR27","doi-asserted-by":"publisher","unstructured":"W Zhu, CD Thomborson, F-Y Wang, 3495, ed. by PB Kantor, G Muresan, FS Roberts, DD Zeng, F-Y Wang, H Chen, and RC Merkle. Proc. IEEE Int\u2019l Conference on Intelligence and Security Informatics. ISI\u201905 (Springer, 2005), pp. 454\u2013458.","DOI":"10.1007\/11427995_42"},{"key":"32_CR28","doi-asserted-by":"crossref","unstructured":"J Hamilton, S Danicic, \u201cA survey of static software watermarking\u201d, Internet Security (WorldCIS), 2011 World Congress on, London, 100\u2013107 (2011).","DOI":"10.1109\/WorldCIS17046.2011.5749891"},{"issue":"2","key":"32_CR29","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1057\/palgrave.jibs.8490911","volume":"31","author":"RL Ostergard","year":"2000","unstructured":"RL Ostergard, The measurement of intellectual property rights protection. J. Int. Business Stud. 31(2), 349\u2013360 (2000).","journal-title":"J. Int. Business Stud"},{"issue":"4","key":"32_CR30","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/49.668979","volume":"16","author":"S Craver","year":"1998","unstructured":"S Craver, ND Memon, B-L Yeo, MM Yeung, Resolving rightful ownerships with invisible watermarking techniques: limitations, attacks, and implications. IEEE J. Selected Areas Commun. 16(4), 573\u2013586 (1998).","journal-title":"IEEE J. Selected Areas Commun"},{"key":"32_CR31","doi-asserted-by":"crossref","unstructured":"A Sadeghi, A Adelsbach, Advanced techniques for dispute resolving and authorship proofs on digital works. Proc. SPIE 5020, Security and Watermarking of Multimedia Contents V (2003).","DOI":"10.1117\/12.477295"},{"key":"32_CR32","doi-asserted-by":"crossref","unstructured":"G Brassard, C Cr\u00e9peau, J-M Robert, in FOCS. Information theoretic reductions among disclosure problems (IEEE Computer Society, 1986), pp. 168\u2013173.","DOI":"10.1109\/SFCS.1986.26"},{"key":"32_CR33","doi-asserted-by":"crossref","unstructured":"C Cr\u00e9peau, in CRYPTO. Lecture Notes in Computer Science, 293, ed. by C Pomerance. Equivalence between two flavours of oblivious transfers (Springer, 1987), pp. 350\u2013354.","DOI":"10.1007\/3-540-48184-2_30"},{"key":"32_CR34","doi-asserted-by":"crossref","unstructured":"C Cr\u00e9peau, J Kilian, in CRYPTO. Lecture Notes in Computer Science, 403, ed. by S Goldwasser. Weakening security assumptions and oblivious transfer (abstract) (Springer, 1988), pp. 2\u20137.","DOI":"10.1007\/0-387-34799-2_1"},{"key":"32_CR35","doi-asserted-by":"crossref","unstructured":"M Bellare, S Micali, in Advances in Cryptology\u2013CRYPTO\u2019 89 Proceedings. Lecture Notes in Computer Science, 435, ed. by G Brassard. Non-interactive oblivious transfer and applications (Springer, 1990), pp. 547\u2013557, doi: 10.1007\/0-387-34805-0_48 .","DOI":"10.1007\/0-387-34805-0_48"},{"key":"32_CR36","doi-asserted-by":"crossref","unstructured":"L Bento, D Boccardo, R Machado, V de S\u016f, J Szwarcfiter, in Proceedings of Brazilian Symposium in Information and Computater Systems Security. SBSEG. A randomized graph-based scheme for software watermarking (SBC, 2014), pp. 30\u201341.","DOI":"10.5753\/sbseg.2014.20119"},{"key":"32_CR37","unstructured":"J Kilian, Uses of Randomness in Algorithms and Protocols. Ph. D. Thesis. Massachusetts Institute of Technology, Dept. of Mathematics (1989)."},{"key":"32_CR38","doi-asserted-by":"publisher","unstructured":"TJ Schaefer. The complexity of satisfiability problems. Proc. of the 10th Annual ACM Symposium on Theory of Computing, (1978), pp. 216\u2013226.","DOI":"10.1145\/800133.804350"},{"key":"32_CR39","doi-asserted-by":"crossref","unstructured":"GS Tseitin, in Automation of Reasoning. Symbolic Computation, ed. by J Siekmann, G Wrightson. On the complexity of derivation in propositional calculus (Springer, 1983), pp. 466\u2013483, doi: 10.1007\/978-3-642-81955-1_28 .","DOI":"10.1007\/978-3-642-81955-1_28"},{"key":"32_CR40","volume-title":"Complexity of Computer Computations","author":"RM Karp","year":"1972","unstructured":"RM Karp, in Complexity of Computer Computations, ed. by RE Miller, JW Thatcher. Reducibility among combinatorial problems (Plenum PressNew York, 1972)."},{"key":"32_CR41","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/22145.22178","volume-title":"Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing. STOC \u201985","author":"S Goldwasser","year":"1985","unstructured":"S Goldwasser, S Micali, C Rackoff, in Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing. STOC \u201985. The knowledge complexity of interactive proof-systems (ACMNew York, NY, USA, 1985), pp. 291\u2013304, doi: 10.1145\/22145.22178 ."}],"container-title":["EURASIP Journal on Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13635-016-0032-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13635-016-0032-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13635-016-0032-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13635-016-0032-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,17]],"date-time":"2023-08-17T16:55:52Z","timestamp":1692291352000},"score":1,"resource":{"primary":{"URL":"https:\/\/jis-eurasipjournals.springeropen.com\/articles\/10.1186\/s13635-016-0032-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,12]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["32"],"URL":"https:\/\/doi.org\/10.1186\/s13635-016-0032-5","relation":{},"ISSN":["1687-417X"],"issn-type":[{"value":"1687-417X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,12]]},"article-number":"8"}}