Stølen, Ketil 1957-
Stølen, Ketil
Ketil Stølen Ph.D. Victoria University of Manchester 1990
VIAF ID: 46145971388032330405 ( Personal )
Permalink: http://viaf.org/viaf/46145971388032330405
Preferred Forms
- 100 0 _ ‡a Ketil Stølen ‡c Ph.D. Victoria University of Manchester 1990
-
- 100 1 _ ‡a Stølen, Ketil
- 100 1 _ ‡a Stølen, Ketil
-
-
-
-
-
Works
Title | Sources |
---|---|
Barnebarna | |
Compositional refinement of policies in UML - exemplified for access control | |
Cyber-risk management | |
A denotational model for component-based risk analysis | |
Evaluation of the CORAL approach for risk driven securitytesting based on an industrial case study | |
Familien Stølen fra Jostedal | |
A fully general operational semantics for UML sequence diagrams with potential and mandatory choice | |
Graphical Models for Security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers | |
How to transform UML neg into a useful construct | |
Hva er de nye sikkerhetsutfordringene? : beskyttelse av kunstig intelligens | |
Information flow property preserving transformation of UML interaction diagrams | |
Lars og Severina | |
Maintaining information flow security under refinement andtransformation | |
A method for model-driven information flow security | |
Model-based risk assessment : the CORAS approach | |
Model-driven security : integrating availability in system development | |
A modular approach to the modelling and analysis of risk scenarios with mutual dependencies | |
The pragmatics of STAIRS | |
Preservation of policy adherence under refinement | |
QoP'07 : proceedings of the 2007 ACM Workshop on Quality of Protection : Alexandria, Virginia, USA, October 29, 2007 | |
Quality evaluation of the CORAS UML profile | |
Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice : Part 2 | |
Risk Assessment and Risk-Driven Testing : First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers | |
A semantic paradigm for component-based specification integrating a notion of security risk | |
Specification and development of interactive systems, 2001: | |
Specification and refinement of soft real-time requirements using sequence diagrams | |
Specifying policies using UML sequence diagrams : an evaluation based on a case study | |
STAIRS - Steps to Analyze Interactions with Refinement Semantics | |
Structured semantics for the CORAS security risk modelling language | |
Technology research explained | |
Teknologivitenskap : forskningsmetode for teknologer | |
Teori for en bevisovervåker | |
A transformational approach to facilitate monitoring of high level policies | |
Trust management : 4th international conference, iTrust 2006, Pisa, Italy, May 16-19, 2006 : proceedings | |
What is model driven architecture? | |
Why timed sequence diagrams require three-event semantics |