Noll
Tekniken kommer med en mental fälla, säger professor Bob Williamson: “Det är lätt att fastna i att tro att du talar om en artefakt.”
Williamson är chef för forskning forskare vid Data61, Australien data för forskning och teknisk byrå, och han föredrar en definition som används av ekonomen professor Ola Olsson m.fl.
“Teknik är användbar kunskap, inget mer än att,” Williamson berättade SINET61 konferens i Sydney på tisdag.
“Det är en teknik som jag tror faktiskt dominerar dem alla, som är matematik”, sade han. “Matematik är det som har legat till grund för den vetenskapliga revolutionen. Det är vad som tillåter dig att bygga en dator som [en på scenen] och byggnader för att inte falla ner,” sade han.
De två bitar av matematik som verkligen betyder något, Williamson sade, är sannolikheten och bevis.
Sannolikheten är grunden för försäkring, ett företag som går tillbaka till före den Babyloniska tiden, och var ett resultat av tillväxt för sjöfarten.
“Vad försäkringen gör är att den visar något som antingen är noll eller ett i ett kontinuum,” Williamson sade.
“Om du äger ett fartyg och det gick ner, du var förstört. Men lyckligtvis, bara en av fem, eller en i 10 fartyg gick ner, så om du sprida risken, livet är bra. Nu handlar det inte bara om att hjälpa dig att inte gå i konkurs. Vad det gör är att det sätter ett pris på den kvalitet av fartyget,” sade han.
“Piratkopiering kan förstöra din last. Inkompetens kapten kan förstöra din last. Kom ihåg Exxon Valdez? Bli inte berusad när du kör en supertanker. Men det är en grundläggande sak som du kan fixa, som du kan göra fartyg som är mer tillförlitliga. Fartyg som inte bryter i stora vågor. Fartyg som inte får gå förlorade på grund av att deras system för navigering är inte så bra. När du har sjöförsäkringar, du kan prissätta värdet av det.”
Ett bevis går tillbaka Antika grekiska matematikern Euklides, enligt Williamson. Säkert Euklides elementa, som publicerades omkring 300 F.KR., var “avgörande för utveckling av logik och modern vetenskap”, som Wikipedia uttrycker det.
“Programmet är matematik, och om du vill ha tillförlitlig programvara, måste du kunna bevisa att det är sant. Nu tekniken existerar för att göra detta. Är det nått den punkt där du faktiskt kan visa sig väldigt komplicerat system. Men det kostar, så att folk inte vill gå och göra det”, Williamson sade.
Data61 egna formellt bevisade seL4 mikrokärna är ett exempel på ett sådant system. Det är nu grunden för en försvarsdepartementet projekt för att möjliggöra klassificeras och oklassificerade data bearbetas genom ett enda gränssnitt utan att kompromissa med säkerhet eller funktion.
“Jag tror att innovationen kommer att vara när det finns en tillräckligt likvid marknad som orsakas av cyber risk försäkring som kommer fonden att bygga rätt programvara,” Williamson sade.
“När du har byggt rätt programvara, att du har minst löst ett av problemen. Det är fortfarande pirater, det är fortfarande berusad kaptener. Jag kan inte fixa det. Men vi kanske kan göra tekniken fungerar,” Williamson sade.
Checklistor inte göra dig stum, och de gör du professionell
Flyg och medicin är företag som vi litar på med våra liv, men de har mycket olika inställning till säkerhet. Enligt Williamson, antalet iatrogena dödsfall, som till dödsfall orsakade av medicinska misstag, är lika med två Boeing 747 flygplan kraschar per dag.
“Flygindustrin vet hur man ska hantera fel och fel. Det talar om fel och fel. Den medicinska professionen … de vill inte prata om det, och deras rekord i att det är hemskt. Att sätta ett pris på det, och få en feedback-loop för att fixa det, är något flyg listat ut för länge sedan,” sade han.
En viktig del av luftfartens säkerhet kultur är preflight checklista, som utvecklades efter den ödesdigra kraschen i 1935 av prototypen Boeing Modell 299, de flygplan som blev känd som Boeing B-17 bombplan.
“Boeing byggt ett flygplan med fyra motorer och alla typer av funktioner. Det var alltför komplicerat för en pilot att hantera, och det kraschade. De glömde att göra rätt saker”, Williamson sade.
Smarta människor ibland hitta checklistor kränkande, eftersom de vet att de vet vad de ska göra. Men en sann professionell följer den checklista varje gång, eftersom de vet att som vem som helst, de kan göra misstag.
Tech Pro Forskning
DET ledande guide till hotet om fileless malware
Nätverk säkerhetspolitik
Lunch och lär: BYOD regler och ansvar
Riktlinjer för att bygga säkerhetspolitik
Medvetenheten och utbildningsstrategi
0