RICERCA
La ricerca dietro il design.
L'integrità dimostrabile dei dati significa che non deve mai crederci sulla parola: ogni garanzia è enunciata come proprietà e poi derivata, così chi la esamina può seguirla, contestarla e approvare qualcosa di diverso da una presentazione commerciale. Questa pagina è il luogo in cui quei documenti vengono pubblicati, e in cui saranno pubblicati anche quelli che riguarderanno ciò che costruiremo dopo. La documentazione tecnica è già online e copre lo stesso design in un'altra forma.
Paper DataPrism
Il design del sistema da un capo all'altro, e le garanzie formali dietro le tre proprietà.
CHE COSA DIMOSTRA
Che le proprietà sono conseguenze del design, non impostazioni. Può seguire ogni derivazione fino all'ipotesi su cui poggia e, se una di esse non regge nel suo ambiente, vedrà esattamente dove l'argomento smette di reggere.
A CHI È RIVOLTO
Per l'architetto o il revisore di sicurezza che deve approvare un design di storage e poi risponderne. Se cerca il racconto invece della derivazione, legga come il design diventa un prodotto.
In pubblicazione a breve
Paper sull'affidabilità
I modelli di affidabilità dietro la dispersione: come la ridondanza su provider indipendenti si traduce in guasti e rifiuti a cui si sopravvive, fino alla soglia di ridondanza che sceglie Lei. La matematica della durabilità, esposta per essere verificata, non accettata sulla fiducia.
CHE COSA DIMOSTRA
Che la sopravvivenza in caso di guasto è calcolata, non sperata: inserisca nei modelli il suo numero di provider e la sua soglia e ottiene le combinazioni di interruzioni e rifiuti che la dispersione assorbe, e quella in cui si ferma.
A CHI È RIVOLTO
Per l'ingegnere che deve rispondere a che cosa succede quando un provider si guasta, con un modello invece che con un aggettivo.
In pubblicazione a breve
Panoramica dell'architettura di sicurezza
Il modello di minaccia per intero: che cosa può vedere ogni attore, su che cosa poggia ogni garanzia e le scelte crittografiche che le sostengono.
CHE COSA DIMOSTRA
Chi può leggere che cosa, e a quali condizioni: provider, operatore, autorità, attaccante, ciascuno percorso a confronto con l'architettura. Alla maggior parte di ciò che chiede un questionario di sicurezza si può rispondere direttamente da questo documento.
A CHI È RIVOLTO
Per il CISO o il security engineer che conduce la due diligence prima di un pilota e preferisce leggere invece di prenotare una call.
In pubblicazione a breve
CHE COSA COPRONO I PAPER
Che cosa significa, formalmente, integrità dimostrabile dei dati.
GARANZIE FORMALI
Le proprietà enunciate e derivate, così può metterle alla prova una per una contro il suo modello di minaccia.
MODELLI DI AFFIDABILITÀ
Che cosa sopravvive quando i provider si guastano o rifiutano, e dove sta il limite, così fissa la sua soglia di ridondanza su elementi verificabili.
ARCHITETTURA
L'architettura completa, dal client al registro, con l'ipotesi di fiducia di ogni passaggio messa per iscritto.
GARANZIE ENUNCIATE
Quattro frasi che ci aspettiamo di sentirci citare.
Sono affermazioni che facciamo in tutto il sito. Le prime tre sono proprietà enunciate, con dietro una derivazione nei paper. La quarta è ciò che ne segue nella pratica. Le citi nella sua revisione di sicurezza, e ce ne chieda conto.
-
RISERVATEZZA
La cifratura avviene prima dell'upload. Nessuno può leggere i suoi dati, noi compresi.
-
DISPONIBILITÀ
I file sono dispersi con ridondanza su provider indipendenti. L'interruzione di un singolo provider non può rendere indisponibili i suoi dati.
-
INTEGRITÀ
Ogni frammento è indirizzato per contenuto. Qualsiasi manomissione è rilevabile dall'inizio alla fine.
-
INGIUNZIONE
Un operatore raggiunto da una richiesta può produrre solo frammenti incompleti di testo cifrato. La chiave è derivata dalla sua parte e non è memorizzata da nessuna parte, nemmeno qui.
PERCHÉ PUBBLICHIAMO
Preferiamo essere verificati che creduti.
Un'infrastruttura a cui affida i dati più sensibili non dovrebbe essere valutata sugli aggettivi, e Lei non dovrebbe approvarla sulla fiducia. Pubblicare il design, con le sue garanzie enunciate e derivate, trasforma il nostro racconto sulla sicurezza in qualcosa che chi la esamina può attaccare: legga le affermazioni, segua le derivazioni, cerchi la falla. La sua due diligence ottiene un documento invece di una riunione e, se trova una falla, vogliamo saperlo prima di chiunque altro.
I paper sono uno strato di uno stack verificabile: il modello di minaccia in parole semplici ha la sua panoramica qui sopra, e l'SDK di cifratura lato client è documentato allo scoperto. Ogni documento qui sopra rimanda al proprio PDF non appena viene pubblicato.
Questa pagina è una sede, non l'istantanea di un singolo rilascio. I documenti qui sopra coprono il sistema così com'è oggi. Man mano che il design acquisisce capacità, i paper che enunciano e derivano le garanzie legate a quelle capacità vengono pubblicati qui allo stesso modo, secondo la stessa regola: prima l'affermazione, poi la derivazione che la sostiene.
Costruito su una ricerca che pubblichiamo.
La documentazione mostra come il design diventa un SDK che i suoi ingegneri possono leggere riga per riga.