19 citations · 33 across the 2 of their papers we have counts for
2 papers
cs.SE2014★ 14 cited
Formal Safety and Security Assessment of an Avionic Architecture with Alloy
Julien Brunel, Laurent Rioux, Stéphane Paul +2
We propose an approach based on Alloy to formally model and assess a system architecture with respect to safety and security requirements. We illustrate this approach by considerin…
cs.CR2014★ 19 cited
Towards Automating the Construction & Maintenance of Attack Trees: a Feasibility Study
Stéphane Paul
Security risk management can be applied on well-defined or existing systems; in this case, the objective is to identify existing vulnerabilities, assess the risks and provide for t…