The justification of applying the exhaustion doctrine to intangible copies of copyright protected works is widely discussed in scholarly circles. The discussion mainly concerns the relevant provisions of the international treaties and rationale of the exhaustion doctrine under EU law. However,...

Security is a major target for today’s information systems (IS) designers. Security modelling languages exist to reason on security in the early phases of IS development, when the most crucial design decisions are made. Reasoning on security involves analysing risk, and effectively...