Abstract:

In numerous previous publications [8][10][11][12] the authors showed a lack of methodical (based on mathematical modelling and supported with architectural modelling) approach in designing and creating IT systems – particularly electronic platforms for public tasks handling. Because of many reasons like time pressure or budget limitations design processes are mostly focused on architectural modelling which is often not supported by formally confirmed properties. Proper process is especially important when designing security mechanisms for such systems. Illegal breaches of data confidentiality may not only led to loss of trust of users but some more serious problems as we are considering public electronic tasks (meaning that public administration security is affected).