MDSSED: A safety and security enhanced model-driven development approach for smart home apps

Hardening machine learning denial of service (DoS) defences against adversarial attacks in IoT smart home networks

(2021) Eirini Anthi et al.   COMPUTERS & SECURITY

Security modelling and formal verification of survivability properties: Application to cyber–physical systems

(2020) S. Bernardi et al.   JOURNAL OF SYSTEMS AND SOFTWARE

A security modeling and verification method of embedded software based on Z and MARTE

(2019) Xinwen Hu et al.   COMPUTERS & SECURITY

Modeling Security and Privacy Requirements: a Use Case-Driven Approach

(2018) Phu X. Mai et al.   INFORMATION AND SOFTWARE TECHNOLOGY

Semantic hierarchies for extracting, modeling, and connecting compliance requirements in information security control standards

(2017) Matthew L. Hale et al.   REQUIREMENTS ENGINEERING

Modeling Dependability Features for Real-Time Embedded Systems

(2015) Siru Ni et al.   IEEE Transactions on Dependable and Secure Computing

An extensive systematic review on the Model-Driven Development of secure systems

(2015) Phu H. Nguyen et al.   INFORMATION AND SOFTWARE TECHNOLOGY

On requirement verification for evolving Statecharts specifications

(2013) Carlo Ghezzi et al.   REQUIREMENTS ENGINEERING

A privacy threat analysis framework: supporting the elicitation and fulfillment of privacy requirements

(2010) Mina Deng et al.   REQUIREMENTS ENGINEERING