Detaljna tehnička analiza protokola MIFARE DESFire

Ako dovoljno dugo radite sa bezbednim RFID sistemima, pre ili kasnije primetite zanimljiv obrazac. Mnogi ljudi govore o MIFARE DESFire kao da je to samo „bezbednija kartica“. Taj opis nije pogrešan, ali je daleko previše plitak da bi bio koristan. DESFire nije zanimljiv zato što zvuči premijum na specifikaciji proizvoda. Zanimljiv je zato što je protokolarna arhitektura iza njega izgrađena za okruženja u kojima je puko čitanje serijskog broja kartice daleko od dovoljnog. Kada počnete da se bavite višestrukim aplikacijama, kontrolisanim pristupom, uskladištenom vrednošću, bezbednim identitetom i integritetom transakcija, razgovor se menja. U tom trenutku pravo pitanje više nije da li kartica može da se pročita. Pravo pitanje je kako se poverenje gradi, štiti, ažurira i sprovodi kroz odnos kartica–čitač–bekend.

Upravo zato je tehničko dubinsko istraživanje MIFARE DESFire protokola važno. DESFire se nalazi u veoma praktičnoj srednjoj zoni između svakodnevne beskontaktne udobnosti i bezbednosne arhitekture koja zaista može da podrži ozbiljne primene. S razlogom se široko povezuje sa kontrolom pristupa, kampus karticama, naplatom karata u prevozu, bezbednim korporativnim akreditivima, sistemima ugostiteljstva i aplikacijama bliskim plaćanju. Kombinuje beskontaktnu upotrebljivost sa strukturom zasnovanom na datotekama i ključevima koja projektantima sistema daje daleko veću kontrolu nego što su to ikada mogli osnovni proximity tehnologii. Jednostavno rečeno, omogućava da se kartica ponaša manje kao pasivni token, a više kao kontrolisani bezbedni kontejner.

Zašto MIFARE DESFire zahteva dublji tehnički pogled

Na fizičkom i komunikacionom nivou, DESFire pripada svetu ISO/IEC 14443 Type A beskontaktne komunikacije pametnih kartica. To znači da radi u HF 13.56 MHz prostoru i može da funkcioniše u istom širokom ekosistemu čitača koji se koristi za mnoge aplikacije kratkog dometa sa pametnim akreditivima. Ali taj zajednički fizički sloj je samo početak. Ono što DESFire zaista čini drugačijim jeste ono što se dešava nakon anti-kolizije i selekcije kartice. Mnogi slabi RFID sistemi zaustavljaju se na identifikaciji. DESFire počinje tamo i zatim prelazi u strukturiranu, kriptografski kontrolisanu interakciju. Tada protokol postaje zanimljiviji.

Operater javnog prevoza u Centralnoj Evropi shvatio je vrednost te razlike dok je procenjivao migraciju sa zastarelih proximity bedževa za pristup osoblja i radne tokove servisiranja depoa. Stare kartice mogle su dovoljno dobro da identifikuju korisnike, ali operater je želeo više od identiteta. Želeo je jedan akreditiv koji može da podrži pristup osoblja, dozvole za prostorije sa opremom, internu subvenciju za obroke i upotrebu pogodnu za reviziju na više lokacija. Jednostavan kartični sistem zasnovan na UID nikada ne bi mogao bezbedno da nosi taj teret. Tim se okrenuo DESFire-u jer mu je bio potreban protokol koji može da podrži više logičkih aplikacija unutar iste kartice, zadržavajući te aplikacije odvojenim. Ta odluka nije bila stvar mode. Bila je stvar arhitekture.

Arhitektura DESFire aplikacija i logičko razdvajanje

Kako aplikacije i datoteke oblikuju poverenje

