ABSTRACT
Then strong abstraction mechanisms can be an effective way to deal with analyzing
complex systems. Important connections in real world systems and processes can be
highlighted, using a model which is an abstract representation. It can be also applied
in more complex systems development. Formal framework of the model enables
making predictions about the system being modeled. Predictions can be accepted
or rejected, later disclosing the truths concerning the abstracted problem. Therefore
security modeling language became the subject of research and experiments because
security is a basic requirement of IT systems. It requires analysis, specification and
implementation by means of proper abstractions. Thus the whole process is formal-
ized using security modeling languages exploiting systematic approaches, definitions
and tools.