Proweniencja Attesto 3

AttestoMark Video

AttestoMark Video jest składany z dostawcy obrazu, klatka po klatce, i odczytywany w seriach kolejnych klatek. Ta strona podaje, co według pomiarów przetrwa, co według pomiarów ginie i czego wykrycie nie ustala.

Zakres

AttestoMark Video nie wprowadza drugiego algorytmu znakowania. Składa AttestoMark Image na wybranych klatkach: na początku każdego interwału seria klatek otrzymuje locator, a wykrywanie dekoduje serie kolejnych klatek zamiast pojedynczych klatek rozłożonych równomiernie.

Ten wybór czyni wykrywanie odpornym na przycinanie w czasie. Każdy interwał otwiera serię, więc ciąg tej długości zawiera oznaczoną klatkę niezależnie od przesunięcia cięcia. Pojedyncze sondy rozłożone równomiernie mogą pozostać w fazie z okresem serii i ominąć je wszystkie, co jest mierzone w testach protokołu, a nie zakładane.

Architektura

Ekstrakcja i ponowne składanie klatek korzystają z ffmpeg, który żyje wyłącznie w obrazie multimedialnym Local Vault. ffmpeg kosztuje 205 dodatkowych pakietów i 448 MB ponad obraz bazowy — zmierzone, nie oszacowane — a biblioteki kodeków są historycznie powierzchnią ataku bogatą w CVE, więc instalacja, która nigdy nie znakuje wideo, ich nie niesie.

Samo znakowanie działa w tej samej piaskownicy klasy S co dostawca obrazu: bez sieci, ze stałą nieuprzywilejowaną tożsamością i z dostępem do plików ograniczonym do przekazanej klatki.

Cykl osadzania

Sejf rezerwuje wpis wobec skrótu nieoznaczonego wideo, znakuje klatki serii, składa strumień z powrotem, a następnie niezależnie wykrywa wynik przed domknięciem wpisu. Osadzenie, którego nie da się odczytać z powrotem, jest odrzucane.

Wykrywanie kluczowane

Wykrywanie pobiera serie sondujące, dekoduje każdą klatkę przez dostawcę obrazu i rozstrzyga locator wobec zaszyfrowanego rejestru. Liczy się wyłącznie dokładne rozstrzygnięcie; wszystko inne to not_observed.

Formaty i ograniczenia

Formaty kontenerów, które ffmpeg potrafi zdekodować i przekodować, wytwarzane jako H.264 w MP4. Znak żyje w klatkach, więc kontener jest sprawą uboczną.

Klucze i rejestr

Zestaw kluczy wideo niesie własny identyfikator schematu i istnieje wyłącznie w Local Vault. Rejestr jest szyfrowany w spoczynku, a ani identyfikator znaku, ani bity locatora nie pojawiają się w pliku bazy danych.

Dowody

Jeden schemat dowodowy obejmuje każdą modalność. Celowo nie ma obiektu dowodowego swoistego dla wideo: czytelnik, który musiałby najpierw wiedzieć, która modalność wytworzyła wynik, zanim pozna jego znaczenie, czytałby inny protokół dla każdego formatu.

Zmierzona odporność

Osiem zasobów i 80 przypadków wobec prawdziwego dostawcy i prawdziwego ffmpeg: transkodowanie do H.264, obniżenie przepływności, skalowanie do 75%, umiarkowane kadrowanie, przycięcie, konwersja liczby klatek do 24, usunięcie ścieżki dźwiękowej i wyodrębnienie krótkiego fragmentu, a także dokładne wykrycie i kontrola fałszywie dodatnia z niepasującym kluczem.

8/8 wszędzie poza obniżeniem przepływności z wynikiem 6/8. Agresywne ograniczenie przepływności usuwa drobne szczegóły, w których żyje sygnał klatki, co jest oczekiwane i zostaje podane, a nie przemilczane.

Te liczby opisują ten korpus, te przekształcenia, tę wersję dostawcy i to środowisko wydania. Nie są uniwersalnym wskaźnikiem przetrwania.

Zmierzone usuwanie

Schemat seryjny zachęca do oczywistego przypuszczenia: że usunięcie klatek usuwa znak. Zaatakowano sześć zasobów po 90 klatek, aby to sprawdzić, i przypuszczenie jest błędne.

Usunięcie co drugiej klatki, co trzeciej, zmniejszenie liczby klatek o połowę do 15, przyspieszenie o 10% i odtworzenie wstecz pozostawiają znak nienaruszony. Struktura czasowa jest odporniejsza niż klatki, z których się składa.

To, co go usuwa, jest tym, co usuwa znak obrazu: kadrowanie do środkowych 50% każdej klatki i rekompresja przy CRF 40, gdzie widoczne są bloki. Nic swoistego dla wideo nie dodaje nowej słabości, co oznacza, że twierdzeniem do zawężenia jest twierdzenie o obrazie, a nie osobne twierdzenie o wideo.

Eksploatacja

Znakowanie wideo wymaga obrazu multimedialnego, zbudowanego z --target runtime-video. Obraz bazowy nie niesie bibliotek kodeków i odrzuca operacje wideo, zamiast po cichu nic nie wytwarzać.

Tryby awarii

Osadzenie, którego nie da się niezależnie odczytać z powrotem, jest odrzucane. Klatka, której dostawca nie potrafi oznaczyć, przerywa operację, zamiast wytworzyć wideo z niepełną serią. Brakujący kodek jest zgłaszany jako brakujący kodek, a nie jako brak znaku.

Granica twierdzeń

Udane wykrycie dowodzi, że ten Local Vault rozstrzygnął kluczowany locator obecny w pokazanych mu klatkach i powiązał go ze swoim zaszyfrowanym wpisem znaku. Nie dowodzi, że wideo jest zasobem, który oznaczono, kto je nakręcił, czy zostało wygenerowane, czy pokazuje coś prawdziwego ani do kogo należy. Brak znaku nie jest dowodem, że coś nie pochodzi z tego łańcucha. Znak można usunąć, kadrując obraz lub mocno rekompresując, co podano powyżej — i dlatego wykrycie jest dowodem, który waży się obok pokwitowań, powiązań źródłowych i polityki, a nie werdyktem samym w sobie.