Ta arhitektura počinje DESFire modelom aplikacija. Za razliku od jednostavnih RFID kartica koje izlažu ravni memorijski prostor ili se uglavnom oslanjaju na spoljnu sistemsku logiku, DESFire organizuje podatke u aplikacije, a svaka aplikacija može da sadrži više datoteka. To je jedna od najvažnijih ideja dizajna ovog protokola. Omogućava da jedna fizička kartica ugosti više logičkih domena bez prisiljavanja da slepo veruju jedni drugima. Univerzitet može da smesti kontrolu pristupa, stanje u kantini, bibliotečka prava i logiku evidencije prisutnosti na jednu karticu, zadržavajući bezbednosne granice razumno odvojenim. Hotel koji koristi Hotelske ključ-kartice može da odvoji pristup prostoriji od privilegija u pozadinskim sistemima. Sistem javnog prevoza može da izoluje logiku naplate od akreditiva za održavanje. Protokol ne samo da čuva bajtove. On sprovodi strukturu koja određuje kako se ti bajtovi poseduju i štite.

Zašto su tipom datoteka DESFire važni

Ta struktura postaje još vrednija jer DESFire datoteke nisu sve iste. Protokol podržava različite tipove datoteka, uključujući standardne datoteke sa podacima, rezervne datoteke sa podacima, datoteke vrednosti, linearne datoteke zapisa i ciklične datoteke zapisa. Svaka postoji s razlogom. Standardne datoteke su korisne kada vam je potrebno samo zaštićeno skladištenje podataka. Rezervne datoteke su osmišljene da pomognu kod ažuriranja bezbednih za transakcije. Datoteke vrednosti su korisne za brojače ili logiku tipa uskladištene vrednosti. Datoteke zapisa podržavaju istorije i strukturirano ponašanje nalik dodavanju. Ovaj model datoteka je jedan od razloga zašto DESFire deluje više kao mala bezbedna platforma nego kao jednostavan čip za akreditive. Projektant sistema nije prisiljen da svaku potrebu aplikacije tretira kao isti tip problema skladištenja.

Privatna bolnička grupa u Aziji otkrila je to tokom redizajna akreditiva. Želela je da jedan bedž za osoblje podrži bezbedan pristup odeljenjima, ovlašćenje za prostoriju sa lekovima, subvenciju za obroke, bezbedno štampanje i evidentiranje prisutnosti. Na prvi pogled, to je zvučalo kao jedna kartica sa nekoliko ID-jeva. U praksi, to je bio mnogo zamršeniji problem dizajna. IT tim je zahtevao da se neki podaci direktno ažuriraju, da neki brojači budu bezbedni za transakcije, a da neka istorija događaja ostane orijentisana na dodavanje. Model datoteka DESFire omogućio je te razlike. Bedž nije postao moćan zato što je imao više memorije. Postao je koristan zato što je protokol bolnici dao disciplinovanije načine da organizuje poverenje.

Ključevi, prava pristupa i uzajamna autentifikacija

Upravljanje ključevima je srž bezbednosti DESFire

Ključevi se nalaze u središtu tog poverenja. DESFire nije značajan bez upravljanja ključevima, jer gotovo svako ozbiljno bezbednosno svojstvo u protokolu zavisi od toga kako se obrađuju autentifikacija i autorizacija. Svaka aplikacija može da ima sopstveni skup ključeva, a prava pristupa datotekama vezana su za te ključeve. To projektantima daje fino granulisan bezbednosni model. Pravo čitanja, pravo pisanja, pravo čitanja i pisanja i pravo izmene mogu se kontrolisati odvojeno. U dobro dizajniranom sistemu, nije svakom čitaču ili podsistemu potreban isti nivo privilegija. Čitač u kantini možda treba da umanji vrednost ili pročita određene podatke naloga. Čitač za pristup zgradi možda treba samo da proveri prava ulaska. Stanica za upis možda ima jače dozvole jer izdaje akreditive. Ovaj dizajn zasnovan na ključevima omogućava da jedna kartica nosi više uloga bez svođenja svega na jednu zajedničku zonu poverenja.

Zašto se poverenje čitač–kartica ne sme podrazumevati

Uzajamna autentifikacija je mesto gde ti ključevi postaju aktivni. DESFire-kompatibilni RFID čitači ne moraju da veruju kartici samo zato što je prisutna, a kartica ne treba da veruje čitaču samo zato što učtivo pita. Protokol podržava autentifikaciju tipa izazov–odgovor, što znači da obe strane mogu da učestvuju u dokazivanju poznavanja zajedničkog tajnog materijala. To je važno jer pomera sistem iznad slabog modela u kom kartica jednostavno otkriva predvidiv broj i nada se da bekend zna šta da radi s tim. U DESFire okruženju, čitač i kartica mogu nakon autentifikacije da uspostave bezbednu sesiju, koja zatim postaje osnova za zaštićene komande i razmenu podataka.

