Attacks against computer systems can cause considerable economic or physical damage.
High-quality development of security-critical systems is difficult, mainly because of the …

An aspect-oriented design model consists of a set of aspect models and a primary model.
Each aspect model describes a feature that crosscuts elements in the primary model. Aspect …

Organizations use Role-Based Access Control (RBAC) to protect information resources from
unauthorized access. We propose an approach, based on the Unified Modeling Language …

In order to develop trustworthy information systems, security aspects should be considered
from the early project stages. This is particularly true for authorization and access control …

This is the first book to provide an in-depth coverage of all the developments, issues and
challenges in secure databases and applications. It provides directions for data and …

Security engineering, from security requirements engineering to the implementation of
cryptographic protocols, is often supported by domain-specific languages (DSLs) …

Security must be a first class citizen in the design of large scale, interacting, software
applications, at early and all stages of the lifecycle, for accurate and precise policy definition …

Incorporating security requirements into system design models is receiving increasing
interest. Access control requirements are an important part of overall system security …

Physical security has received increased attention after 9/11. However, access control to
physical units has not been explored much. On the other hand, there is a rich literature on …

Static analysis tools, such as OCLE and USE, can be used to analyze structural properties of
class models. The USE tool also provides support for analyzing specified operations through …