Mass Soldal Lund

Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Model-Driven Risk Analysis - The CORAS Approach. Springer 2011, isbn 978-3-642-12322-1, pp. I-XVI, 1-460

Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Risk Analysis of Changing and Evolving Systems Using CORAS. FOSAD 2011: 231-274

Olav S. Ligaarden, Mass Soldal Lund, Atle Refsdal, Fredrik Seehusen, Ketil Stølen: An architectural pattern for enterprise level monitoring tools. MESOCA 2011: 1-10

Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jürjens, Mass Soldal Lund, Sébastien Madelénat, JanTobias Muehlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjørnar Solhaug, Sven Wenzel: Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). ServiceWave 2011: 134-143

Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Evolution in Relation to Risk and Trust Management. IEEE Computer 43(5): 49-55 (2010)

Mass Soldal Lund, Atle Refsdal, Ketil Stølen: Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches. Model-Based Engineering of Embedded Real-Time Systems 2007: 77-103

Mass Soldal Lund, Ketil Stølen: A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. FM 2006: 380-395

Mass Soldal Lund, Ketil Stølen: Deriving Tests from UML 2.0 Sequence Diagrams with neg and assert. AST 2006: 22-28

Judith E. Y. Rossebeø, Mass Soldal Lund, Knut Eilif Husa, Atle Refsdal: A Conceptual Model for Service Availability. Quality of Protection 2006: 107-118

Fredrik Vraalsen, Mass Soldal Lund, Tobias Mahler, Xavier Parent, Ketil Stølen: Specifying Legal Risk Scenarios Using the CORAS Threat Modelling Language. iTrust 2005: 45-60

Fredrik Vraalsen, Folker den Braber, Mass Soldal Lund, Ketil Stølen: The CORAS Tool for Security Risk Analysis. iTrust 2005: 402-405

Folker den Braber, Mass Soldal Lund, Ketil Stølen, Fredrik Vraalsen: Integrating Security in the Development Process with UML. Encyclopedia of Information Science and Technology (III) 2005: 1560-1566

Mass Soldal Lund, Folker den Braber, Ketil Stølen: Maintaining Results from Security Assessment. CSMR 2003: 341-350

Mass Soldal Lund: Testing Decomposition of Component Specifications Based on a Rule for Formal Verification. QSIC 2003: 154-160