Uskuna obfuskatsiyasi - Hardware obfuscation - Wikipedia

Uskuna obfuskatsiyasi elektron texnik jihozlarning tavsifi yoki tuzilishi uni ataylab yashirish uchun o'zgartirilgan usuldir funktsionallik, bu teskari muhandislikni sezilarli darajada qiyinlashtiradi. Boshqacha qilib aytganda, apparat obfuskatsiyasi dizaynni shu qadar o'zgartiradiki, natijada olingan arxitektura raqibga tushunarsiz bo'lib qoladi.[1] Uskuna obfuskatsiyasi maqsad qilingan apparat platformasiga qarab ikki xil bo'lishi mumkin: (a) DSP yadrosi apparatining buzilishi - obfuskatsiyaning ushbu turi DSP yadrosining RTL yoki eshik darajasida aniq bo'lmagan arxitekturani aks ettiradigan noma'lum shaklga aylantirish uchun ma'lumotlar oqimi grafigi ko'rinishida ma'lum darajada yuqori darajadagi o'zgarishlarni amalga oshiradi. Ushbu turdagi obfuskatsiya "Strukturaviy obfuskatsiya '. DSP Core Obfuscation usulining yana bir turi "Funktsional obfuskatsiya ' - Bu kalit-bitlar yordamida DSP yadrosi funksiyasini blokirovka qilish uchun AES va IP yadrosi blokirovkalash bloklari (ILB) kombinatsiyasidan foydalanadi. To'g'ri kalitlarning ketma-ketligini qo'llamasdan, DSP yadrosi noto'g'ri chiqishni hosil qiladi yoki umuman chiqmaydi [2](b) Kombinatsion / ketma-ket apparat buzilishi - bu obfuskatsiya turi sxemaning o'zi eshik darajasidagi tuzilishini o'zgartiradi. [3][4]

Aslida, bu boshqacha raqamli suv belgisi (egalik raqamli tarkibning o'zida yashiringan bo'lsa) yoki qo'shimcha qurilmadan intellektual mulk (IP) suv belgisi [5] a) tavsifiga egalik to'g'risidagi ma'lumotlar kiritilgan va yashiringan joy elektron. Bundan tashqari, dizayn oqimida keng tarqalgan kriptografiyaga asoslangan IP-dan himoya qilish texnikasidan farq qiladi Dala dasturlashtiriladigan darvoza massivi.[6][7]

Ning ahamiyati apparat suv belgisi So'nggi yillarda zamonaviy IP-ga asoslangan loyihalashtirish uchun texnik vositalarni keng tatbiq etish tufayli o'sdi integral mikrosxemalar (IC) kabi chiplardagi tizim (SoCs). Uskuna IP-lari bilan bog'liq asosiy xavfsizlik muammolariga quyidagilar kiradi: (a) apparat intellektual mulk huquqining buzilishi SoC dizayni paytida; (b) teskari muhandislik ishlab chiqarilgan IClar yoki IC dizayn ma'lumotlar bazasi (yilda uydirma inshootlar) ishlab chiqarish uchun qalbaki yoki ICni klonlash; va (c) kiritish orqali IP-ning zararli modifikatsiyalari apparat troyan dalada funktsional sabab bo'lishi muvaffaqiyatsizlik. Uskuna obfuskatsiyasi ushbu tahdidlarni IP yoki chip darajasida minimallashtirishni maqsad qilib qo'ygan dushman dizaynning haqiqiy funksiyasini tushunish.

Uskuna obfuskatsiyasi texnikasini ikkita asosiy toifaga ajratish mumkin: (a) "passiv" usullar, bu to'g'ridan-to'g'ri funksionallikka ta'sir qilmaydi elektron tizim va (b) tizimning funksionalligini to'g'ridan-to'g'ri o'zgartiradigan "faol" usullar. Ko'pincha faol apparatni obfuskatsiya qilish texnikasi "kalitlarga asoslangan" bo'lib, buzilgan dizaynning normal ishlashi faqat bitta oldindan belgilangan tugmachani muvaffaqiyatli kiritilishi yoki kirishda maxfiy kalitlarning ketma-ketligi bilan ta'minlanishi mumkin; aks holda elektron noto'g'ri rejimda ishlaydigan rejimda ishlaydi. Buni yaxshi yashirilgan narsalarni kiritish orqali amalga oshirish mumkin cheklangan davlat mashinasi (FSM) kalitni qo'llash asosida funktsional rejimlarni boshqarish uchun sxemada. Kalitlarga asoslangan, faol apparat obfuskatsiyasi texnikasi printsipial jihatdan o'xshashdir shaxsiy kalit kriptografik uchun yondashuvlar ma `lumot himoya qilish, chunki xiralashgan dizayn uchun "kalitlarning ketma-ketligi" kriptografik kalit bilan o'xshash rol o'ynaydi. Texnikani apparat tavsifining turli darajalarida qo'llash mumkin, ya'ni eshik darajasida yoki registr uzatish darajasi (RTL) dizayni va shuning uchun yumshoq, qattiq va qattiq IP yadrolarini himoya qilish uchun foydalanish mumkin.[8] Obfuskatsiya shuningdek, ICda xavfsizlik xususiyatlarini samarali ravishda yashirishga yordam beradi va shu bilan ishlab chiqarish binolarida ICni qalbakilashtirish va klonlashdan himoya qiladi.[9]

