|
Porovnání webových rozšíření zaměřených na bezpečnost a soukromí
Petráňová, Jana ; Bednář, Martin (oponent) ; Polčák, Libor (vedoucí práce)
Tato práce se zabývá představením a porovnáním dostupných seznamů sledovacích prvků a webových rozšíření zaměřených na bezpečnost. Dále pojednává o nebezpečí, kterému je uživatel každodenním prohlížením internetu vystaven a před kterým jej rozšíření chrání. Součástí práce je návrh a implementace testovacího prostředí zaměřeného na porovnání služeb poskytnutých rozšířením. Cílem práce je porovnat na trhu dostupná rozšíření se zaměřením na bezpečnost a soukromí, nastínit všednímu uživateli rizika související s pohybem po internetu a doporučit mu konkrétní rozšíření v závislosti na jeho potřebách.
|
|
Budiž Baugruppe
Bevelaquová, Diana ; Landa, Filip (oponent) ; Hora, Jan (vedoucí práce)
Býva sa lepšie na dedine alebo v meste? Dobrá dostupnosť práce, školy, obchodov či kultúry alebo blízkosť prírody, pokoj, a víkendové grilovačky so susedmi. Musíme si vyberať? Dajú sa klady oboch možností skombinovať? Je práve princíp Baugruppe schopný vyriešiť súčasné problémy v oblasti bývania? „Baugruppe je skupina lidí, kteří spojí své finance a síly, aby si postavili cenově výhodný bytový dům podle svých představ.“ (1) Bývanie v štýle Baugruppe je pre mňa zakliesnené medzi dedinským a mestským spôsobom života a výstavby. V práci hľadám klady oboch možností, ktoré sa mi žiada skombinovať. Kladiem si otázku, či je možné túto zakliesnenosť odzrkadliť v návrhu obytnej štruktúry – v urbanizme, konštrukcii, formálnom výraze či v typológii. Prefabrikovaná konštrukcia bytových domov, ktorých parametre sú určované trhom, prináša monotónnosť, anonymitu ale aj efektivitu výstavby a finančné úspory. Individualita vo výstavbe rodinných domov so sebou naopak nesie slobodu, ktorá často obmedzuje všetkých naokolo. Domy odzrkadľujú estetické cítenie svojich majiteľov, svojpomocné prístavby a prestavby odrážajú ich meniace sa potreby. V Baugruppe sa ochota zdieľať priestory v prospech skupiny či okolitej komunity stretáva s potrebou vlastniť nehnuteľnosť. Cieľom je samozrejme bývať dobre, vo vlastnom, medzi susedmi, ktorých som si vybral sám, využívať ekonomické a kultúrne výhody mesta a za ušetrené peniaze si dopriať luxus naviac – či už väčšiu podlahovú plochu bytu, komunitné kúpele alebo skleník s paradajkami na skok od bytu. (1) BAUGRUPPE! Manuál, přístupné z: http://www.baugruppe.cz/index.php?page=baugruppe-manual
|
|
Systém anonymního sběru dat
Troják, David ; Malina, Lukáš (oponent) ; Dzurenda, Petr (vedoucí práce)
V rámci práce jsou analyzovány moderní přístupy k zajištění vyšší ochrany soukromí uživatelů. Zaměřuje se hlavně na skupinové digitální podpisy. V praktické části byl navržen a implementován PS umožňující anonymní sběr informací o síle signálu z mobilního zařízení. Aplikace byla navržena v souladu se základními kryptografickými požadavky jako je autentičnost a integrita přenášených dat. Anonymita uživatelů je zaručena jak na aplikační vrstvě (skupinový podpis) tak na síťové vrstvě (Tor).
|
|
Using Near-Field Communication (NFC) to Improve Messaging Privacy on Android OS
Karmazín, Jaromír ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
In this thesis, we build a simple instant messaging (IM) system that makes use of Near-Field Communication (NFC) for improved security and privacy. First, we analyze the NFC technology itself. Then, we research the NFC capabilities of Android, a popular operating system for smart mobile devices, as well as existing applications that use these capabilities. We also research the state of the art regarding secure IM, especially Signal Protocol and its open-source implementation for Android. Next, we design an IM system that uses Signal Protocol for message encryption and NFC for the exchange of cryptographic material, requiring neither the use of phone numbers nor a trusted third party. Finally, we show a reference implementation of the client and server applications and an evaluation of the security and privacy properties of this system.
|
| |
|
Cryptographic Protection of Digital Identity
Dzurenda, Petr ; Švenda,, Petr (oponent) ; Castella-Roca, Jordi (oponent) ; Hajný, Jan (vedoucí práce)
The doctoral thesis deals with privacy-preserving cryptographic schemes in access control and data collection areas. Currently, card-based physical access control systems are used by most people on a daily basis, for example, at work, in public transportation and at hotels. However, these systems have often very poor cryptographic protection. For instance, user identifiers and keys can be easily eavesdropped and counterfeited. Furthermore, privacy-preserving features are almost missing and, therefore, user’s movement and behavior can by easily tracked. Service providers (and even eavesdroppers) can profile users, know what they do, where they go, and what they are interested in. In order to improve this state, we propose four novel cryptographic schemes based on efficient zero-knowledge proofs and elliptic curve cryptography. In particular, the thesis presents three novel privacy-friendly authentication schemes for access control and one for data collection application scenarios. The first scheme supports distributed multi-device authentication with multiple Radio-Frequency IDentification (RFID) user’s devices. This feature is particularly important in applications for controlling access to dangerous areas where the presence of protective equipment is checked during each access control session. The other two presented schemes use attribute-based approach to protect user’s privacy, i.e. these schemes allow users to anonymously prove the ownership of their attributes, such as age, citizenship, and gender. While one of our scheme brings efficient revocation and identification mechanisms, the other one provides the fastest authentication phase among the current state of the art solutions. The last (fourth) proposed scheme is a novel short group signature scheme for data collection scenarios. Data collection schemes are used for secure and reliable data transfer from multiple remote nodes to a central unit. With the increasing importance of smart meters in energy distribution, smart house installations and various sensor networks, the need for secure data collection schemes becomes very urgent. Such schemes must provide standard security features, such as confidentiality and authenticity of transferred data, as well as novel features, such as strong protection of user’s privacy and identification of malicious users. The proposed schemes are provably secure and provide the full set of privacy-enhancing features, namely anonymity, untraceability and unlinkability of users. Besides the full cryptographic specification and security analysis, we also show the results of our implementations on devices commonly used in access control and data collection applications.
|
|
Studentské bydlení
Golík, Pavel ; Todorov, Petr (oponent) ; Pelčák, Petr (vedoucí práce)
Architektonická studie zástavby severního cípu městského bloku v těsné blízkosti Brněnského centra. Hlavním záměrem řešení je zejména snadná průchodnost územím, bezpečnost chodce a snadná orientace v prostoru. Architektonická studie studentského bydlení je první etapou změn v dané lokalitě dle RP. Záměrem bylo do rozbité a nejednotné formy zástavby vnést městské prvky, široké ulice, pasáže, náměstí a dvory, které zhodnotí a rozvinou charakter a životaschopnost místa. Architektonický koncept zástavby bloku zohledňuje hlukovou zátěž místa a reaguje na špatnou orientaci vzhledem k severu. Nová zástavba je konstrukčně i dispozičně projektovaná tak, aby snížila hladinu hluku interiérových prostor a vytvořila klidové zóny vnitroblokem.
|
|
Personal data protection and cookies
Svetlík, Adam ; Stupka, Václav (oponent) ; Míšek, Jakub (vedoucí práce)
This thesis deals with an analysis of cookies, a specific field of personal data protection. In particular, the thesis examines the legal aspects of the technology, as well as their insufficiencies. Besides that, it provides an analysis of several examples of privacy violations caused by cookies.
|
|
Authentication Protocols and Privacy Protection
Hajný, Jan ; Vozňák, Miroslav (oponent) ; Vaněk,, Tomáš (oponent) ; Burda, Karel (vedoucí práce)
This dissertation thesis deals with the cryptographic constructions for user authentication. Rather than classical authentication protocols which allow only the identity verification, the attribute authentication systems are the main topic of this thesis. The attribute authentication systems allow users to give proofs about the possession of personal attributes. These attributes can represent any personal information, for example age, nationality or birthplace. The attribute ownership can be proven anonymously and with the support of many features for digital identity protection. These features include, e.g., the unlinkability of verification sessions, untraceability, selective disclosure of attributes or efficient revocation. Currently, the attribute authentication systems are considered to be the successors of existing authentication systems by the official strategies of USA (NSTIC) and EU (ENISA). The necessary features are partially provided by existing cryptographic concepts like U-Prove and idemix. But at this moment, there is no system providing all privacy-enhancing features which is implementable on computationally restricted devices like smart-cards. Among all weaknesses of existing systems, the missing unlinkability of verification sessions and the absence of practical revocation are the most critical ones. Without these features, it is currently impossible to invalidate expired users, lost or stolen authentication cards and cards of malicious users. Therefore, a new cryptographic scheme is proposed in this thesis to fix the weaknesses of existing schemes. The resulting scheme, which is based on established primitives like $\Sigma$-protocols for proofs of knowledge, cryptographic commitments and verifiable encryption, supports all privacy-enhancing features. At the same time, the scheme is easily implementable on smart-cards. This thesis includes the full cryptographic specification, the formal verification of key properties, the mathematical model for functional verification in Mathematica software and the experimental implementation on .NET smart-cards. Although the scheme supports all privacy-enhancing features which are missing in related work, the computational complexity is the same or lower, thus the time of verification is shorter than in existing systems. With all these features and properties, the resulting scheme can significantly improve the privacy of users during their verification, especially when used in electronic ID systems, access systems or Internet services.
|
|
Architektonická studie kostela pro sídliště Líšeň-Vinohrady v Brně
Havlík, Jiří ; Žalmanová, Petra (oponent) ; Šindlar, Jiljí (vedoucí práce)
Tato diplomová práce se zabývá tvorbou sakrálního prostoru v Brně Líšni, kde je požadavek na stavbu kostela jako součást střediska Salesiánů. Součást problematiky využití území je i stavba farního a komunitního domu jako součásti výše zmiňovaného kostela. Parcela je umístěna v místě gradování jižního svahu mezi ulicemi Horákova a Molákova v těsném sousedství se střediskem Salesi. Návrh je koncipován jako postupně gradující spirála zvedající se od hmoty komunitního domu až po plastiku kříže na vrcholu věže kostela. Vizuálně ze severní strany jsou budovy od sebe odděleny, ale od jihu je spojuje částečně podzemní patro. Budova komunitního domu je třípodlažní. Návrh kostela vychází z centralizace prostoru a gradování do středu budovy, kde se odehrávají veškeré významné události spojené s křesťanským rokem. Komplex slouží jak široké společnosti v možnosti vykonávat duchovní potřebu, tak také jako útočiště komunity Salesiánů, kteří z něj můžou konat své poslání.
|