Provenienza Attesto 3
AttestoMark Video
AttestoMark Video è composto a partire dal provider immagine, fotogramma per fotogramma, e riletto in sequenze di fotogrammi consecutivi. Questa pagina indica che cosa sopravvive secondo le misure, che cosa si perde secondo le misure e che cosa una rilevazione non stabilisce.
Ambito
AttestoMark Video non introduce un secondo algoritmo di marcatura. Compone AttestoMark Image su fotogrammi selezionati: all'inizio di ogni intervallo una raffica di fotogrammi riceve il locator, e la rilevazione decodifica sequenze di fotogrammi consecutivi anziché singoli fotogrammi distribuiti uniformemente.
Questa scelta rende la rilevazione resistente al taglio temporale. Ogni intervallo apre una raffica, quindi una sequenza di quella lunghezza contiene un fotogramma marcato qualunque sia lo sfasamento del taglio. Sonde singole distribuite uniformemente possono restare in fase con il periodo delle raffiche e mancarle tutte, cosa misurata nei test del protocollo anziché data per scontata.
Architettura
L'estrazione e il riassemblaggio dei fotogrammi usano ffmpeg, che vive solo nell'immagine multimediale del Local Vault. ffmpeg costa 205 pacchetti aggiuntivi e 448 MB rispetto all'immagine base — misurato, non stimato — e le librerie di codec sono storicamente una superficie d'attacco ricca di CVE, quindi un'installazione che non marca mai video non le porta.
La marcatura stessa gira nella stessa sandbox di classe S del provider immagine: nessuna rete, un'identità fissa non privilegiata e accesso ai file limitato al fotogramma che le viene consegnato.
Ciclo di inserimento
Il vault riserva un record rispetto al digest del video non marcato, marca i fotogrammi della raffica, riassembla il flusso e poi rileva di nuovo il risultato in modo indipendente prima di completare il record. Un inserimento che non può essere riletto viene respinto.
Rilevazione con chiave
La rilevazione estrae sequenze di sondaggio, decodifica ogni fotogramma tramite il provider immagine e risolve il locator nel registro cifrato. Conta solo una risoluzione esatta; tutto il resto è not_observed.
Formati e limiti
Formati contenitore che ffmpeg sa decodificare e ricodificare, prodotti come H.264 in MP4. Il marchio vive nei fotogrammi, quindi il contenitore è accessorio.
Chiavi e registro
Un set di chiavi video porta un proprio identificatore di schema ed esiste solo nel Local Vault. Il registro è cifrato a riposo, e né l'identificatore del marchio né i bit del locator compaiono nel file di database.
Evidenze
Un solo schema di evidenza copre ogni modalità. Non esiste deliberatamente un oggetto di evidenza specifico per il video: un lettore che dovesse prima sapere quale modalità ha prodotto un risultato per capirne il significato leggerebbe un protocollo diverso per formato.
Robustezza misurata
Otto asset e 80 casi contro il provider reale e ffmpeg reale: transcodifica in H.264, riduzione del bitrate, ridimensionamento al 75%, ritaglio moderato, taglio, conversione del frame rate a 24, rimozione della traccia audio ed estrazione di clip breve, oltre alla rilevazione esatta e a un controllo di falso positivo con chiave non corrispondente.
8/8 ovunque tranne la riduzione del bitrate a 6/8. Una limitazione aggressiva del bitrate rimuove il dettaglio fine in cui vive il segnale del fotogramma, cosa attesa che viene dichiarata anziché nascosta.
Questi numeri descrivono quel corpus, quelle trasformazioni, questa versione del provider e questo ambiente di rilascio. Non sono un tasso di sopravvivenza universale.
Rimozione misurata
Uno schema a raffiche invita a una supposizione ovvia: che togliere fotogrammi tolga il marchio. Sei asset da 90 fotogrammi sono stati attaccati per verificarlo, e la supposizione è falsa.
Togliere un fotogramma su due, uno su tre, dimezzare il frame rate a 15, accelerare del 10% e riprodurre all'indietro lasciano il marchio intatto in tutti i casi. La struttura temporale è più robusta dei fotogrammi di cui è fatta.
Ciò che lo rimuove è ciò che rimuove un marchio immagine: ritagliare al 50% centrale di ogni fotogramma e ricomprimere a CRF 40, dove la blocchettatura è visibile. Nulla di specifico del video aggiunge una debolezza nuova, il che significa che l'affermazione da restringere è quella dell'immagine e non un'affermazione video separata.
Esercizio
La marcatura video richiede l'immagine multimediale, costruita con --target runtime-video. L'immagine base non porta librerie di codec e rifiuta le operazioni video anziché non produrre nulla in silenzio.
Modalità di guasto
Un inserimento che non può essere riletto in modo indipendente viene respinto. Un fotogramma che il provider non riesce a marcare interrompe l'operazione anziché produrre un video con una raffica incompleta. Un codec mancante viene segnalato come codec mancante, non come marchio assente.
Limite delle affermazioni
Una rilevazione riuscita dimostra che questo Local Vault ha risolto un locator con chiave presente nei fotogrammi che gli sono stati mostrati e lo ha legato al proprio record cifrato del marchio. Non dimostra che il video sia l'asset che è stato marcato, chi lo abbia filmato, se sia stato generato, se mostri qualcosa di vero o di chi sia. L'assenza di un marchio non è prova che qualcosa non provenga da questa catena. Un marchio può essere rimosso ritagliando il fotogramma o ricomprimendo pesantemente, come indicato sopra, ed è per questo che una rilevazione è un'evidenza da pesare accanto a ricevute, legami di origine e policy, e non un verdetto in sé.