With new project in the making (to be confirmed, but things are looking good) I was wondering whether there are any DSLs in existence (and used in practise) that apply to the security domain. In the broadest sense, from modeling surveillance, up to secure transation modeling.
What do you know is out there, and what do you know about it's use and (lack of?) success?
We've worked on security in a number of cases, for instance with the Finnish armed forces. You can guess how much more I'm allowed to say :-).
Since security is rarely the only concern, the trick is to find the best way of integrating the modeling of security information with the modeling of other aspects of the system. I favour separating things out into their own modeling languages only when it becomes necessary. Even with good tool support and the ability to reuse or reference the same objects between models of different types, the burden on the modeler of mentally integrating separate aspects is significant.
When coping with multiple concerns in a single modeling language, strive for brevity - to reduce the mental load of reading the diagrams. 'Convention over configuration' is a big help: figure out what is the most common situation, and let that be the default without any effort by the modeler, and without any extra visual information shown for that case.
PS Our model-driven security approach is currently being deployed in a production environment for a large military agency, i.e.this technology is not "hot air".