Business rules specify the required or desirable states of affairs or behavior of IT systems,
and typically involve deontic constraints that must be adequately specified to enable their …

Policy-based management is an approach to the management of systems with respect to
issues such as security, access control and trust by the enforcement of policy rules. This …

With the ever increasing importance of computer networks such as the Internet, and the
today almost ubiquitous online services, the needs for themanagement of these networks …

A fundamental problem in the specification of regulatory privacy policies such as the Health
Insurance Portability and Accountability Act (HIPAA) in a computer system is to state the …

In today's society, we are dependent on a number of services provided by interconnected
systems. These services may be anything from electricity to services provided by social …

This paper reports on experiences from using a UML-based method for trust analysis in an
industrial project. The overall aim of the trust analysis method is to provide a sound basis for …

With the ever increasing importance of computer networks such as the Internet, and the
today almost ubiquitous online services, the needs for the management of these networks …

The UML is the de facto standard for system specification. But how does it support the
specification, analysis and integration of concerns? In this technical report, we study (1) the …

Abstract the existing software engineering techniques for software synthesis from
requirements model to source code have many limitations. The synthesis approach shows …

Dependent CORAS Page 1 ICT Analyse av tillit i elektronisk samvirke Atle Refsdal SINTEF IKT
Page 2 ICT 2 Oversikt ∎ Tillit ∎ Hvorfor analysere tillit? ∎ Tillit i elektronisk samvirke ∎ Tillit og …