Secure System Modeling: Integrating Security Attacks with Statecharts

O. Ariss,Dianxiang Xu
International Journal of Software and Informatics
Abstract:
What problem does this paper attempt to address?