Show simple item record

AuthorPilz, Enricodc.contributor.author
Date of accession2016-03-14T15:19:38Zdc.date.accessioned
Available in OPARU since2016-03-14T15:19:38Zdc.date.available
Year of creation2008dc.date.created
AbstractIn dieser Arbeit wird ein algebraischer State-Recovery-Angriff auf zwei Stromchiffren Bivium und Trivium vorgestellt. Die Spezifikation der Chiffren wird auf zwei Arten in ein dünn besetztes Gleichungssystem umgesetzt und in eine äquivalente aussagenlogische Formel in KNF umgewandelt, die ein SAT Solver lösen kann. Um die Komplexität zu reduzieren, wird eine Untermenge der Variablen geraten. Verschiedene Strategien diese Menge auszuwählen werden vorgestellt und hinsichtlich verschiedener Parameter wie beispielsweise Größe des vereinfachten Gleichungssystems, Größe der KNF oder Laufzeit des SAT Solvers verglichen. Weiterhin wird eine Variante vorgestellt, die ausnutzt, dass SAT Solver Konflikte in Form von zusätzlichen Klauseln lernen können. Mit den vorgestellten Methoden wurde für einen Angriff auf Bivium bei minimal bekanntem Schlüsselstrom mit den Ratestrategien ending und equations eine Dauer von 2^46 Sekunden ermittelt. Dies ist besser als Brute Force auf den Schlüssel; damit gilt diese Stromchiffre als gebrochen. Für Trivium ergibt sich mit der Ratestrategie equations eine Komplexität von 2^150. Damit ist Trivium zwar nicht gebrochen, aber dieses Ergebnis ist eine Verbesserung.dc.description.abstract
Languagededc.language.iso
PublisherUniversität Ulmdc.publisher
LicenseStandard (Fassung vom 03.05.2003)dc.rights
Link to license texthttps://oparu.uni-ulm.de/xmlui/license_v1dc.rights.uri
KeywordBiviumdc.subject
KeywordTriviumdc.subject
Dewey Decimal GroupDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHAlgebra, Booleandc.subject.lcsh
TitleBoolsche Gleichungssysteme, SAT Solver und Stromchiffrendc.title
Resource typeAbschlussarbeit (Bachelor)dc.type
DOIhttp://dx.doi.org/10.18725/OPARU-1010dc.identifier.doi
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-65265dc.identifier.urn
GNDErfüllbarkeitsproblemdc.subject.gnd
GNDNichtlineares Gleichungssystemdc.subject.gnd
GNDStromchiffredc.subject.gnd
FacultyFakultät für Ingenieurwissenschaften und Informatikuulm.affiliationGeneral
Date of activation2008-08-27T16:02:34Zuulm.freischaltungVTS
Peer reviewneinuulm.peerReview
DCMI TypeTextuulm.typeDCMI
VTS-ID6526uulm.vtsID
CategoryPublikationenuulm.category


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record