Nul
Technologie wordt geleverd met een mentale val, zegt professor Bob Williamson: “Het is makkelijk om vast komen te zitten in het denken, je hebt het over een artefact.”
Williamson is chief research scientist bij Data61, Australië data science research en engineering bureau, en hij geeft de voorkeur aan een definitie die gebruikt wordt door de econoom professor Ola Olsson en anderen.
“Technologie is nuttige kennis, niets meer dan dat,” Williamson zei de SINET61 conferentie in Sydney op dinsdag.
“Er is een techniek die ik denk eigenlijk domineert alle van hen, dat is wiskunde,” zei hij. “Wiskunde is wat ten grondslag lag aan de wetenschappelijke revolutie. Dat is wat u toelaat om te bouwen van een computer scherm, alsof [het een op het podium], en van gebouwen die niet vallen naar beneden,” zei hij.
De twee bits van de wiskunde die er echt toe doen, Williamson zei, zijn kans en bewijs.
Kans is de basis van een verzekering, een bedrijf dat dateert van vóór de Babylonische tijden, en was een gevolg van de groei van de scheepvaart.
“Wat de verzekering doet, is het de beurt iets dat nul of één in een continuüm,” Williamson zei.
“Als u eigenaar van een schip en het ging, werden verwoest. Maar gelukkig, slechts één op de vijf, of één op de 10 schepen ging naar beneden, dus als u spreiden de risico ‘ s, het leven is goed. Nu is het niet alleen maar over het helpen van u niet failliet gaan. Wat het doet, is een prijs op de kwaliteit van het schip,” zei hij.
“Piraterij kan ruïneren uw lading. De incompetentie van de kapitein kan ruïneren uw lading. Vergeet niet de Exxon Valdez? Niet gedronken worden als je het besturen van een supertanker. Maar er is een fundamentele ding dat je kunt oplossen, die u kunt maken zijn de schepen meer betrouwbaar. Schepen die niet te breken in de grote golven. Schepen die niet verloren doordat hun navigatiesystemen het niet meer zo goed. Als je eenmaal hebt maritieme verzekeringen, u kunt de prijs de waarde van dat.”
Het bewijs gaat terug de Oude griekse wiskundige Euclides, volgens Williamson. Zeker Euclid ‘ s Elements, gepubliceerd rond 300 voor CHRISTUS, was “instrumenteel in de ontwikkeling van de logica en de moderne wetenschap”, als Wikipedia het zegt.
“Software is wiskunde, en als u wilt betrouwbare software, moet u in staat zijn om te bewijzen dat het waar is. Nu de technologie bestaat om dit te doen. Het is het punt bereikt waar je daadwerkelijk kunt bewijzen aanzienlijk ingewikkelde systemen. Maar het kost, zodat mensen niet willen om te gaan en het doen,” Williamson zei.
Data61 eigen formeel bewezen seL4 microkernel is een voorbeeld van een dergelijk systeem. Het is nu de basis van een Ministerie van Defensie project om geclassificeerde en ongeclassificeerde gegevens worden verwerkt door middel van een enkele interface zonder afbreuk te doen aan de veiligheid of de functie.
“Ik denk dat de innovatie zal worden wanneer er een voldoende liquide markt veroorzaakt door cyber risk verzekering dat zal het fonds bouwen van goede software,” Williamson zei.
“Als je eenmaal hebt gebouwd juiste software, u hebt minstens opgelost één van de problemen. Er is nog steeds piraten, er is nog steeds dronken kapiteins. Ik kan het niet oplossen. Maar misschien kunnen we de techniek werken,” Williamson zei.
Checklists hoeft u niet stom, ze maken je professionele
De luchtvaart en de geneeskunde industrieën die we vertrouwen in ons leven, maar ze hebben zeer verschillende opvattingen over veiligheid. Volgens Williamson, het aantal iatrogene sterfgevallen, die zijn sterfgevallen veroorzaakt door medische fouten, is gelijk aan twee Boeing 747 vliegtuigen crashen per dag.
“De luchtvaart industrie weet hoe om te gaan met fouten en falen. Het gaat over fouten en falen. De medische professie … willen ze niet over praten, en hun record in dat is verschrikkelijk. Zet een prijs op, en het hebben van een feedback-lus op te lossen, is iets wat de luchtvaart bedacht lang geleden,” zei hij.
Een belangrijk onderdeel van het aviation safety culture is de preflight checklist, die werd ontwikkeld na de fatale crash in 1935 van het prototype van de Boeing Model 299, het vliegtuig dat werd bekend als de Boeing B-17 bommenwerper.
“Boeing gebouwd van een vliegtuig met vier motoren en allerlei functies. Het was te ingewikkeld voor een pilot om te gaan, en het stortte neer. Ze vergat alles te doen van de juiste dingen,” Williamson zei.
Slimme mensen soms vinden checklists te beledigen, omdat ze weten dat ze weten wat ze moeten doen. Maar een echte professional volgt de checklist elke keer, omdat ze weten dat ze, net als iedereen, ze kunnen fouten maken.
Tech Pro Onderzoek
HET leader ‘ s guide op de dreiging van malware fileless
Network security beleid
De Lunch en het leren: BYOD regels en verantwoordelijkheden
Richtlijnen voor de bouw van security beleid
Security awareness en training beleid
0