Detail publikace

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

HANÁČEK, P. 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
česky
Autoři
Hanáček Petr, doc. Dr. Ing. (UITS)
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
ISBN
978-80-903083-7-4
Vydavatel
TNS, a.s.
Místo
Brno
BibTeX 
@inproceedings{BUT22289,
  author="Petr {Hanáček}",
  title="Bezpečnost informačních systémů a chyby při návrhu - jsme schopni jim zabránit?",
  booktitle="Sborník příspěvků MKB06",
  year="2006",
  pages="89--94",
  publisher="TNS, a.s.",
  address="Brno",
  isbn="978-80-903083-7-4"
}
Nahoru