4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.CR2014★ 2 cited
A Formal Approach to Distributed System Security Test Generation
Vladimir A. Khlevnoy, Andrey A. Shchurov
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 stan…
cs.SE2014★ 4 cited
A Formal Approach to Distributed System Tests Design
Andrey A. Shchurov, Radek Marik
Deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems. This work introduces a formal four-layered model for tes…