Browsing by Author "Toots, Aivo"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Tugitööriist äriprotsessimudeli ja -notatsiooni privaatsuslaiendusele(2018) Toots, Aivo; Pille Pullonen; Luciano García-BañuelosKäesolev töö käsitleb tugitööriista äriprotsessimudeli ja -notatsiooni privaatsuslaiendusele, mis täiendab äriprotsesside modelleerimiskeelt võimalustega lisada äriprotsessi mudelitele privaatsustehnoloogiate kirjeldusi. Äriprotsessimudeli ja -notatsiooni privaatsuslaiendus võimaldab visualiseerida privaatse informatsiooni liikumist ja avalikustamist äriprotsessides erinevate osapoolte vahel.Töö tulemusena valminud tööriist nimega PE-BPMN editor võimaldab luua privaatsuslaiendusega äriprotsessimudeli ja -notatsiooni mudeleid. Sealjuures pakub tööriist võimalust kontrollida nende mudelite süntaktilist korrektsust, mis on aluseks nende mudelite edasisteks analüüsideks. Praeguseks on võimalik kasutada kahte analüüsimeetodit, mille kombineeritud tulemus annab ülevaate äriprotsessis kasutatavast privaatsest informatsioonist, millel on oht lekkida. Saadud tulemus võimaldab täiustada olemasolevaid ja planeerida uusi turvalisemaid äriprotsesse.Item Zero-Knowledge Proofs for Business Processes(Tartu Ülikool, 2020) Toots, Aivo; Laud, Peeter, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituutEvery day the amount of private and sensitive information shared in the Internet increases. This means that there is also a growing need for solutions to protect this information. There are various effective technologies used to protect or hide private and sensitive information, but even better approach would be to reduce the need for sharing this information through the Internet at all. In many cases, zero-knowledge proofs could be used, replacing the shared sensitive information with proofs based on this information. As zero-knowledge proofs have a lot of potential, but they are not widely used in practical applications yet, this thesis presents a tool that supports two goals – firstly, making systems more secure and privacy-preserving, and secondly, bringing zero-knowledge proofs more into practical applications. This paper describes a tool that allows to prove, based on a description of a system (a process) expressed as a business process model in BPMN notation, that the system (a process) has under certain conditions some stated properties, for example, that there is a flaw in it. For example, one may prove that a purchase process satisfying certain conditions allows one to receive the product without actually paying for it, without disclosing how this is achieved. For constructing and verifying the proofs, the tool uses the zkSNARK protocol provided by libsnark.