Designing secure information systems and software Critical evaluation of the existing approaches and a new paradigm, Acta Universitatis Ouluensis A Scientiae Rerum Naturalium 387

Hakkerit ja tietokonevirukset kuriin - tietokoneohjelmat turvallisemmiksiTietokoneohjelmia on kaikkialla, ei ainoastaan kotitietokoneissa. Niinkännykät kuin lentokoneiden, ydinvoimaloiden ja ydinohjuksienohjausjärjestelmät perustuvat tietokoneohjelmistoihin siinä missänykyaikainen pesukonekin. Pankeissa rahaliikennettä käsitellääntietokoneohjelmien välityksellä ja useimpien yrityksien toiminta perustuupitkälti tietokoneiden hyväksikäyttöön.Kuten vaikkapa autojen, siltojen tai pilvenpiirtäjien, tulee myöstietokoneohjelmien olla turvallisia käyttää; niihin pitää voida luottaa.Huonon suunnittelun seurauksena tietokonevirukset ovat päässeet japääsevät koko ajan tuhoamaan tärkeitä tietoja. On lähes arkipäivänuutisointia, että hakkerit ovat salakuunnelleet sähköpostiliikennettä javarastaneet luottokorttitietoja Internetissä. Terroristien suorittamahyökkäys ydinohjuksien-, ydinvoimaloiden tai lentokoneidentietokoneohjausjärjestelmiin voisi olla katastrofaalinen.Monet erityisesti yleisemmin käytössä olevat turvallistentietokoneohjelmien suunnittelumenetelmät ovat erittäin ongelmallisia.Useat menetelmät ovat epätieteellisiä, ne eivät perustu tutkimukseen vaanenemmänkin oletuksiin siitä, millaisia turva-asioita ohjelmistoihin tulisilisätä. Näin suunnittelussa ei huomioida yritysten yksilöllisiä tarpeita.Lisäksi niitä ei pystytä yhdistämään tavalliseentietokoneohjelmakehitykseen. Väitöskirjatutkimuksessaon kehitetty uusi lähestymistapa turvallisten tietokoneohjelmiensuunnitteluun, joka voidaan yhdistää entistä paremmin tietokoneohjelmienkehitysmenetelmiin. Siinä huomioidaan, että ei ole mahdollista tuottaa toimivaa yhtäläistä ja yleispätevää pakettiratkaisua kaikille vaan erilaisten yritysten erilaiset tarpeet on järkevintä sisällyttää ohjelmistosuunnitteluun.

ISBN-10:
951-42-6789-3
Kieli:
ENG
Tekijät:
Siponen Mikko
Tuotekoodi 013190
14,00 €