A Formal Approach to Distributed System Security Test Generation

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F14%3A00221612" target="_blank" >RIV/68407700:21230/14:00221612 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

A Formal Approach to Distributed System Security Test Generation

Popis výsledku v původním jazyce

Deployment of distributed systems sets high requirements for procedures for the security testing of these systems. This work introduces: (1) a list of typical threats based on standards and actual practices; (2) an extended six layered model for test generation mission on the basis of technical specifications and end user requirements. Based on the list of typical thre ats and the multilayer model, we describe a formal approach to the automated design and generation of security mechanisms checklists forcomplex distributed systems.

Název v anglickém jazyce

A Formal Approach to Distributed System Security Test Generation

Popis výsledku anglicky

Deployment of distributed systems sets high requirements for procedures for the security testing of these systems. This work introduces: (1) a list of typical threats based on standards and actual practices; (2) an extended six layered model for test generation mission on the basis of technical specifications and end user requirements. Based on the list of typical thre ats and the multilayer model, we describe a formal approach to the automated design and generation of security mechanisms checklists forcomplex distributed systems.

Druh

O - Ostatní výsledky

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů