SMILE: A Security-Centric, Formally-Founded Modelling Language for Humans KU Leuven
The development of secure software is a daunting task requiring that security is tackled throughout the whole development life cycle. The early design phases are particularly crucial to achieve quality attributes such as security, yet security practices have only gained limited adoption here. A critical element to tackle security from the early design phases is the availability of a modelling language that is suitable for security.
...