We consider temporal approximation of stationary statistical properties of dissipative complex dynamical systems. We demonstrate that stationary statistical properties of the time...
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
To cope with the complex requirements imposed on the processing of privacy-sensitive data within enterprises, the use of automatic or semi-automatic tools is gradually becoming in...
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...