Karol Gotz, Martin Hawley, Chris Machin, John Hird. 'CTRL_S' - A Security Tool for SESAR's Design-In Security Approach. In 11th International Conference on Availability, Reliability and Security, ARES 2016, Salzburg, Austria, August 31 - September 2, 2016. pages 499-502, IEEE Computer Society, 2016. [doi]
Abstract is missing.