|
Security of Contactless Smart Card Protocols
Henzl, Martin ; Rosa, Tomáš (oponent) ; Staudek, Jan (oponent) ; Hanáček, Petr (vedoucí práce)
This thesis analyses contactless smart card protocol threats and presents a method of semi-automated vulnerability finding in such protocols using model checking. Designing and implementing secure applications is difficult even when secure hardware is used. High level application specifications may lead to different implementations. It is important to use the smart card correctly, inappropriate protocol implementation may introduce a vulnerability, even if the protocol is secure by itself. The goal of this thesis is to provide a method that can be used by protocol developers to create a model of arbitrary smart card, with focus on contactless smart cards, to create a model of the protocol, and to use model checking to find attacks in this model. The attack can be then executed and if not successful, the model is refined for another model checker run. The AVANTSSAR platform was used for the formal verification, models are written in the ASLan++ language. Examples are provided to demonstrate usability of the proposed method. This method was used to find a weakness of Mifare DESFire contactless smart card. This thesis also deals with threats not possible to cover by the proposed method, such as relay attacks.
|
|
Optimalizace sledování síťových toků
Žádník, Martin ; Lhotka,, Ladislav (oponent) ; Matoušek, Radomil (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato disertační práce se zabývá optimalizací sledování síťových toků. Sledování síťových toků spočívá ve sledování jejich stavu a je klíčovou úlohou pro řadu síťových aplikací. S každým příchodem paketu je nutné aktualizovat hodnoty stavu, což zahrnuje přístupy do paměti. Vzhledem k vysoké propustnosti linek a obrovskému množství souběžných toků hraje přístup do paměti kritickou roli ve výkonnosti stavového zpracování síťového provozu. Tento problém se řeší různými technikami. Tyto techniky ale ve výsledku vždy požadují, aby nejblíže zpracování provozu byla nasazena paměť s nízkou odezvou, cache toků, schopná vyřídit všechny přístupy. Cache toků má proto omezenou kapacitu a její efektivní správa má zásadní vliv na výkonnost a výsledky zpracování síťového provozu. Vzhledem ke specifikům síťového provozu nemusí být stávající správy vhodné pro správu cache toků. Disertační práce se proto zabývá automatizovaným vývojem správy cache na základě reálného provozu dané sítě. Automatizace vývoje správy cache toků je realizována pomocí genetického algoritmu. Genetický algoritmus vyvíjí nová řešení a hodnotí je simulací nad vzorkem provozu z různých sítí. Navržený postup je ověřen na vývoji správ pro dva problémy. Prvním problémem je vývoj správy, která bude vykazovat celkově nízký počet výpadků stavů z cache toků. Druhým problémem je vývoj správy, která bude vykazovat velmi nízký počet výpadků u velkých toků. Optimalizace zakódování správy a experimenty s parametry genetického algoritmu ukázují, že je možné nalézt správy cache toků, které jsou optimalizované pro specifika daného nasazení. Nově vyvinuté správy poskytují lepší výsledky než ostatní testované správy. Z hlediska snížení celkového počtu výpadků je vyvinuta správa, která snižuje počet výpadků na konkrétní datové sadě až o deset procent vůči nejlepší porovnávané správě. Z pohledu snížení počtu výpadků u velkých toků je dosaženo vyvinutou správou až dvojnásobného snížení výpadků. Většina velkých toků (více než 90%) nezaznamenala při použití vyvinuté správy dokonce ani jeden výpadek. Rovněž během záplav nových toků, které se v síťovém provozu vyskytují v souvislosti se skenováním sítí a útoky, se ukazují velmi dobré vlastnosti vyvinuté správy. V rámci práce je rovněž navrženo rozšíření správy o využití doplňkové informace ze záhlaví příchozích paketů. Výsledky ukazují, že kombinací této informace lze počet výpadků u správ dále snižovat.
|
|
Optické měření elektromechanických projevů srdečních buněk
Čmiel, Vratislav ; Križanová,, Olga (oponent) ; Babula, Petr (oponent) ; Provazník, Ivo (vedoucí práce)
Disertační práce se zabývá aplikací optických metod měření s využitím technik optické mikroskopie a fluorescenční mikroskopie při měření elektromechanických projevů izolovaných srdečních buněk a shluků diferencovaných kardiomyocytů. První navržená metoda využívá účelné kombinace fluorescenční mikroskopie s využitím rychlé fluorescenční kamery s vysokým rozlišením a mikroskopie atomárních sil pro současné měření vápníkových transientů a kontrakce shluků srdečních buněk. Získané signály prochází filtrací, zpracováním a analýzou. Výsledně získané funkční parametry kardiomyocytů získané analýzou signálů po aplikaci kofeinu jsou hodnoceny srovnáním s funkčními parametry získanými při kontrolním měření. Druhá navržená metoda je aplikována na shluky kardiomyocytů za účelem měření jejich kontrakce. Signály získané optickou metodou jsou analyzovány a výsledky porovnány s referenčním signálem získaným měřením s pomocí mikroskopie atomárních sil. Pro spolehlivější a stabilnější měření kontrakce v experimentech zaměřených na současné měření s vápníkovými transienty u izolovaných kardiomyocytů byly navrženy a realizovány optické metody měření kontrakce založené na detekci konců s využitím úpravy mikroskopického obrazu přeostřením a s využitím fluorescenční metody měření.
|
|
Čerpadlo s difuzorem s použitím stochastických lopatek (oběžné kolo i difuzor)
Dobšáková, Lenka ; Melichar, Jan (oponent) ; Veselý, Jindřich (oponent) ; Haluza, Miloslav (vedoucí práce)
Tato dizertační práce se zabývá studiem nerovnoměrné lopatkové mříže u odstředivých čerpadel. Vliv nerovnoměrné lopatkové mříže je zkoumána u oběžného i rozváděcího kola. Nerovnoměrné lopatkování kol čerpadla je v této práci zkoumáno z hlediska vlivu na účinnostní charakteristiku. Myšlenkou použití nerovnoměrného lopatkování je získání ploché účinnostní charakteristiky. Odstředivé čerpadlo by pak mohlo být používáno na větším rozsahu výkonů při dosažení dostatečně velké účinnosti. Práce je založena na experimentální měření a numerické simulaci nerovnoměrných hydraulických prvků čerpadla. Nerovnoměrné oběžné kolo a rozvaděč byli pro tento výzkum nově navrženy. Pro měření bylo v rámci této práce potřeba navrhnout a sestavit novou měřící trať malých ponorných čerpadel. Měřeny byly různé sestavy čerpadla s kombinacemi běžných návrhů hydraulik na jeden pracovní bod a hydraulik s nerovnoměrnou lopatkovou mříží. Všechna měření byla vyhodnocena a byly získány charakteristiky účinnosti, dopravní výšky a příkonu pro každou měřenou kombinaci. Část sestav měřených experimentálně byla také numericky vypočtena pomocí programu Ansys Fluent. Z numerických výpočtů byla sbírána data potřebná pro vyhodnocení charakteristiky účinnosti a měrné energie pro každou řešenou sestavu. Teoretické úvahy se týkají vlivu nerovnoměrné mříže u rozvaděče a vzniká tak doporučení, jak by bylo možné významně snížit ztráty v kanálech. Bylo také provedeno teoretické odvození způsobu, jak získat plochou charakteristiku účinnosti oběžného kola.
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
Česká republika, jako signatář Úmluvy o právech dítěte, svěřila výkon státní správy na úseku péče o nezletilé děti obecním úřadům obcí s rozšířenou působností, kde ochranu práv a oprávněných zájmů nezletilých dětí vykonávají orgány sociálně právní ochrany dětí (dále jen OSPOD), které jsou začleněny do systému výkonu státní správy v územním členění tak, aby byla zajištěna komplexní péče o nezletilé děti v rozsahu stanoveném zákonem o sociálně právní ochraně dětí. Postavení a úloha OSPOD, který je pověřen výkonem státní správy na úseku ochrany nezletilých dětí, jsou upraveny zák. č. 359/1999 Sb., o sociálně právní ochraně dětí, v platném znění. Stejně důležité je zakotvení postavení lidí pracujících na těchto úřadech. Z hlediska odbornosti jsou na ně kladeny vysoké nároky z hlediska znalostního profilu zejména z oboru práva. Jedná se o velice náročnou práci, která klade vysoké nároky na osobnostní profil zaměstnance. ČR provedla v posledních třech letech rozsáhlé zásahy do právní úpravy problematiky sociálně právní ochrany dětí, kde došlo k posílení ochrany práv nezletilých dětí a stanovení nových nástrojů k jejich ochraně. Přijetím nové právní úpravy rodinného práva, které je komplexně upraveno v zák. č. 89/2012 Sb., občanském zákoníku, následovala nová právní úprava procesních předpisů spojených s ochranou práv nezletilých dětí, kde vedle zák. č. 99/1963, občanský soudní řád platí také zák. č. 292/2013 Sb., o zvláštních řízeních soudních. Rozhodování o nezletilých dětech stát svěřil převážně do pravomoci soudů, které jmenují místně příslušný OSPOD opatrovníkem k zastupování zájmů nezletilých dětí. Na základě provedeného rozboru základních pojmů bylo cílem zjistit názory vybraných vedoucích pracovníků OSPOD a soudců okresních soudů na vydefinované problémy vyskytující se v postupech činnosti OSPOD a soudů při ochraně zájmu nezletilých dětí. Ve výzkumné části práce byly rozborem kazuistik vytipovány problémy v činnosti OSPOD. Z návrhů soudců i vedoucích pracovníků OSPOD vyplynula nezbytnost sjednocení místní příslušnosti. Soudy navrhují sjednocení dle místa, kde se nezletilé dítě zdržuje; OSPOD dle místa trvalého pobytu. Všech 10 oslovených vedoucích pracovníků OSPOD označilo za problém dožádání, kde tento institut není zahrnut do hodnocení výkonů, nelze jej odmítnout. Podjatost činí problémy v různých fázích řízení - je zde patrný rozdílný přístup soudů k řešení dané problematiky (některé vznesenou námitku podjatosti u soudu řeší a jiní nikoliv) a pro pracovníky OSPOD je obtížné odhadnout - jak se zachovat, je-li vůči nim námitka podjatosti vznesena (z tohoto důvodu bylo téma "podjatosti zpracováno komplexně včetně výkladu právního postupu pro pracovníky OSPOD). Vzdělávání pracovníků OSPOD je zákonem stanovenou povinností. Ne všem OSPOD se daří zajistit školení v požadovaném rozsahu - a to z finančních důvodů (průměrné náklady na školení na jednoho zaměstnance je od 9167,-- do 13400 Kč ročně - tyto náklady odpovídají cca 6 dnům školení). Pracovní vytíženost způsobená nedostatečným počtem zaměstnanců OSPOD neumožňuje absolvovat tato povinná školení. V rámci zkoumání "účasti kolizního opatrovníka při jednání u soudu" bylo zjištěno - nepravidelná účast kolizního opatrovníka u soudu (neúčast při odvolacím řízení); nedostatek zkušeností pracovníků OSPOD v této oblasti; neúplné zprávy z šetření v rodině, které jsou určené pro soud. Na základě vyhodnocení rozhovorů vyplynuly návrhy na zlepšení organizace školení OSPOD, na základě povedeného komplexního rozboru řešení problematiky místní příslušnosti bylo doporučeno řešení samostatné evidence dožádání a finanční kompenzace činnosti OSPOD při dožádání provedení zastupování nezletilých u soudu, vypracování návrhů předběžných opatření, návrh možného řešení začlenění OSPOD v jiné organizační struktuře.
|
|
Měření fonologického povědomí – test skládání hlásek na počátku školní docházky: porovnání klasického přístupu a teorie odpovědi na položku
Gorčíková, M. ; Šafr, Jiří
Cílem příspěvku je ukázat výhody a limity dvou přístupů klasické teorie měření (CCT) a teorie odpovědi na položku (IRT) k posouzení úrovně diagnostického nástroje pro hodnocení fonologického povědomí (FP) mezi žáky prvních tříd. FP bylo měřeno testem skládání hlásek v rámci longitudinálního výzkumu 25 škol v Praze a Středočeském kraji (N=439). Výhodou přístupu IRT oproti klasické testové teorie je především pojetí nezávislosti položek v testu. Pravděpodobnost určité odpovědi je tak závislá na úrovni latentní schopnosti žáka a charakteristikách konkrétní položky. Pokud tedy známe parametry položek (obtížnost) lze na základě odpovědí žáka odhadnout úroveň měřené lingvistické schopnosti uplatnitelné v praktické diagnostice. Výsledky poukázaly na vhodnost úpravy testu skládání hlásek (zejména pro konec první třídy) tak, aby adekvátně měřil velkou dynamiku růstu úrovně schopnosti FP během první třídy.
|
|
Matematická analýza regularizovaného modelu viskoelastické nenewtonovské tekutiny
Šalom, Pavel ; Pokorný, Milan (vedoucí práce) ; Bulíček, Miroslav (oponent)
V této diplomové práci dokazujeme existenční výsledek pro regularizovaný model viskoe- lastické nenewtonowské tekutiny. Uvažujeme nestlačitelnou tekutinu s viskozitou závislou na rychlosti smyku a s Cauchyho tenzorem popisujícím relaxaci napětí. Elastická část Cauchyho tenzoru napětí je řízena diferenciální rovnicí Oldroydova typu. Studujeme především tekutiny vykazující silný tzv. " shear thinning" efekt. V práci je dokázáno, že pokud viskozita µ (D) je funkce taková, že tenzor µ (D) D je p-koercivní, monotónní a má (p − 1)-růst pro p > 6 5 a jsou navíc splněny nějaké další podmínky, pak existuje řešení systému PDR popisujících proudění v omezené oblasti. Důkaz není jednoduchý, protože konvektivní člen není integrovatelný ve vysoké mocnině. Tento problém je vyřešen použitím metody lipschitzovských aproximací pro evoluční PDR. 1
|
|
Řízení distribuce ve velkém podniku (velkoskladu)
MICHALOVÁ, Jana
Řízení distribuce ve velké společnosti. Tato Diplomová práce zkoumá společnost Fruko-Schulz, s. r. o. Firma se zabývá výrobou lihovin. Cílem je zmapovat informační a materiálové toky směrem do skladu a ze skladu. Následně analyzovat současný stav společnosti. Na základě informací navrhnout opatření pro zlepšení. Ve vlastní práce je podrobně popsány podnikatelské aktivit ve firmě. Následně jsou nevrženy náměty na zlepšení. Tyto návrhy se týkají distribuce ke konečnému zákazníkovi prostřednictvím gastronomických výstav a veletrhů. Další návrhy jsou zaměřeny na koncové uživatele v ruském trhu. Nápady pro změnu obalů nebo nových produktů jsou navrženy, ale posléze vyvráceny. Firma Fruko-Schulz, s. r. o. má dlouhodobou tradice a skvělou pověst. Ale to nestačí, konkurence je velká a na vysoké úrovni. Myšlenka zaměřit se na ruský trhu je velmi dobrá a je zde velký potenciál.
|
|
Doped DLC coatings for biomedical applications
Písařík, Petr
Nowadays there are materials having excellent properties for use in medicine (Diamond-like carbon, Hydroxyapatite, …). Diamond-like carbon (DLC) is a metastable form of amorphous carbon containing bonded carbon atoms of sp2 and sp3 hybridized orbital. DLC layers are semiconductors with high mechanical hardness, chemical inertness, low coefficient of friction, high thermal conductivity, good electrical and optical properties, biocompatibility and no cytotoxicity. All properties of the films are not always ideal, so it is necessary to modify the layer. One example of how to modify the properties of thin layers are dopations. The incorporation of dopants in films may lead to greater multifunctionality and much improved properties. Most modifications were made to modify contact angle and surface energy, to reduce internal stresses, to decrease surface roughness, coefficient of friction or wear....
|
|
Biochemické motody jako nástroj pro studium proteinů v reprodukci
Postlerová, Pavla ; Zigo, Michal ; Pohlová, Alžběta ; Jonáková, Věra
Studium molekulárních mechanismů rerodukce je důležité pro pochopení tohoto děje. pro extrakci proteinů ze spermií využíváme různé přístupy a specializované kity, které izolují proteiny z různých částí a povrchu spermatické buňky. Proteiny z reprodukčních tekutin dělíme pomocí chromatografických metod. Charakterizaci a porovnání proteinů získaných odlišnými extrakčními metodami nebo proteinů různých savčích druhů a proteinů spermií, které jsou v rozdílných stádiích svého vývoje, provádíme pomocí SDS a 2D elektroforézy. Elektroforeticky separované proteiny přenesené na NC membránu využíváme pro detekci pomocí protilátek nebo k vazebnýcm studiím s biotinem značenými ligandy. Izolace proteinů z reprodukčních tkání a tekutin a jejich detekce pomocí protilátek je nezbytná pro určení původu proteinů reprodukčního traktu. Lokalizace proteinů na povrchu a uvnitř spermatických buněk a v sekreční tkáni reprodukčních orgánů studujeme pomocé imunofluorescenční mikroskopie. Cílená izolace určitých proteinů spermatické buňky, jejich lokalizace na spermiích nebo v tekutinách a tkáních reprodukčního traktu slouží jako nepostradatelné nástroje pro studium molekulárních mechanismů reprodukčního procesu.
|
host ::