Poslovni kompleks finansijskih institucija u Frankfurtu imao je praktičan razlog da se time bavi. Njegov prethodni sistem kartica za zaposlene radio je prilično dobro dok bezbednosni tim nije shvatio da se previše poverenja polaže u fiksne identifikatore i pretpostavke bekenda. Novi program akreditiva kompanije zahtevao je jače poverenje čitač–kartica pre otvaranja ograničenih prostorija sa dokumentima i kancelarija za usklađenost. DESFire je izabran ne zato što je zgradi trebalo više memorije na bedžu, već zato što je protokol podržavao mnogo čistiji model autentifikacije. Važan korak nije bio to što kartica dodiruje čitač. Važan korak je bilo ono što se dešava nakon tog dodira, kada sistem odlučuje da li razmena zaista zaslužuje poverenje.

Bezbedno prenošenje poruka i ponašanje bezbedno za transakcije

Zaštita komunikacije nakon autentifikacije

Kada je autentifikacija završena, bezbedno prenošenje poruka postaje sledeća velika tehnička tema. DESFire je vredan delimično zato što se ne zaustavlja na dokazivanju identiteta. On takođe može da zaštiti integritet i poverljivost naknadne komunikacije. U zavisnosti od dizajna sistema i generacije, bezbedno prenošenje poruka može se koristiti da se obezbedi da podaci ne budu samo čitljivi svakome ko prisluškuje i da ne mogu biti izmenjeni bez otkrivanja u prenosu. U praktičnom smislu, to znači da podaci aplikacije, brojači i sekvence komandi mogu da putuju unutar sesije kojoj se više veruje. To je posebno važno u okruženjima gde kartica radi više od povremenog otvaranja vrata.

Operater gradskog prevoza u Južnoj Evropi video je to prilikom pregleda ponašanja sistema naplate. Starije pretpostavke dizajna u njegovom okruženju tretirale su interakciju kartica–čitač previše ležerno, što je bezbednosni tim činilo nelagodnim u vezi sa ažuriranjem vrednosti i obradom istorije usluga. Sa logikom zasnovanom na DESFire-u, operater je mogao pažljivije da strukturira razmene sa karticama, tako da ažuriranja relevantnih datoteka nisu lebdela kao labavo obrađene komande. Korist nije bila samo jača bezbednost u teoriji. Bilo je to veće samopouzdanje da je ono što validator veruje da je zapisao zaista ono što je kartica primila i prihvatila.

Zašto je obrada transakcija praktično važna

Obrada transakcija je još jedan razlog zašto je DESFire opstao. U kartičnim sistemima koji nose vrednost, prava ili važna ažuriranja stanja, prekinute operacije mogu da postanu noćna mora. Korisnik prebrzo odvuče karticu. Napajanje se izgubi usred operacije. Čitač zaglavi tokom kritičnog upisa. Bez pažljivog dizajna protokola, to može da ostavi podatke na kartici u nekonzistentnom stanju. DESFire se time bavi kroz ponašanje orijentisano na transakcije i modele datoteka osmišljene da podrže robusnija ažuriranja. Rezervne datoteke i logika nalik potvrđivanju pomažu kartici da izbegne da ostane poluažurirana nakon loše interakcije. To nije glamurozno, ali je jedan od praktično najvrednijih delova protokola.

Veliki sistem studentskih domova na univerzitetu u Severnoj Americi naučio je to tokom obnove kampus akreditiva. Studenti su koristili istu karticu za pristup domu, vešernicu, malu potrošnju u kantini i određena servisna prava. U prethodnom sistemu, prekinuta ažuriranja izazivala su dovoljno čudnih graničnih slučajeva da je osoblje podrške stalno ponovo izdavalo kartice ili ispravljalo stanja. Prelazak na DESFire nije eliminisao svaki problem, ali ponašanje bezbedno za transakcije u logici kartice dramatično je smanjilo broj pokvarenih stanja. To je bilo važno jer se cena bezbednog protokola ne meri samo time da li se odupire napadačima. Meri se i time da li preživljava obično ljudsko ponašanje.

