Nul
Teknologi kommer med en psykisk fælde, siger professor Bob Williamson: “Det er let at blive fanget i at tænke, du taler om et artefakt.”
Williamson er ledende forsker på Data61, Australien data science forskning og udvikling agentur, og at han foretrækker en definition, der anvendes af økonom, professor Ola Olsson og andre.
“Teknologi er nyttig viden, intet mere end det,” Williamson fortalte SINET61 konference i Sydney tirsdag.
“Der er en teknologi, der tror jeg faktisk dominerer alle dem, som er matematik,” sagde han. “Matematik er det, som har understøttet den videnskabelige revolution. Det er, hvad giver dig mulighed for at bygge en computer skærm som [den ene på det tidspunkt], og bygninger, der ikke falder ned,” sagde han.
De to bits af matematik, der virkelig betyder noget, Williamson sagde, er sandsynligheden for, og bevis.
Sandsynligheden er grundlaget for forsikring, en virksomhed, der daterer sig tilbage til før det Babylonske gange, og var et resultat af væksten i fragt.
“Hvad omfatter forsikringen er det forvandler noget, der er enten nul eller en i et kontinuum,” Williamson sagde.
“Hvis du ejede et skib, og det gik ned, du blev ødelagt. Men heldigvis er det kun én ud af fem, eller én ud af 10 skibe gik ned, så hvis du sprede denne risiko, livet er godt. Nu er det ikke bare om at hjælpe dig med ikke at gå konkurs. Hvad det gør er, at det sætter en pris på kvaliteten af skibet,” sagde han.
“Piratkopiering kan ødelægge din last. Inkompetence af kaptajn kan ødelægge din last. Husk Exxon Valdez? Må ikke være beruset, når du kører et tankskib. Men der er en grundlæggende ting, som du kan lave, som du kan gøre skibene mere pålidelige. Skibe, der ikke bryder i store bølger. Skibe, som ikke bliver tabt, fordi deres navigationssystemer er ikke så god. Når du har maritime forsikring, du kan prissætte værdien af det.”
Bevis går tilbage til det Antikke græske matematiker Euklid, ifølge Williamson. Helt sikkert Euklid ‘ s Elementer, der blev offentliggjort omkring 300 F.KR., var “instrumental i udviklingen af logik og moderne videnskab”, som Wikipedia udtrykker det.
“Software er matematik, og hvis du ønsker pålidelig software, du er nødt til at være i stand til at bevise, at det er sandt. Nu er den teknologi, der eksisterer for at gøre dette. Det er nået til det punkt, hvor du faktisk kan være væsentligt komplicerede systemer. Men det koster, så folk ikke ønsker at gå ud og gøre det,” Williamson sagde.
Data61 egne formelt dokumenteret seL4 mikrokerne er et eksempel på et sådant system. Det er nu grundlag af et forsvarsministerium projektet til at tillade, at der er klassificeret og ikke-hemmeligstemplet data, der skal behandles via en enkelt grænseflade, uden at gå på kompromis med sikkerheden eller funktion.
“Jeg tror, at den innovation, der vil være, når der er et tilstrækkeligt likvidt marked som følge af cyber risk-forsikring, der vil finansiere bygning rette software,” Williamson sagde.
“Når du har bygget ordentlig software, du har i det mindste løst et af problemerne. Der er stadig pirater, er der stadig berusede kaptajner. Jeg kan ikke løse det. Men måske vi kan få teknologien til at virke,” Williamson sagde.
Tjeklister ikke gøre dig dum, de gør dig professionel
Luftfart og medicin er brancher, som vi stoler på med vores liv, men de har meget forskellige holdninger til sikkerhed. Ifølge Williamson, antallet af behandlings relaterede dødsfald, der er dødsfald forårsaget af medicinske fejl, svarer til to Boeing 747 fly til at styrte ned om dagen.
“Luftfartsindustrien ved, hvordan til at håndtere fejl og svigt. Det taler om fejl og svigt. Den medicinske profession … de ikke ønsker at tale om det, og deres registrering i, der er forfærdeligt. At sætte en pris på det, og få en feedback loop til at løse det, er noget af det luftfart regnet ud for længe siden,” sagde han.
En vigtig del af luftfartens sikkerhed kultur er den indledende tjekliste, som blev udviklet efter den fatale ulykke i 1935 af prototypen Boeing Model 299, – fly, der blev kendt som Boeing B-17 bombefly.
“Boeing bygget en flyvemaskine med fire motorer og alle mulige funktioner. Det var alt for kompliceret for en pilot at håndtere, og det styrtede ned. De glemte at gøre alle de rigtige ting,” Williamson sagde.
Intelligente mennesker undertiden finde tjeklister, fornærmende, fordi de ved, at de ved, hvad de skal gøre. Men en sand professionel følger tjekliste hver gang, fordi de ved, at som nogen, de kan lave fejl.
Tech Pro Forskning
DET leader ‘ s guide til truslen fra malware fileless
Netværk sikkerhedspolitik
Frokost og lære: BYOD regler og ansvar
Retningslinjer for opbygning af sikkerhedspolitikker
Sikkerhed bevidsthed og uddannelse-politik
0