რატომ მარტო დაშიფვრა არ აჩერებს ხელახლა გაგზავნილ პაკეტს

დაცული პაკეტები კრიპტოგრაფიულად არ იწურება, ამიტომ ხუთი წუთის წინ სწორი პაკეტი ახლაც სწორია, რადგან დაშიფვრა და მთლიანობის დაცვა არაფერს ამბობენ იმაზე, როდის შეიქმნა ბაიტები. თავდამსხმელს, რომელსაც შეუძლია ტრაფიკის ჩაჭერა და ხელახლა გაგზავნა, არ სჭირდება შიფრის გატეხვა. სწორედ ამიტომ ყოველი სერიოზული გვირაბის პროტოკოლი თავის გასაღებებთან ერთად მიმდევრობის მდგომარეობას ატარებს.

მექანიზმი მცირეა, და მისი წარუმატებლობის ხერხები ადვილად ერევა პაკეტის დაკარგვას.

სწორი შიფრტექსტი არ არის ახალი შიფრტექსტი

ავთენტიფიკაცია პასუხობს ერთ კითხვას: მოვიდა ეს ბაიტები უცვლელად გასაღების მფლობელისგან. ის არ პასუხობს, პირველად ხედავს მათ მიმღები თუ არა. ხელახლა გაგზავნილი პაკეტი სრულყოფილად გადის პირველ გამოცდას, და სწორედ ამიტომ მხოლოდ მთლიანობის შემოწმება ვერ შეაჩერებს გამეორებას და ამიტომ პროტოკოლს სჭირდება მეორე წესი მიღების შესახებ. მიმღებს, რომელიც მხოლოდ ავთენტიფიცირებას აკეთებს, არ აქვს დაცვა ჩანაწერის მქონე თავდამსხმელის წინააღმდეგ.

ეს წესი იაფია დასანერგად და იაფია ჩამოსაყალიბებლად: მიიღე მოცემული დაცული პაკეტი ერთხელ, მოცემული გასაღების ქვეშ. დანარჩენი ყველაფერი ამ სფეროში გამომდინარეობს იქიდან, თუ როგორ თვალს ადევნებს იმპლემენტაცია ამ ერთხელს.

გამეორების უარყოფის გაშიფვრის შეცდომად წაკითხვა სრულიად არასწორ ქვესისტემაში გიგზავნით.

მიმდევრობის ნომერი და ფანჯარა

IPsec ESP ატარებს მიმდევრობის ნომერს და მიმღები ინახავს ცოტა ხნის წინ მიღებული მნიშვნელობების მოცურავ ფანჯარას, ხოლო ESP სპეციფიკაცია აღწერს ფანჯრის ნაგულისხმევ ზომას და მისი გაფართოების შესაძლებლობას. WireGuard სხვა გზას მიდის: მრიცხველი თითოეული გასაღებისთვის და მკაფიო შემოწმება მის წინააღმდეგ. არც ერთი დიზაინი არ ვარაუდობს, რომ პაკეტები რიგით მოდის, რადგან რეალური ქსელები მათ არეორგანიზებენ. ორივე იტანს გადალაგებას და არც ერთი არ იტანს გამეორებას.

ფანჯარაა ის, რაც ამ შემწყნარებლობას შესაძლებელს ხდის. ყველაზე მაღალი ნანახი მნიშვნელობიდან ოდნავ უკან მდგარი პაკეტი ჯერ კიდევ მიიღება, თუ ადრე არ მიუღიათ; ბევრად უკან მდგარი, ან ის, რომლის ადგილიც უკვე მონიშნულია, იხსნება. გაზარდე ფანჯარა და მეტ გადალაგებას იტან, თითო ასოციაციაზე მეტი მდგომარეობის ფასად.

დიაგნოსტიკური მრიცხველები გიჩვენებენ, რომელ შემთხვევაში ხარ. გამეორების უარყოფები ზრდის კონკრეტულ მრიცხველს და არა ზოგად შეცდომას, და ამ მრიცხველის წაკითხვა პირველი სასარგებლო დაკვირვებაა.

nstat -az | grep -i XfrmIn
ip -s xfrm state | head -n 30
wg show wg0 transfer

მდგომარეობა გასაღებს ეკუთვნის, არა ჰოსტს

მრიცხველის მდგომარეობა მიბმულია უსაფრთხოების ასოციაციას ან გასაღების ეპოქას, ამიტომ გასაღების შეცვლა ქმნის ახალ კონტექსტს და საკუთარ მიმდევრობის სივრცეს. მრიცხველის გასუფთავება გასაღების შეუცვლელად, ან ასოციაციის ხელახლა გამოყენება ხელით გადატვირთვის შემდეგ არღვევს იმ დაშვებას, რომელსაც მიმღების ფანჯარა ეყრდნობა. სწორედ ამიტომ არსებობს პროტოკოლით მართული გასაღების შეცვლა და არა ოპერატორისთვის ხილული გადატვირთვის ღილაკი.

როცა გვირაბი ხელით ჩარევის შემდეგ ცუდად იქცევა, ჰკითხე, შეეხო თუ არა ჩარევა მიმდევრობის მდგომარეობას. იდენტურად დანახული კონფიგურაცია შეიძლება სხვაგვარად მოიქცეს, რადგან მემკვიდრეობით მიღებული მდგომარეობა არ არის ის, რასაც ის ელის.

დიაგნოსტიკა ჩაატარე მიზეზისა, სანამ რამეს გამორთავ

დაკარგვა, გადალაგება, დუბლირებული ტრაფიკი და იმპლემენტაციის ხარვეზი ყველა გადაგზავნის სახით ვლინდება, და მათგან მხოლოდ ერთია გამეორების პრობლემა. შემოწმების გამორთვა ხმაურის ჩასახშობად აშორებს იმ თვისებას, რომელსაც ეყრდნობოდი და ართულებს თავდაპირველი მიზეზის პოვნას, რადგან ახლა გადაგზავნებს საერთოდ არ აქვთ ახსნა.

შეაგროვე შეზღუდული მტკიცებულება: ასოციაციის იდენტიფიკატორები, მიმდევრობის ნომრები და მრიცხველები, ტვირთამწეობის გარეშე. ეს საკმარისია დუბლიკატის გადალაგებული მოსვლისგან გასარჩევად და არ აქცევს შენს დიაგნოსტიკურ ფაილს მომხმარებლის ტრაფიკის ასლად.

რასაც შემოწმება არ გვპირდება

გამეორებისგან დაცვა ერთი პროტოკოლის შიგნით პაკეტების დამუშავების თვისებაა. ეს არ ნიშნავს, რომ ოპერატორი არ ინახავს ჟურნალებს, რომ საიტი ვერ იცნობს ანგარიშს, ან რომ სესია ანონიმურია. ეს ცალკეული კითხვებია ცალკეულ სისტემებზე, და ძლიერი ანტიგამეორებითი დიზაინი არც ერთზე არ პასუხობს.

მხარდაჭერილი პარამეტრებით მოვლილი პროგრამული უზრუნველყოფა არის პრაქტიკული კონტროლი, რაც მომხმარებელს აქვს. პაკეტს პროტოკოლი ამუშავებს; დანარჩენი ყველაფერი ოპერაციულ გადაწყვეტილებად რჩება.