|
|
History and Backup Support for zlomekFS
Wartiak, Rastislav ; Babka, Vlastimil (vedoucí práce) ; Obdržálek, David (oponent)
zlomekFS je distribuovaný souborový systém, který umožňuje práci se sdílenými soubory i bez aktivního připojení, s využitím lokální kopie. Během synchronizace lokálních změn nabízí jednoduchý mechanizmus řešení konfliktních změn. Dalším vývojem se stal souborovým systémem bez specifického kódu v jádru. Může si tak v budoucnu získat popularitu mezi uživateli. Jelikož může být obsah tohoto souborového systému aktualizován více uživateli, může být ukládání historie změn užitečnou vlastností. Tato práce realizuje verzování souboru v zlomekFS, vyřešením otázek jako způsob uložení verzí a přístup k nim. Systém je dále rozšířen o možnost zálohování s využitím verzování. Nová funkcionalita je odvozena z analýzy jiných soborových systémů s obdobnými možnostmi a výběru nejvhodnejšího způsobu pro zlomekFS.
|
|
|
Application for Controlled Access to Remote Documents for Microsoft Windows
Feranec, Adam ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce)
This thesis aims to design, implement and test a client-side application for Microsoft Windows to ensure controlled access to remote documents for the VDU project. The application is programmed in the C++ language, using the object-oriented library MFC, the WinFsp interface for virtual file system integration, and the Windows API. The application accesses the server via REST API, and it is tested with a created simulated server and a custom testing script, both programmed in the Python programming language.
|
|
|
Transparent Encryption Solution for Endpoint Devices
Pořízek, David ; Ryšavý, Ondřej (oponent) ; Kolář, Dušan (vedoucí práce)
The goal of this thesis is to propose and implement a transparent encryption solution for the Microsoft Windows platform. The solution should be able to integrate with the data loss prevention (DLP) product and extend it. The implementation utilizes the Microsoft File System Minifilter Driver framework, which allows it to monitor and modify access to files on an external device or a disk in a running system. Protected files are encrypted in the background in order to not interfere with user's work. The driver ensures, that the user is always working with decrypted data. Furthermore, an external application will be developed, which will allow the user to access the protected files even in a network without the DLP product active.
|
|
|
Analysis of a File System Using the Verifying C Compiler
Škorvaga, David ; Kofroň, Jan (vedoucí práce) ; Bednárek, David (oponent)
Název práce: Analýza souborového systému pomocí Verifying C Compiler Autor: Bc. David Škorvaga Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Jan Kofroň, Ph.D. Abstrakt: Formální verifikace je jeden ze způsobů, jak zlepšit spolehlivost soft- warových systémů. Jeden z přístupů formální verifikace se zaměřuje na dokazo- vaní správnosti anotovaného zdrojového kódu v široce používaném programovacím jazyce. Verifier C Compiler (VCC) je verifikátor pro concurrent C, který přijímá anotovaný kód v jazyce C a automaticky ověřuje jeho správnost s ohledem na tuto anotaci. Už se objevily úspěšné pokusy o ověření některých kritických systémů, včetně jádra operačního systému. Další důležitou součástí operačního systému je jeho systém souborů. V diplomové práci jsme si vybrali souborový systém FatFs, odlehčenou implementaci souborového systému FAT, nezávislou na zařízení. V této práci vytvoříme specifikaci jeho části pomocí anotace VCC a úspěšně ověříme jeho korektnost. Klíčová slova: Formal Verification, File System, VCC
|
|
| |
|
|
History and Backup Support for zlomekFS
Wartiak, Rastislav ; Babka, Vlastimil (vedoucí práce) ; Marek, Lukáš (oponent)
zlomekFS je distribuovaný souborový systém, který umožnuje práci se sdílenými soubory i bez aktivního pripojení, s využitím lokální kopie. Behem synchronizace lokálních zmen nabízí jednoduchý mechanizmus rešení konfliktních zmen. Dalším vývojem se stal souborovým systémem bez specifického kódu v jádru. Muže si tak v budoucnu získat popularitu mezi uživateli. Jelikož muže být obsah tohoto souborového systému aktualizován více uživateli, muže být ukládání historie zmen užitecnou vlastností. Tato práce realizuje verzování souboru v zlomekFS, vyrešením otázek jako zpusob uložení verzí a prístup k nim. Systém je dále rozšíren o možnost zálohování s využitím verzování. Nová funkcionalita je odvozena z analýzy jiných soborových systému s obdobnými možnostmi a výberu nejvhodnejšího zpusobu pro zlomekFS.
|
|
|
History and Backup Support for zlomekFS
Wartiak, Rastislav ; Babka, Vlastimil (vedoucí práce) ; Obdržálek, David (oponent)
zlomekFS je distribuovaný souborový systém, který umožňuje práci se sdílenými soubory i bez aktivního připojení, s využitím lokální kopie. Během synchronizace lokálních změn nabízí jednoduchý mechanizmus řešení konfliktních změn. Dalším vývojem se stal souborovým systémem bez specifického kódu v jádru. Může si tak v budoucnu získat popularitu mezi uživateli. Jelikož může být obsah tohoto souborového systému aktualizován více uživateli, může být ukládání historie změn užitečnou vlastností. Tato práce realizuje verzování souboru v zlomekFS, vyřešením otázek jako způsob uložení verzí a přístup k nim. Systém je dále rozšířen o možnost zálohování s využitím verzování. Nová funkcionalita je odvozena z analýzy jiných soborových systémů s obdobnými možnostmi a výběru nejvhodnejšího způsobu pro zlomekFS.
|
|
|
Souborové systémy na různých typech paměťových médií
Bortlová, Pavlína ; Krčma, Martin (oponent) ; Lojda, Jakub (vedoucí práce)
Bakalářská práce se zabývá problematikou ukádání dat na různá paměťová média, konk- trétně na HDD, SSD, flash disky a SD karty. V teoretické části práce jsou rozebrány principy funkce paměťových médií a struktura ukládání dat prostřednictvím různých souborových systému. V praktické části byla měřena rychlost čtení a zápisu vybraných kombinací sou- borových systémů (FAT, NTFS, XFS, ext4, btrfs, exFAT, JFFS, F2FS) a paměťových médií (HDD, SSD, flash disk, sd karta).
|
|
|
Nízkoúrovňové čtení dat z pamětových úložišť
Šalko, Jaroslav ; Ležák, Petr (oponent) ; Burda, Karel (vedoucí práce)
Tématem této práce je obnova dat z vybraných typů paměťových úložišť. Práce se dá rozdělit na dvě teoretické a jednu praktickou část. Teorie v první části vysvětluje strukturu vybraných paměťových médií a popisuje, jak jsou na nich data uložena. Je zde popsán i způsob jakým operační systém k těmto datům přistupuje. S tím souvisí souborový systém, který je v této části spolu s jeho vybranými nejpoužívanějšími typy popsán také. V druhé teoretické části se práce zabývá samotným poškozením paměťových médií. Jsou zde uvedeny druhy poškození, která mohou nastat a jak se dají řešit. Práce se zde zabývá i možnostmi které uživatele, kteří svá data ztratí, mají. Jednou z možností je využití služeb specializovaných firem. V krátkosti jsou proto v této části uvedeny čtyři vybrané firmy nabízející obnovu dat na českém trhu. V tabulce na konci kapitoly jsou shrnuty nabídky služeb, které tyto firmy zákazníkům nabízejí. Druhou možností je využít některý z volně dostupných programů pro obnovu dat. Na základě internetové ankety a kladných referencí v různých diskuzích na téma „nejlepší programy pro obnovu dat“ byly vybrány 3 programy, které byly testovány. Test byl prováděn nahráním určitých druhů souborů na disk, který byl posléze naformátován vysokoúrovňovou metodou. Pomoci jednotlivých programů jsem se snažil získat ztracená data zpět. Jak si jednotlivé programy vedly, je opět uvedeno v přehledné tabulce na konci podkapitoly každého programu. Praktická část této práce se zabývá linuxovým programem pro obnovu dat Ddrescue. Snahou je pro tento velice šikovný nástroj pro obnovu dat, ovládaný přes linuxový terminál, vytvořit graficky přívětivé prostředí s intuitivním ovládáním. Cílem je dostat tento program mezi širší veřejnost a poskytnout uživatelům jednoduchý program pro účinnou nízkoúrovňovou obnovu dat.
|
|
|
The Sport Activity Digital Recorder
Raninec, Michal ; Žák, Jaromír (oponent) ; Macháň, Ladislav (vedoucí práce)
This paper discuss the design of multifunctional device used as the digital recorder for sport activity. The general aim is to explore theory issues, construct the device and develope software for the application. Components were chosen considering low weight and power consumption and with as accurate tracking as possible.
|
host ::
RSS.