Detail publikace

Bezpečnost informačních systémů a chyby při návrhu - jsme schopni jim zabránit?

HANÁČEK Petr. Bezpečnost informačních systémů a chyby při návrhu - jsme schopni jim zabránit?. In: Sborník příspěvků MKB06. Brno: TNS, a.s., 2006, s. 89-94. ISBN 978-80-903083-7-4.
Název anglicky
Security of Information Systems and Design Flaws - Can We Prevent Them?
Typ
článek ve sborníku konference
Jazyk
čeština
Autoři
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT)
Klíčová slova

vývoj informačních systémů, bezpečný návrh systémů, formální verifikace

Abstrakt

Pro zajištění bezpečnosti informačních systémů existují standardizované postupy bezpečného návrhu, vývoje a testování a propracovaná kritéria pro hodnocení bezpečnosti těchto systémů. Přesto se i při dodržení těchto postupů v reálných systémech objevují bezpečnostní chyby, kterým tyto postupy nedokázaly zabránit. V příspěvku se pokusíme ukázat, zda dnešní moderní metody návrhu bezpečných systém musí skutečně vést k tomu, že navržený systém je bezpečný a jakou roli v tom hrají standardy, formální postupy a neformální intuice.

Rok
2006
Strany
89-94
Sborník
Sborník příspěvků MKB06
Konference
Mikulášská kryptobesídka 2006, Praha, CZ
ISBN
978-80-903083-7-4
Vydavatel
TNS, a.s.
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8230,
   author = "Petr Han\'{a}\v{c}ek",
   title = "Bezpe\v{c}nost informa\v{c}n\'{i}ch syst\'{e}m\r{u} a chyby p\v{r}i n\'{a}vrhu - jsme schopni jim zabr\'{a}nit?",
   pages = "89--94",
   booktitle = "Sborn\'{i}k p\v{r}\'{i}sp\v{e}vk\r{u} MKB06",
   year = 2006,
   location = "Brno, CZ",
   publisher = "TNS",
   ISBN = "978-80-903083-7-4",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/8230"
}
Nahoru