Dizajn akreditiva za više domena

Razdvajanje operativnih vlasnika na jednoj kartici

Još jedna prednost DESFire-a jeste to što podržava diversifikovan dizajn aplikacija bez potrebe za jednim monolitnim organom poverenja za sve. To je suptilna, ali važna tačka. U stvarnom svetu, nije svaki podsistem u velikoj primeni akreditiva u vlasništvu istog operativnog vlasnika. Kampus biblioteka, operater ugostiteljstva, bezbednosni tim zgrade i pružalac usluga parkiranja mogu svi da dodiruju istu fizičku karticu, a da im i dalje trebaju različite dozvole i modeli rizika. DESFire čini tu vrstu podele realističnijom. U pravilno dizajniranom sistemu, jedan domen ne mora da kontroliše svaki drugi domen samo zato što dele plastiku.

Mešoviti korporativni kampus u Singapuru imao je koristi od te fleksibilnosti. Lokacija je želela jedan akreditiv za pristup zakupcima, kontrolu posetilaca, bezbedno štampanje, prevoz osoblja i sadržaje zgrade. Ipak, različitim funkcijama upravljali su različiti timovi i spoljni dobavljači. Slabiji model kartice gurnuo bi ceo program ka opasnoj centralizaciji ili neurednom dupliranju. DESFire je arhitektima dao kontrolisaniji način da razdvoje te odgovornosti. Protokol nije magično rešio svako pitanje upravljanja, ali je modelu upravljanja dao nešto bolje na šta može da se osloni.

Svest o verzijama, performanse i disciplina primene

Zašto generacije DESFire i dalje imaju značaj

Bezbednosne generacije su ovde takođe važne. Kada ljudi kažu MIFARE DESFire, često mešaju porodicu proizvoda i evolucija protokola. DESFire se razvijao tokom vremena, sa različitim generacijama koje su unapređivale kriptografske opcije, performanse i funkcije. U praktičnim primenama, projektanti često mare za podršku jačim algoritmima kao što je AES, bolje ponašanje bezbednog prenošenja poruka i proširene mogućnosti aplikacija. Pouka je jednostavna: svako ko radi tehničku evaluaciju treba da izbegne da govori o DESFire-u kao da se svaka verzija ponaša identično. Porodična sličnost je stvarna, ali izbor implementacije i dalje ima značaj.

Državna akademija za obuku u regionu Zaliva videla je zašto tokom tenderskog procesa. Jedan dobavljač predstavio je DESFire na nejasan, univerzalan način, dok je drugi objasnio relevantnost novije kriptografske podrške i čistijeg potencijala za buduću migraciju. Akademiji nisu bili potrebni detalji o protokolu radi njih samih. Bila joj je potrebna platforma akreditiva koja će ostati odbranjiva kako se lokacija bude širila na više kontrolisanih zona i višeservisnu upotrebu. Disciplinovaniji dobavljač pobedio je jer je tretirao „DESFire“ kao dizajnerski izbor koji i dalje zahteva razmišljanje s vesnošću o verziji.

Bezbednost i dalje mora da funkcioniše brzinom stvarnog sveta

Performanse takođe zaslužuju pomen. DESFire se često bira ne samo zbog bezbednosti, već zato što može da bude dovoljno brz za pritisak stvarne primene. Prevozne kapije, prometne kantine, kancelarijski turniketi i servisni pultovi ne tolerišu protokole koji izgledaju bezbedno samo kada niko ne žuri. Jedan od razloga zašto je DESFire ostao relevantan jeste to što njegova arhitektura balansira jaču bezbednost sa operativnom upotrebljivošću. Taj balans nije automatski; konfiguracija čitača, dizajn aplikacija i strategija ključeva i dalje imaju značaj. Ali protokol je dizajniran za sisteme koji moraju da rade u ljudskoj razmeri, ne samo u kriptografskoj teoriji.

