From 9631d1f9d985e4436d2b138f5f83e7a7e9602be8 Mon Sep 17 00:00:00 2001
From: axtloss <axtlos@getcryst.al>
Date: Mon, 26 Feb 2024 21:23:40 +0100
Subject: Add assignment paper

---
 doc/class-assignment/idee/idee.tex | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 doc/class-assignment/idee/idee.tex

(limited to 'doc/class-assignment/idee/idee.tex')

diff --git a/doc/class-assignment/idee/idee.tex b/doc/class-assignment/idee/idee.tex
new file mode 100644
index 0000000..0da7a1f
--- /dev/null
+++ b/doc/class-assignment/idee/idee.tex
@@ -0,0 +1,14 @@
+Die Idee einer Dateisystem verifizierung ist nichts neues, oft wird sie in embedded geräten oder handys implementiert, wo die sicherheit und integrität des systems von großer bedeutung ist.
+Jedoch ist sie bei Desktop betriebssystemen wie Windows, MacOS oder Linux Distributionen nicht sehr herkömmlich. Dies liegt meißt daran, dass eine effektive verifizierung des Dateisystems sich darauf verlässt, dass das Dateisystem sich nicht über zeit verändert, welches man bei Desktop-Betriebssystemen nicht gewährleisten kann, da Programme oft direkt in den Root des Betriebssystems schreiben (/usr in *nix, C:\\Program Files in windows).
+
+Mittlerweile gibt es jedoch in der Linux-welt eine neue art von Distribution, die sogenannten 'Immutable' Distributionen, welche sich darin unterscheiden, dass der Root schreibgeschützt ist, oder wie bei NixOS oder Gnu GUIX garnicht erst richtig existiert. Dadurch können Programme nur direkt in den Homeordner des Nutzers installiert werden, und das eigentliche System bleibt original bestanden.
+
+Hierdurch wird Dateisystem-verifizierung möglich, da der originale zustand sich nie ändern wird, kann ein Programm ohne probleme verizieren, dass sich nichts verändert hat.
+
+\input{idee/implementierungen}
+\input{idee/hashquellen}
+\input{idee/gewaehlte_implementation}
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: "../fsverify"
+%%% End:
-- 
cgit v1.2.3

