Firma Kudelski Security, specializuj\u00edc\u00ed se na bezpe\u010dnostn\u00ed audity, zve\u0159ejnila n\u00e1stroj Shufflecake, kter\u00fd umo\u017e\u0148uje vytv\u00e1\u0159en\u00ed skryt\u00fdch souborov\u00fdch syst\u00e9m\u016f rozpt\u00fdlen\u00fdch po dostupn\u00e9m voln\u00e9m prostoru v existuj\u00edc\u00edch odd\u00edlech a neodli\u0161iteln\u00fdch od n\u00e1hodn\u00fdch zbytkov\u00fdch dat. Odd\u00edly jsou vytv\u00e1\u0159eny tak, \u017ee bez znalosti p\u0159\u00edstupov\u00e9ho kl\u00ed\u010de je jejich existence obt\u00ed\u017en\u011b prokazateln\u00e1, i p\u0159i prov\u00e1d\u011bn\u00ed forenzn\u00ed anal\u00fdzy. K\u00f3d utilit (shufflecake-userland) a modulu j\u00e1dra Linux (dm-sflc) je naps\u00e1n v jazyce C a je distribuov\u00e1n pod licenc\u00ed GPLv3, co\u017e znemo\u017e\u0148uje zahrnut\u00ed zve\u0159ejn\u011bn\u00e9ho modulu j\u00e1dra do ofici\u00e1ln\u00edho j\u00e1dra Linux kv\u016fli nekompatibilit\u011b s licenc\u00ed GPLv2, pod kterou je j\u00e1dro dod\u00e1v\u00e1no. <\/p>\n
Projekt je prezentov\u00e1n jako sofistikovan\u011bj\u0161\u00ed \u0159e\u0161en\u00ed pro skr\u00fdv\u00e1n\u00ed dat, kter\u00e1 vy\u017eaduj\u00ed ochranu, ne\u017e Truecrypt a Veracrypt, p\u0159i\u010dem\u017e m\u00e1 nativn\u00ed podporu pro platformu Linux a umo\u017e\u0148uje um\u00edst\u011bn\u00ed a\u017e 15 skryt\u00fdch odd\u00edl\u016f na za\u0159\u00edzen\u00ed, kter\u00e9 jsou vz\u00e1jemn\u011b zasunuty, aby se zt\u00ed\u017eilo zji\u0161t\u011bn\u00ed jejich existence. Pokud samotn\u00e9 pou\u017eit\u00ed Shufflecake nen\u00ed tajn\u00e9, co\u017e lze posoudit nap\u0159\u00edklad podle p\u0159\u00edtomnosti odpov\u00eddaj\u00edc\u00edch utilit v syst\u00e9mu, je celkov\u00fd po\u010det vytvo\u0159en\u00fdch skryt\u00fdch odd\u00edl\u016f nemo\u017en\u00e9 ur\u010dit. Vytv\u00e1\u0159en\u00e9 skryt\u00e9 odd\u00edly mohou b\u00fdt podle uv\u00e1\u017een\u00ed u\u017eivatele form\u00e1tov\u00e1ny pro um\u00edst\u011bn\u00ed jak\u00fdchkoli souborov\u00fdch syst\u00e9m\u016f, nap\u0159\u00edklad ext4, xfs nebo btrfs. Ka\u017ed\u00fd odd\u00edl je zpracov\u00e1v\u00e1n jako samostatn\u00e9 virtu\u00e1ln\u00ed blokov\u00e9 za\u0159\u00edzen\u00ed s vlastn\u00edm odemykac\u00edm kl\u00ed\u010dem. <\/p>\n
Pro zmate\u010dn\u00e9 stopy se doporu\u010duje pou\u017e\u00edt model chov\u00e1n\u00ed \u201epravd\u011bpodobn\u00e9 pop\u00edr\u00e1n\u00ed\u201c (plausible deniability), jeho\u017e podstatou je, \u017ee cenn\u00e1 data jsou skryta jako dal\u0161\u00ed vrstvy v \u0161ifrovan\u00fdch odd\u00edlech s m\u00e9n\u011b cenn\u00fdmi daty, \u010d\u00edm\u017e se vytv\u00e1\u0159\u00ed jak\u00e1si skryt\u00e1 hierarchie odd\u00edl\u016f. V p\u0159\u00edpad\u011b n\u00e1tlaku m\u016f\u017ee vlastn\u00edk za\u0159\u00edzen\u00ed odhalit kl\u00ed\u010d k \u0161ifrovan\u00e9mu odd\u00edlu, ale v tomto odd\u00edlu mohou b\u00fdt skryty dal\u0161\u00ed odd\u00edly (a\u017e 15 vno\u0159en\u00fdch \u00farovn\u00ed), a ur\u010den\u00ed jejich existence a prok\u00e1z\u00e1n\u00ed existence je problematick\u00e9. <\/p>\n
Skryt\u00ed je zaji\u0161t\u011bno formov\u00e1n\u00edm ka\u017ed\u00e9 sekce jako souboru \u0161ifrovan\u00fdch segment\u016f, umis\u0165ovan\u00fdch na n\u00e1hodn\u00e9 pozice v \u00falo\u017en\u00e9m za\u0159\u00edzen\u00ed. Ka\u017ed\u00fd segment se vytv\u00e1\u0159\u00ed dynamicky ve chv\u00edli, kdy je v sekci pot\u0159eba dal\u0161\u00ed prostor pro ulo\u017een\u00ed. Pro zt\u00ed\u017een\u00ed anal\u00fdzy se segmenty r\u016fzn\u00fdch sekc\u00ed st\u0159\u00eddaj\u00ed, tj. sekce Shufflecake nejsou spojeny s kontinu\u00e1ln\u00edmi oblastmi a segmenty v\u0161ech sekc\u00ed se m\u00eds\u00ed. Informace o pou\u017eit\u00fdch a voln\u00fdch segmentech se uchov\u00e1vaj\u00ed v map\u011b um\u00edst\u011bn\u00ed p\u0159id\u011blen\u00e9 ka\u017ed\u00e9 sekci, na kterou odkazuje \u0161ifrovan\u00fd z\u00e1hlav\u00ed. Mapa a z\u00e1hlav\u00ed jsou \u0161ifrov\u00e1ny a bez znalosti p\u0159\u00edstupov\u00e9ho kl\u00ed\u010de jsou nerozeznateln\u00e9 od n\u00e1hodn\u00fdch dat. <\/p>\n
Z\u00e1hlav\u00ed je rozd\u011bleno do slot\u016f, z nich\u017e ka\u017ed\u00fd ur\u010duje sv\u016fj odd\u00edl a s n\u00edm souvisej\u00edc\u00ed slices. Sloty v z\u00e1hlav\u00ed jsou um\u00edst\u011bny v z\u00e1sobn\u00edkov\u00e9m po\u0159ad\u00ed a rekurzivn\u011b spojeny \u2014 aktu\u00e1ln\u00ed slot obsahuje kl\u00ed\u010d pro de\u0161ifrov\u00e1n\u00ed parametr\u016f p\u0159edchoz\u00edho odd\u00edlu v hierarchii (m\u00e9n\u011b skryt\u00e9ho), co\u017e umo\u017e\u0148uje pou\u017e\u00edt jedno heslo pro de\u0161ifrov\u00e1n\u00ed v\u0161ech m\u00e9n\u011b skryt\u00fdch odd\u00edl\u016f souvisej\u00edc\u00edch s vybran\u00fdm odd\u00edlem. Ka\u017ed\u00fd m\u00e9n\u011b skryt\u00fd odd\u00edl pova\u017euje slices vno\u0159en\u00fdch odd\u00edl\u016f za voln\u00e9. <\/p>\n
Ve v\u00fdchoz\u00edm nastaven\u00ed maj\u00ed v\u0161echny vno\u0159en\u00e9 odd\u00edly Shufflecake stejnou viditelnou velikost jako odd\u00edl vrchn\u00ed \u00farovn\u011b. Nap\u0159\u00edklad pokud je na za\u0159\u00edzen\u00ed o velikosti 1 GB vyu\u017eito t\u0159\u00ed odd\u00edl\u016f, ka\u017ed\u00fd z nich bude pro syst\u00e9m viditeln\u00fd jako odd\u00edl o velikosti 1 GB a celkov\u00fd dostupn\u00fd diskov\u00fd prostor bude spole\u010dn\u011b sd\u00edlen ve v\u0161ech odd\u00edlech \u2014 pokud sou\u010det velikost\u00ed ulo\u017een\u00fdch dat p\u0159ekro\u010d\u00ed skute\u010dnou velikost za\u0159\u00edzen\u00ed, za\u010dne se objevovat chyba vstupu\/v\u00fdstupu. <\/p>\n
Zav\u0159en\u00e9 vno\u0159en\u00e9 odd\u00edly se nezapoj\u00ed do rozd\u011blov\u00e1n\u00ed m\u00edsta, tj. pokus o zapln\u011bn\u00ed odd\u00edlu nejvy\u0161\u0161\u00ed \u00farovn\u011b povede k p\u0159eps\u00e1n\u00ed dat ve vno\u0159en\u00fdch odd\u00edlech, ale neumo\u017en\u00ed odhalit jejich existenci anal\u00fdzou velikosti dat, kter\u00e1 mohou b\u00fdt ulo\u017eena v odd\u00edle p\u0159ed za\u010d\u00e1tkem v\u00fdstupu chyby (p\u0159edpokl\u00e1d\u00e1 se, \u017ee horn\u00ed odd\u00edly obsahuj\u00ed nem\u011bnn\u00e1 data pro odv\u00e1d\u011bn\u00ed pozornosti a nikdy se nepou\u017e\u00edvaj\u00ed samostatn\u011b, zat\u00edmco standardn\u00ed provoz se v\u017edy prov\u00e1d\u00ed s nejnov\u011bj\u0161\u00edm vno\u0159en\u00fdm odd\u00edlem; sch\u00e9ma p\u0159edpokl\u00e1d\u00e1, \u017ee d\u016fle\u017eit\u011bj\u0161\u00ed je uchov\u00e1n\u00ed tajemstv\u00ed existenc\u00ed dat ne\u017e ztr\u00e1ta t\u011bchto dat). <\/p>\n
Ve skute\u010dnosti se v\u017edy vytv\u00e1\u0159\u00ed 15 odd\u00edl\u016f Shufflecake \u2014 k pou\u017e\u00edvan\u00fdm odd\u00edl\u016fm je p\u0159i\u0159azeno u\u017eivatelsk\u00e9 heslo, zat\u00edmco nepou\u017eit\u00e9 odd\u00edly jsou opat\u0159eny n\u00e1hodn\u011b generovan\u00fdm heslem (nelze zjistit, kolik skute\u010dn\u00fdch odd\u00edl\u016f je pou\u017e\u00edv\u00e1no). P\u0159i inicializaci odd\u00edl\u016f Shufflecake je za\u0159\u00edzen\u00ed, odd\u00edl nebo virtu\u00e1ln\u00ed blokov\u00e9 za\u0159\u00edzen\u00ed ur\u010den\u00e9 k jejich um\u00edst\u011bn\u00ed zapln\u011bno n\u00e1hodn\u00fdmi daty, co\u017e br\u00e1n\u00ed ur\u010den\u00ed metadat a dat Shufflecake na obecn\u011bj\u0161\u00edm pozad\u00ed. <\/p>\n
Implementace Shufflecake vykazuje dostate\u010dn\u011b vysok\u00fd v\u00fdkon, ale kv\u016fli re\u017eijn\u00edm n\u00e1klad\u016fm v p\u0159ibli\u017en\u011b dvojn\u00e1sobn\u00e9 m\u00ed\u0159e zaost\u00e1v\u00e1 v propustnosti ve srovn\u00e1n\u00ed se \u0161ifrov\u00e1n\u00edm disk\u016f na b\u00e1zi subsyst\u00e9mu LUKS. Pou\u017eit\u00ed Shufflecake tak\u00e9 vede k dal\u0161\u00edm n\u00e1klad\u016fm na opera\u010dn\u00ed pam\u011b\u0165 a m\u00edsto pro ukl\u00e1d\u00e1n\u00ed spr\u00e1vn\u00edch dat na disku. N\u00e1klady na pam\u011b\u0165 se odhaduj\u00ed na 60 MB na ka\u017edou odd\u00edl, zat\u00edmco prostor na disku \u010din\u00ed 1% z celkov\u00e9 velikosti. Pro srovn\u00e1n\u00ed, podobn\u011b zam\u011b\u0159en\u00e1 technika WORAM zp\u016fsobuje zpomalen\u00ed od 5 do 200n\u00e1sobku s 75% ztr\u00e1tou u\u017eite\u010dn\u00e9ho m\u00edsta na disku. <\/p>\n