Operater stadiona u Ujedinjenom Kraljevstvu otkrio je to tokom planiranja akreditiva za događaje sa više namena. Želeo je bezbedan pristup osoblja, prava na ugostiteljske sadržaje i ograničene dozvole za pozadinske prostore, a da pritom svaka interakcija sa čitačem ne postane vidljivo kašnjenje. Rano testiranje sa ispravnom DESFire konfiguracijom pokazalo je da jača autentifikacija ne mora da znači nezgodno sporo ponašanje pri prinošenju kartice. To je pomoglo operateru da izbegne lažni izbor između bezbednosti i propusnosti. Dobre DESFire primene često su vredne upravo zato što ne nameću taj izbor tako oštro kao slabiji ili krući sistemi.

DESFire je moćan, ali ne i automatski

Naravno, DESFire nije magija. Slabo upravljanje ključevima i dalje može da našteti sistemu. Loša konfiguracija čitača i dalje može da smanji bezbednost. Nemaran razdvajanje aplikacija i dalje može da stvori rizik koji se mogao izbeći. Loše izdavanje akreditiva i dalje može da potkopa sve. DESFire kartica u loše dizajniranom okruženju može da postane deo osrednjeg rešenja. To je važna istina jer kupci ponekad čuju „DESFire“ i pretpostave da je bezbednosni posao već obavljen za njih. Nije. Protokol daje sistemskim arhitektima bolje alate, ali i dalje očekuje da te alate koriste kompetentno.

Biotehnološka firma sa ograničenim laboratorijama naučila je tu lekciju nakon ubrzanog širenja pristupa za izvođače. Kompanija je imala jaku platformu bedževa zasnovanu na DESFire-u, ali je oslabila sopstvenu poziciju davanjem previše širokih privilegija prevelikom broju čitača i propustom da održi uloge aplikacija čistim tokom privremene faze projekta. Niko nije provalio DESFire. Organizacija ga je jednostavno koristila lenjo. Kada je arhitektura bedževa ponovo učvršćena, sistem se vratio ponašanju bezbedne platforme kakva je trebalo da bude. To je verovatno najčesnije što se može reći o DESFire-u: nagrađuje disciplinu više nego prečice.

Završni tehnički pogled na MIFARE DESFire protokol

Dakle, šta čini MIFARE DESFire protokol važnim sa tehničke tačke gledišta? Nijedna pojedinačna funkcija. To je kombinacija. ISO 14443 beskontaktni rad pruža praktičnu upotrebljivost. Aplikacije i datoteke pružaju strukturu. Prava pristupa zasnovana na ključevima pružaju kontrolu. Uzajamna autentifikacija gradi poverenje. Bezbedno prenošenje poruka štiti sesiju. Logika transakcija štiti ažuriranja. Različiti tipovi datoteka čine karticu prilagodljivom stvarnim poslovnim potrebama. A kriptografska evolucija s vesnošću o generaciji održava porodicu relevantnom u okruženjima koja su odavno prerasla jednostavnu beskontaktnu identifikaciju.

Zato se DESFire i dalje pojavljuje u ozbiljnim projektima akreditiva. Ne zato što tržište uživa u komplikovanim imenima. Već zato što protokol rešava stvarni oblik savremenih problema poverenja. Kartica više nije samo bedž. Ona je često kontejner za prava pristupa, identitet, logiku usluga i stanje transakcija. DESFire je dizajniran za taj svet. I kada se pažljivo primeni, daje projektantima sistema mnogo jači jezik za izražavanje ko može šta da radi, gde i pod kojim uslovima poverenja.

Na kraju, tehničko dubinsko istraživanje MIFARE DESFire protokola vodi ka vrlo praktičnom zaključku. DESFire je važan jer pretvara beskontaktne akreditive iz jednostavnih identifikatora u strukturirane, autentifikovane bezbednosne objekte sposobne za transakcije. To zvuči apstraktno dok ne vidite šta omogućava u stvarnom svetu: jedna kartica, mnogo aplikacija, odvojeni domeni poverenja, jača zaštita i manje izgovora za izgradnju slabih sistema na temelju beskontaktne udobnosti. Za kontrolu pristupa, kampus akreditive, sisteme mobilnosti, ugostiteljstvo i druga okruženja gde kartica treba da bude više od serijskog broja, upravo zato ovaj protokol i dalje zaslužuje ozbiljnu pažnju.