 |
Erős kód obfuszkációs algoritmusok és alkalmazásaik
|
súgó 
nyomtatás 
|
Ezen az oldalon az NKFI Elektronikus Pályázatkezelő Rendszerében nyilvánosságra hozott projektjeit tekintheti meg.
vissza »
|
| |
Projekt adatai |
|
|
| azonosító |
116675 |
| típus |
K |
| Vezető kutató |
Buttyán Levente |
| magyar cím |
Erős kód obfuszkációs algoritmusok és alkalmazásaik |
| Angol cím |
Strong code obfuscation algorithms and their applications |
| magyar kulcsszavak |
VBB obfuszkáció, iO obfuszkáció, statikus program analízis, attribútum alapú rejtjelezés, bizonyítható biztonság |
| angol kulcsszavak |
VVB obfuscation, iO obfuscation, static program analysis, attribute based encryption, provable security |
| megadott besorolás |
| Informatika (Műszaki és Természettudományok Kollégiuma) | 100 % | | Ortelius tudományág: Informatika |
|
| zsűri |
Informatikai–Villamosmérnöki |
| Kutatóhely |
Hálózati Rendszerek és Szolgáltatások Tanszék (Budapesti Műszaki és Gazdaságtudományi Egyetem) |
| résztvevők |
Horváth Máté
Vajda István
|
| projekt kezdete |
2015-09-01 |
| projekt vége |
2019-12-31 |
| aktuális összeg (MFt) |
28.256 |
| FTE (kutatóév egyenérték) |
5.22 |
| állapot |
lezárult projekt |
magyar összefoglaló A kutatás összefoglalója, célkitűzései szakemberek számára
Itt írja le a kutatás fő célkitűzéseit a témában jártas szakember számára.
Az obfuszkászkáció egy lehetséges formális megközelítése a "megkülönböztethetetlenség obfuszkáció" (iO). Informálisan egy obfuszkátort akkor nevezünk iO-nak, ha 1) megőrzi a program eredeti funkcionalitását, 2) a futásidő az eredeti polinomja marad, 3) két közel azonos méretű, funkcionalitásukban ekvivalens program obfuszkált változata egymástól megkülönböztethetetlen lesz. Garg et al. [GGH+13] adta az első lehetséges konstrukciót általános célú iO-ra, ami ezután az érdeklődés középpontjába került 3 fő kutatási iránnyal: a biztonság falszifikálható és példány-független feltevésre helyezése, a hatékonyság növelése és alkalmazások keresése. A lehetséges kriptográfiai alkalmazásokon belül, amik primitívként használják az iO-t, elsősorban felhasználó visszavonást is lehetővé tevő attribútum alapú kódolás érdekel minket. A kriptoszövegek újra generálásának terhét csökkenthetné, ha a kódolási eljárásban elkülöníthető és obfuszkálható lenne a visszavonást kezelő paraméterek számítása, így visszavonás után elég lenne ennek a résznek az újraszámolása az egész kriptoszöveg helyett.
Elképzelésünk szerint az iO hatékonysága növelhető lenne különböző feladatokra optimalizálás segítségével.
További kutatási irány annak a kérdésnek a megválaszolása, hogy miként használható iO praktikus számítógépprogramok obfuszkációjára? Ezen a téren az elméleti kutatást és a gyakorlatban felmerülő kérdéseket mindenképen össze kell kapcsolni, mert a jelenleg alkalmazott megoldások nem képesek jól definiált biztonsági garanciákat adni.
Mi a kutatás alapkérdése?
Ebben a részben írja le röviden, hogy mi a kutatás segítségével megválaszolni kívánt probléma, mi a kutatás kiinduló hipotézise, milyen kérdéseket válaszolnak meg a kísérletek.
Az obfuszkáció célja, a programkódban lévő információ elrejtése, oly módon, hogy a program megtartsa eredeti funkcionalitását, vagy más szavakkal a programkód visszafejtésének megakadályozása. A kriptográfiai obfuszkáció kutatásának alapkérdése, hogy kielégíthető-e az obfuszkáció valamely szigorú és praktikus szempontok alapján is értelmes biztonság definíciója. Majd 40 évvel a kérdés felmerülése után, a kérdés máig nyitott, bár az elmúlt 2 év váratlan fejlődést hozott. Sürgető lenne egy konstruktív, pozitív válasz, mert a problémára adott jelenlegi megoldások biztonsága azok titkosságán múlik, ami messze van az elfogadható szinttől. Ha az általános célú obfuszkáció megvalósítható, ahogy ez ma sejthető a „megkülönböztethetetlenség obfuszkációról”, az rengeteg olyan alkalmazás előtt nyithatja meg az utat, mint szoftverek és algoritmusok szerzői jogi védelme, szoftverek vízjelezése, biztonságos szoftverfrissítés stb. A kriptográfiai alkalmazások jelentősége legalább ilyen fontos. Az első pozitív eredmények 2013-as megjelenése óta számos nyitott kérdést válaszoltak meg "megkülönböztethetetlenség obfuszkáció" kriptográfiai primitívként való alkalmazásával. Ilyenek a funkcionális titkosítás, valamint a letagadható és tanú titkosítás első megvalósításai. Kutatásunkal az attribútum alapú kódolást, felhasználó visszavonást, a hatékonyság növelést valamint az eredmények nem-kriptográfiai felhasználását szeretnénk fejleszteni.
Mi a kutatás jelentősége?
Röviden írja le, milyen új perspektívát nyitnak az alapkutatásban az elért eredmények, milyen társadalmi hasznosíthatóságnak teremtik meg a tudományos alapját. Mutassa be, hogy a megpályázott kutatási területen lévő hazai és a nemzetközi versenytársaihoz képest melyek az egyediségei és erősségei a pályázatának!
A szoftverek szerzői jogi védelme az első számítógép program megjelenése óta kérdéseket vet fel. A legnagyobb akadályt az jelenti, hogy a program működését nem szükséges érteni ahhoz, hogy valaki lemásolhassa annak részeit vagy akár a teljes egészet. Ezért a szoftverfejlesztőkre jelentősen nagyobb feladat hárul ezen a téren, mint például a hardware gyártókra, akik kevésbé vannak kitéve ilyen jellegű támadásoknak (bár ők sem teljesen védettek). A programok magas szintű összekapcsolhatósága és a direkt hozzáférés lehetősége különösen sérülékennyé teszik őket rosszindulatú módosításokkal és különféle egyéb támadásokkal szemben. Emiatt nem csak a szoftverfejlesztők, hanem a felhasználók sem érezhetik biztonságban magukat és személyes tartalmaikat. Az obfuszkáció általános megoldást jelentene e problémákra, mivel a programkódokat érthetetlenné tudnánk transzformálni, elfogadható teljesítménycsökkenés mellett, anélkül, hogy az eredeti funkcionalitást megváltoztatnánk. Az obfuszkáció elméleti megalapozásának nehézségei miatt azonban a gyakorlatban különböző heurisztikák terjedtek el, amik az eljárás titkossága mellet próbálnak biztonságot garantálni. Célunk az obfuszkáció stabil elméleti megalapozására épülő, praktikusan is használható obfuszkációs eljárások fejlesztése, melyek kriptográfiai primitívkén használhatók gyakorlati alkalmazásokbnan. Ezek közül kiemeljük a szoftvervédelmet és a biztonságos felhő alapú adattárolást lehetővé tévő az attribútum alapú kódolást.
A kutatás összefoglalója, célkitűzései laikusok számára
Ebben a fejezetben írja le a kutatás fő célkitűzéseit alapműveltséggel rendelkező laikusok számára. Ez az összefoglaló a döntéshozók, a média, illetve az érdeklődők tájékoztatása szempontjából különösen fontos az NKFI Hivatal számára.
Az információ elrejtése az ókor óta foglalkoztatja az embert. Az üzenetek titkosítása sokat kutatott probléma, rengeteg lehetséges megoldással, amik széleskörű alkalmazási lehetőségeket fednek le. Ugyanakkor tudásunk a programkódokban rejlő információ elrejtéséről (amit obfuszkációnak nevezünk) körülbelül az üzenettitkosítás 19. századi szintjén van.
Aki próbált már más által írt forráskódot megérteni, tudja, hogy komoly erőfeszítést igényel, bár ennek mértéke függ a háttérismeretektől. Amikor obfuszkált programot vizsgálunk, azt várjuk, hogy minden egyéb ismerettől függetlenül legyen értelmezhetetlen az olvasó számára. Ennek a követelménynek nem csak kielégítése, de még a formális megfogalmazása is problémát jelent. Az elmúlt évtizedekben, egy bizonyítottan biztonságos eszköz hiánya ellenére is, hatalmas igény jelentkezett, mert a lehetséges alkalmazások olyan fontos területeket érintenek, mint a szerzői jogok és szoftverek védelme vagy kriptográfiai protokollok tervezése. Emiatt különböző heurisztikák váltak elterjedté, amik azonban nem rendelkeznek biztonsági garanciákkal és kivétel nélkül ismert módon sebezhetőek. 2013-ban áttörést jelentett az első pozitív eredmény az általános célú obfuszkátor létezéséről. Habár ez a megvalósítás közvetlenül még nem alkalmazható valós problémák megoldására, nem elég hatékony és a biztonságát sem értjük még kellőképpen, egyértelmű kutatási irányokat határoz meg. Ehhez a kutatáshoz szeretnénk csatlakozni és hozzájárulni a jól definiált biztonságos obfuszkáció fejlődéséhez, valamint alkalmazásához olyan területeken, mint például a biztonságos felhő alapú adattárolás.
| angol összefoglaló Summary of the research and its aims for experts
Describe the major aims of the research for experts.
A possible formal approach towards obfuscation, is called "indistinguishability obfuscation" (iO). Informally speaking, a compiler is an iO if it 1) preserves the functionality of the program, 2) causes only a polynomial slowdown, and 3) the obfuscation of two functionally equivalent programs of similar size are indistinguishable from each other. The first candidate construction for general purpose iO was given by Garg et al. [GGH+13], which then became the center of interest with three main lines of research: to base the security on a falsifiable and instance independent assumption, to increase efficiency and to find applications. Within the possible cryptographic applications, that use iO as a primitive, our interest is attribute-based encryption with user revocation feature, in which the ciphertex re-generation burden could be significantly decreased by dividing and obfuscating that part of encryption which computes revocation related values, making it possible to regenerate only this small part, instead of the whole. We also envision the improvement of iO’s efficiency, by customizing it to specific tasks. An other direction of our research is to answer the question: how can we make use of iO outside cryptography, for obfuscating practical computer programs? In this area, we need to connect the theoretical research with the practical questions, as the currently used techniques cannot guarantee well defined security.
What is the major research question?
Describe here briefly the problem to be solved by the research, the starting hypothesis, and the questions addressed by the experiments.
The goal of obfuscation is to hide information, necessarily embedded in a program code, such that the program
keeps its original functionality or with other words obfuscation aims to make reverse engineering impossible. The basic question of research on cryptographic obfuscation is whether it is possible to satisfy a rigorous, but at the same time meaningful definition of obfuscation security. Almost 40 years after the question has arisen, it is still open, although the past 2 years, brought unexpected advances. A constructive, positive answer, is compelling, as current solutions for the problem can only offer security via obscurity that is a far cry from the acceptable level of security. If general purpose obfuscation is achievable, as we suspect it now for a specific definition, namely "indistinguishability obfuscation", than it could open the way for plenty of applications as intellectual property protection for software and algorithms, watermarking of software, secure software patching etc. The importance of cryptographic applications are at least as big as the previous one's. Since the the first positive result in 2013, several open problems were answered, using indistinguishability obfuscation as a primitive, such as the first realization of functional encryption, deniable encryption and witness encryption. Our research aims at promoting attribute-based encryption, user revocation, efficiency of different schemes and non-cryptographic exploitation of theoretic results.
What is the significance of the research?
Describe the new perspectives opened by the results achieved, including the scientific basics of potential societal applications. Please describe the unique strengths of your proposal in comparison to your domestic and international competitors in the given field.
Protection of intellectual property rights related to software have been an issue since the appearance of the first computer program. The main obstacle is that in case of a software, one does not need to understand the operation of a product in order to be able to copy parts of it or even the whole. This turns out to be a serious drawback in the protection of products and serious efforts have to made by software engineering, in contrast to hardware manufacturers who are less exposed to (although not free from) these kind of attacks. Together with the high level of connectivity, direct accessibility of computer programs makes them extremely vulnerable of malicious modification and various other attacks. It follows that not only software developers, but even the users cannot feel safe, because their private contents are also exposed to attack. One potential solution to the problem is obfuscating software before its distribution. However, because of the difficulties of the theoretical foundations of obfuscation, in practice, various heuristics spread, which only provide low level of security. We aim at following firm theoretical foundations, and on top of them, proposing affordable practical implementations for obfuscation that can help to improve software protection and cloud based services.
Summary and aims of the research for the public
Describe here the major aims of the research for an audience with average background information. This summary is especially important for NRDI Office in order to inform decision-makers, media, and others.
Hiding information has always been important in various applications. To hide the content of messages is a well-studied problem, for which we have enormous amount of possible solutions which fit in a wide range of application scenarios. At the same time, our knowledge about hiding information embedded in program codes (i.e. code obfuscation), is still on the level of 19th century message encryption methods. Whoever once tried to understand a program code of someone else, knows that it always require effort from the code reader, although this effort is is not equal for readers with different knowledge. However, when we obfuscate a program, we expect it to be unintelligible, independently from background knowledge. This requirement turned out to be hard, not only to satisfy, but also to capture formally. In spite of the lack of a provably secure tool, in the last decades the demand for obfuscation became huge, because of applications such as intellectual property and software protection or building secure cryptographic protocols. That is why in practice, various heuristics became widespread, which fail to achieve certain security guarantees. Finally in 2013, a breakthrough happened, when the first positive result appeared about general purpose obfuscation. Although this solution cannot be applied directly to real-word problems, as it is not yet efficient enough, it determines a clear line of research. We intend to join this research line and contribute to the improvement of obfuscation with well-defined security, and apply our results, among other things, to secure cloud-based data sharing and storage.
|
|
|
|
|
|
|
|
|
|
