FBI backdoors on OperBSD IPSec stack

[HdkiLLeR]

fyi: http://marc.info/?l=openbsd-tech&m=129236621626462&w=2

[Master_ex]

damn!

[netharis]

Το τελευταίο οχυρό
Καλά, κανείς δεν είδε τα commits; Όλοι λαδωμένοι ήταν;

[necrofear]

Κρίμα!!!!

[c00kiemon5ter]

None can tell yet. Είχε πλάκα το παρακάτω:

We have never allowed US citizens or foreign citizens working in the US
to hack on crypto code (Niels Provos used to make trips to Canada to
develop OpenSSH for this reason)

[cyberpython]

Αν το πάμε ένα βήμα παραπέρα, ποιός μας λέει οτι παρόμοιες "τρύπες" δεν υπάρχουν και σε άλλα προγράμματα; Και αν οποιοσδήποτε compiler/interpreter ενσωματώνει backdoors που έτσι δεν είναι ορατά μέσω επισκόπησης του κώδικα της εφαρμογής;

It is also possible to create a backdoor without modifying the source code of a program, or even modifying it after compilation. This can be done by rewriting the compiler so that it recognizes code during compilation that triggers inclusion of a backdoor in the compiled output. When the compromised compiler finds such code, it compiles it as normal, but also inserts a backdoor (perhaps a password recognition routine). So, when the user provides that input, he gains access to some (likely undocumented) aspect of program operation. This attack was first outlined by Ken Thompson in his famous paper Reflections on Trusting Trust (see below).

[c00kiemon5ter]

yeah! αυτό το concept είναι awesome

conversely amd has a "debugger" that'll get you access to more goodies than you could imagine and just recently I discovered a similar "debugger" on the wifi chip on my phone. Guess its better it doesn't work anyhow

[HdkiLLeR]

None can tell yet.

++

Keep in mind ότι μιλάμε για code που κάνει leak key information. Δηλαδή για κάτι που θα μπορούσε, σε κατάλληλες συνθήκες, να είναι stepping stone για κάποιο side channel attack. Τέτοιες περιπτώσεις σφαλμάτων είναι ιδιαίτερα δύσκολο να γίνουν καλά καλά identify, πόσο μάλλον να τις κάνεις και exploit -- απ' όσο γνωρίζω μόνο σε ερευνητικό επίπεδο έχουν γίνει demonstrate παραδείγματα τέτοιων περιπτώσεων.

Τώρα απο την άλλη το IPSec stack στο OpenBSD έχει γραφτεί κυρίως απο τον Άγγελο Κερομύτη και τον Niels Provos, και βασίζεται (εάν θυμάμαι καλά) σε παλιότερο code του Γιάννη Ιωανίδη για το BSDi. Ο Niels έχει γράψει επίσης το systrace, έχει κάνει contribute στο Honeyd, και σε άπειρα ακόμη useful tools. Ο Άγγελος έχει γράψει όλο prototype του IPSec stack, τον πρώτο IKE daemon, το OpenBSD Cryptographic Framework (OCF), κλπ κλπ. Ο λόγος που αναφέρω τα παραπάνω είναι γιατί και οι δύο είναι πολύ respectful στον χώρο και ιδιαίτερα trustworthy. Συνεπώς, εγώ προσωπικά είμαι πολύ επιφυλακτικός σχετικά με την πηγή αυτών των claims, ένα άτομο το οποίο δεν γράψει/κάνει commit ούτε ένα bit.

food for thought: εάν το FBI είχε κάνει πραγματικά μια τέτοια κίνηση (που δεν το θεωρώ απίθανο), θα βασιζόταν απλά σε ένα NDA;... μάλλον όλο το project θα ήταν classified, και πολύ πιο πιθανόν τα contributions να ερχόντουσαν κατευθείαν απο δικά τους άτομα (maybe pseudo-identities)...

[cypha]

http://www.itworld.com/open-source/1308 ... articipant

[c00kiemon5ter]

Είναι όλα στην ml. Read it.