Detail publikace

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

HANÁČEK, P.

Originální název

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

Český název

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

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

cs

Originální 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.

Český 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.

Klíčová slova

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

Rok RIV

2006

Vydáno

19.12.2006

Nakladatel

TNS, a.s.

Místo

Brno

ISBN

978-80-903083-7-4

Kniha

Sborník příspěvků MKB06

Strany od

89

Strany do

94

Strany počet

6

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?",
  annote="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.",
  address="TNS, a.s.",
  booktitle="Sborník příspěvků MKB06",
  chapter="22289",
  institution="TNS, a.s.",
  year="2006",
  month="december",
  pages="89--94",
  publisher="TNS, a.s.",
  type="conference paper"
}