See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

A Tool for the Formal Analysis of Symmetric Primitives

Kristjan Krips, magistrikraad, 2012, (juh) Sven Laur, A Tool for the Formal Analysis of Symmetric Primitives (Tööriist sümmeetriliste primitiivide formaalseks analüüsiks), Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut.
Kristjan Krips
magistrikraad
Kaitstud
Ei
30.08.2010
18.06.2012
2012
Inglise
A Tool for the Formal Analysis of Symmetric Primitives
Tööriist sümmeetriliste primitiivide formaalseks analüüsiks
ETIS klassifikaatorAlamvaldkondCERCS klassifikaator
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP175 Informaatika, süsteemiteooria