Zero
La tecnologia viene fornito con una trappola mentale, dice il professor Bob Williamson: “È facile per ottenere intrappolati a pensare che si sta parlando di un artefatto.”
Williamson è ricercatore capo Data61, Australia, dati di ricerca di scienza e ingegneria dell’agenzia, e preferisce una definizione utilizzata dall’economista professore Ola Olsson e altri.
“La tecnologia è utile la conoscenza, nulla di più,” Williamson ha detto il SINET61 conferenza a Sydney martedì.
“C’e’ una tecnologia che penso realmente, domina su tutti, che è la matematica”, ha detto. “La matematica è ciò che ha sostenuto la rivoluzione scientifica. Che è quello che permette di costruire schermo di un computer come quello sul palco], e gli edifici che non ricadono giù,” ha detto.
I due bit di matematica che contano davvero, Williamson ha detto, sono probabilità e la prova.
La probabilità è la base di assicurazione, di un’attività che risale a prima dell’epoca Babilonese, ed è il risultato di una crescita delle spese di spedizione.
“Ciò che l’assicurazione non è, si trasforma in qualcosa che è zero o uno, in un continuum”, Williamson ha detto.
“Se è di proprietà di una nave ed è andato giù, si erano rovinati. Ma per fortuna, solo uno su cinque, o uno in 10 navi è andato giù, quindi se la diffusione di tale rischio, la vita è buona. Ora è non solo di aiutare a non andare in bancarotta. Ciò che fa è che mette un prezzo sulla qualità della nave”, ha detto.
“La pirateria può rovinare il vostro carico. L’incompetenza del capitano è in grado di rovinare il vostro carico. Ricordate la Exxon Valdez? Non essere ubriaco quando sei alla guida di una superpetroliera. Ma c’è una cosa fondamentale che si può fissare, in cui si possono fare le navi più affidabile. Navi che non si rompono in grandi onde. Navi che non si perde, perché i loro sistemi di navigazione non sono così buone. Una volta che si dispone di assicurazioni marittime, è possibile prezzo il valore di che.”
Prova risale matematico greco Euclide, secondo Williamson. Certamente Euclide, Elementi, pubblicato intorno al 300 A.C., è stato “determinante per lo sviluppo della logica e la scienza moderna”, come Wikipedia mette.
“Il Software è matematica, e se vuoi affidabilità del software, devi essere in grado di dimostrare che è vero. Ora la tecnologia esiste per fare questo. È raggiunto il punto in cui si può effettivamente dimostrare in modo significativo sistemi complessi. Ma i costi, così la gente non vuole andare e farlo,” Williamson ha detto.
Data61 propria formalmente provata seL4 microkernel è un esempio di un tale sistema. Ora è la base di un Dipartimento della Difesa di un progetto per permettere classificati e non classificati elaborazione dei dati attraverso un’unica interfaccia, senza compromettere la sicurezza o la funzione.
“Penso che l’innovazione sarà quando c’è un mercato sufficientemente liquido causati dai cyber risk insurance che finanzierà la costruzione di opportuni software” Williamson ha detto.
“Una volta che hai costruito il software appropriato, hai almeno risolto uno dei problemi. C’è ancora pirati, c’è ancora ubriaco capitani. Io non riesco a risolvere questo problema. Ma forse siamo in grado di fare il lavoro di tecnologia,” Williamson ha detto.
Liste di controllo non fanno stupidi, che farà professionale
L’aviazione e la medicina sono i settori che abbiamo fiducia con la nostra vita, ma sono molto diversi atteggiamenti verso la sicurezza. Secondo Williamson, il numero di morti iatrogene, che sono morti causati da errori medici, è equivalente a due Boeing 747 schiantarsi al giorno.
“L’industria dell’aviazione sa come trattare con l’errore e il fallimento. Si parla di errore e il fallimento. La professione medica … non voglio parlare di esso, e il loro disco che è terribile. Mettere un prezzo su di esso, e avendo un ciclo di feedback per risolvere il problema, è qualcosa che l’aviazione capito molto tempo fa,” ha detto.
Una componente chiave di aviazione e la cultura della sicurezza è la verifica preliminare di lista di controllo, che è stato sviluppato dopo l’incidente mortale nel 1935 il prototipo del Modello Boeing 299, il velivolo che divenne noto come il Boeing B-17 bomber.
“Boeing costruito un velivolo con quattro motori e tutti i tipi di funzioni. Era troppo complicato per un pilota di gestire, e si è schiantato. Si sono dimenticati di fare tutte le cose giuste,” Williamson ha detto.
Le persone intelligenti, a volte, trovare liste di controllo insultare, perché sanno di non sapere cosa fare. Ma un vero professionista, segue la lista di controllo ogni volta, perché sanno che, come chiunque, può fare errori.
Tech Pro Ricerca
SI guida per la minaccia di malware fileless
Criteri di sicurezza della rete
A pranzo e a imparare: BYOD regole e responsabilità
Linee guida per la costruzione di politiche di sicurezza
La consapevolezza della sicurezza e della formazione politica
0