A Formal Approach to Distributed System Security Test Generation
| Autor: | Andrey A. Shchurov, Vladimir A. Khlevnoy |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Cryptography and Security Work (electrical) Computer Science - Distributed Parallel and Cluster Computing Software deployment Computer science Distributed computing Distributed Parallel and Cluster Computing (cs.DC) Technical specifications Security testing Cryptography and Security (cs.CR) Test (assessment) |
| Popis: | 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. 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 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|