Work

A Formal Approach to Distributed System Security Test Generation

Year: 2014
Type: article
Abstract: 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 threats and the multilayer model, we describe a formal approach to the automated design and generation of security mechanisms checklists for complex distributed systems.
Language: English
Subfield: Software
Open Access status: green
OpenAlex ID: W2034605665
FWCI: 3.495
Cites:
Cited by: 5
Related to: