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

Security of Information Systems and Design Flaws - Can We Prevent Them?

conference paper

Czech

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.

There are standardised procedures for secure design, development, and testing to ensure security of information systems. There are also elaborated criteria for evaluation of these systems. Still, errors and flaws appear even when following these procedures in real-world systems that cannot be prevented by any used means. The article tries to show, whether modern methods of secure system design must lead to a secure final system. We show what is the role of standards, formal tools, and informal intuition.

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

information system security, security flaws

HANÁČEK, P.

2006

19. 12. 2006

TNS, a.s.

Brno

978-80-903083-7-4

Sborník příspěvků MKB06

89

94

6