| - Predikatova abstrakce |
Seminarni prace do skoly o formalni verifikaci, specialne o predikatove abstrakci. |
| - Semimodularni, modularni a distributivni svazy |
Seminarni prace do skoly o svazech. |
| - Bezpecnost UNIXovych systemu na urovni jadra |
Moje balakarska prace. Neni to zrovna to co bych si predstavoval no. Je tam par veci,
ktere bych asi udelal jinak, lip, rozpsal.. ale co uz, svuj ucel doufam splni. Treba
casem udelam rozsirenou verzi. I kdyz o tom vzhledem ke sve lenosti delat
dokola porad stejne veci dost pochybuju.
|
| - Rootkity zalozene na hookovani VFS |
Clanek, ktery ma vyjit v prielomu 24, porad o tom samem;) Jenze se na
nej chci odkazovat v bakalarce a prielom do jejiho odevzdani stejne asi
nevyjde, tak ho davam sem :) |
| - Vetrelec v systemu Linux |
Slajdy k prednasce z jedne konference. Zabyvaji se ruznymi technikami
ukryvani pritomnosti v Linuxu. Takze to same jako v serialu linuxovy
rootkit, jenze tady je malo kecani a hodne obrazku;)
|
| - linuxovy rootkit 3: skryvani souboru |
ve tretim dile se zameruji na skryvani souboru bez zmen systemovych
volani, pouze hratkami s ruznymi VFS funkcemi |
- linuxovy rootkit 2: skryvani zaznamu v souborech
- zdrojaky k 2 dilu
|
druhy dil serialu, zabyva se ukryvanim informaci o prihlasenem uzivateli
a o skryvani uzivatelu vubec.. to je tedy spise vedlejsi efekt, tedy priklad toho,
jak lze vyuzit techniky popisovane v tomto clanku |
| - linuxovy rootkit 1: skryvani procesu |
dalsi prvni dil serialu o linuxovych rootkitech. zabyva se skryvanim
procesu, popisuje hlavne skryti procesu pomoci hookovani systemovych
volani a VFS funkci. |
- linuxovy rootkit 1: moduly vs. /dev/kmem
- zdrojaky k oboum 1 dilum serialu
|
jeden ze dvou paralelnich prvnich dilu serialu o linuxovych rootkitech
puvodne psany pro magazin Hakin9. ten ale nejak prestal vychazet, navic
to skoro nikdo necte, takze serial mate tady... enjoy ;) |
| - detekce kernelovych rootkitu |
clanek vysel v prielomu #22. vysvetluje nektere zpusoby, ktere se pouzivaji
pro odhaleni skrytych modulu, procesu a vubec techniky jak odhalit aktivni rootkit. |
| - srovnani nekolika programu pro detekci kernelovych rootkitu |
srovnani nekolika dostupnych detektoru (KStat, chkrootkit a muj rdetect). puvodne soucast clanku
o detekci, ale bylo to moc dlouhe a trochu offtopic, tak jsem to rozdelil. |
- patchovani systemovych volani
- priklady k clanku |
stary clanek, ktery vysel na blackhole.sk. vysvetluje zakladni principy
hookovani systemovych volani v linuxu (<= 2.4) |
| - popis protokolu 802.11 |
strucny uvod do protokolu 802.11 a vysvetleni formatu MAC ramce. byl to
ukol do skoly, ale mozna se nekomu muze hodit.. i kdyz v norme to je
podrobneji, presneji a uplneji.
|
| - komunikace typu multicast a BSD sockets |
zase neco, co melo byt jako ukol do skoly. je to strucny popis funkce a
pouziti multicastove komunikace. |