Automated security generation error
I have used the attached model, and generated the security from mapping2, with the following option:
- add confidentiality
- add weak authenticity
- add HSM for InterfaceDevice
The generated mapping contains errors.
Also, I guess you should add tests on this to ensure that the generated security on a few models works fine.