A Formal Approach to Distributed System Security Test Generation
Cryptography and Security
2014-11-11 v1 Distributed, Parallel, and Cluster Computing
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.
Cite
@article{arxiv.1411.2406,
title = {A Formal Approach to Distributed System Security Test Generation},
author = {Vladimir A. Khlevnoy and Andrey A. Shchurov},
journal= {arXiv preprint arXiv:1411.2406},
year = {2014}
}
Comments
7 pages, 6 figures, 3 tables, Published with International Journal of Computer Trends and Technology (IJCTT). arXiv admin note: text overlap with arXiv:1410.1747