Aksincha, passiv texnika a-dagi elektron tavsifini o'zgartiradi yumshoq shakl (masalan, sintaktik o'zgarishlar), shunday qilib odam o'quvchisiga elektronning funksiyasini tushunish qiyin bo'ladi. Ushbu yondashuvlar odatda satrlarni almashtirishni o'z ichiga oladi (shu jumladan o'zgaruvchining nomini o'zgartirish, izohlarni o'chirish va hk)[10] yoki tarkibiy o'zgarish apparat tavsiflash tili (HDL) elektronning tavsifi (shu jumladan tsiklni ochish, qayta nomlashni ro'yxatdan o'tkazing, va boshqalar.).[11] Ning katta kamchiligi passiv yondashuvlar ularning o'zgarmasligidir qora quti elektronning funktsionalligi va shuning uchun IP-ning potentsial ishlatilishiga to'sqinlik qila olmaydi qora quti dizaynda. Bundan tashqari, bunday passiv obfuskatsiyaning haqiqiy kuchi munozarali, chunki umuman olganda qora quti xiralashishi mavjud emas, hech bo'lmaganda ma'lum dasturlarni hisoblash dasturlari uchun matematik funktsiyalar.[12]

Uskuna suv belgisi apparat obfuskatsiyasi bilan birgalikda ishlatilishi mumkin. Xiralashgan dizaynda suv belgisi markalashning litsenziyasiz nusxalash harakatlaridan himoya qilishning ikkinchi yo'nalishini ta'minlashda samarali bo'lishi mumkin.[13]

Tarixiy kontekst

Hisoblashda apparatning obfuskatsiyasi, ehtimol, kelib chiqishi bilan bog'liq asosiy ramka CPUlar, asosan 1960 va 1970-yillarda IBM tomonidan ishlab chiqarilgan. IBM, raqobatbardosh ustunlikni saqlab qolish uchun, faqat asosiy kompyuterda yopiq manbali operatsion tizim tomonidan ishlatiladigan maxfiy opkodlarni amalga oshirdi.[iqtibos kerak ]

Shuningdek qarang

Adabiyotlar

  1. ^ Anirban Sengupta, Dipanjan Roy, Saraju Mohanti, Piter Korkoran "Algoritmik transformatsiyaga asoslangan konstruktiv obfuskatsiya orqali Idorada DSP dizaynini himoya qilish", IEEE maishiy texnika bo'yicha operatsiyalar, 2017 yil 4-noyabr, 4-son, nashr, 467 - 476
  2. ^ Anirban Sengupta, Deepak Kachave, Dipanjan Roy "Idoralar apparatida mustahkam qulflash orqali ishlatiladigan qayta ishlatiladigan IP yadrolarining arzon narxlardagi funktsional buzilishi", IEEE operatsiyalari integral mikrosxemalar va tizimlarni kompyuter yordamida loyihalashtirish (TCAD), 2018
  3. ^ Anirban Sengupta, Dipanjan Roy "Yuqori darajadagi transformatsiyaga asoslangan obfuskatsiya yordamida me'moriy sintez paytida intellektual mulk yadrosini himoya qilish" IET Electronics xatlari, jild: 53, nashr: 13 iyun, 2017 yil, 849 - 851-betlar.
  4. ^ M. Yasin, J. Rajendran, O. Sinanoglu va R. Karri. "Mantiqiy qulflash xavfsizligini oshirish to'g'risida". Integratsiyalangan mikrosxemalar va tizimlarni kompyuter yordamida loyihalash bo'yicha IEEE operatsiyalari 35, yo'q. 9 (2016): 1411-1424
  5. ^ E. Castillo, U. Meyer-Baese, A. Garcia, L. Parilla va A. Lloris: "IPP @ HDL: IP yadrolari uchun intellektual mulkni samarali himoya qilish sxemasi", VLSI bo'yicha IEEE Transaction, 16 (5), 2007.
  6. ^ Xilinx korporatsiyasi: "Xilinx IP-ni baholash", [1] Arxivlandi 2010-09-20 da Orqaga qaytish mashinasi, 2009.
  7. ^ M. Wirtlin va B. McMurtrey: "Applet va JHDL-dan foydalangan holda FPGA uchun IP-etkazib berish", Design Automation Conference (DAC), 2002 y.
  8. ^ R.S. Chakraborty va S. Bhunia: "kalitlarga asoslangan boshqarish va ma'lumotlar oqimining obfuskatsiyasidan foydalangan holda RTL apparati IP-himoyasi", Xalqaro konferentsiya juda katta miqyosda integratsiyalashgan dizayni (VLSID), 2010 yil.
  9. ^ J. Roy, F. Koushanfar va I.L. Markov: "EPIC: integral mikrosxemalar qaroqchiligini tugatish", Dizayn, avtomatlashtirish va Evropada sinov (DATE), 2008 yil.
  10. ^ Thicket Family Source of Obfuscators
  11. ^ M. Brzozovskiy va V. N. Yarmolik: "Obfuskatsiya VHDL tilida intellektual huquqlarni himoya qilish", Kompyuter axborot tizimlari va sanoat boshqaruvini qo'llash bo'yicha xalqaro konferentsiya (CISIM), 2007 y.
  12. ^ B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, SP Vadhan va K. Yang: "Dasturlarni buzish imkoniyati to'g'risida", Kriptologiya konferentsiyasi (CRYPTO), 2001 .
  13. ^ R.S. Chakraborty va S. Bhunia: "HARPOON: Uskunani himoya qilish uchun obfuskatsiyaga asoslangan SoC dizayni uslubiyati", IEEE Trans. Integral mikrosxemalar va tizimlarning SAPR (TCAD) to'g'risida, 2009 y.