Zur Kurzanzeige

AutorPilz, Enricodc.contributor.author
Aufnahmedatum2016-03-14T15:19:38Zdc.date.accessioned
In OPARU verfügbar seit2016-03-14T15:19:38Zdc.date.available
Jahr der Erstellung2008dc.date.created
ZusammenfassungIn 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
Sprachededc.language.iso
Verbreitende StelleUniversität Ulmdc.publisher
LizenzStandard (Fassung vom 03.05.2003)dc.rights
Link zum Lizenztexthttps://oparu.uni-ulm.de/xmlui/license_v1dc.rights.uri
SchlagwortBiviumdc.subject
SchlagwortTriviumdc.subject
DDC-SachgruppeDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHAlgebra, Booleandc.subject.lcsh
TitelBoolsche Gleichungssysteme, SAT Solver und Stromchiffrendc.title
RessourcentypAbschlussarbeit (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
FakultätFakultät für Ingenieurwissenschaften und Informatikuulm.affiliationGeneral
Datum der Freischaltung2008-08-27T16:02:34Zuulm.freischaltungVTS
Peer-Reviewneinuulm.peerReview
DCMI MedientypTextuulm.typeDCMI
VTS-ID6526uulm.vtsID
KategoriePublikationenuulm.category


Dateien zu dieser Ressource

Thumbnail

Das Dokument erscheint in:

Zur Kurzanzeige