Publications by Seehusen Fredrik


2012 Conceptual Framework for the DIAMONDS Project View reference Erdogan Gencer , Li Yan , Runde Ragnhild Kobro , Seehusen Fredrik , Stølen Ketil Source:(SINTEF rapport) Type:Report
2011 An Evaluation of the Graphical Modeling Framework (GMF) Based on the Development of the CORAS Tool View reference Seehusen Fredrik , Stølen Ketil Source:Theory and Practice of Model Transformations. 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings. (s. 152–166). Berlin: Springer. Type:Conference paper/Book chapter
2011 An Evaluation of the Graphical Modeling Framework (GMF) Based on the Development of the CORAS Tool View reference Seehusen Fredrik Source:4th International Conference on Theory and Practice of Model Transformation, ICMT 2011, Zurich, Sveits, jun 27 - jun 28 Type:Presentation
2011 An Architectural Pattern for Enterprise Level Monitoring Tools View reference Ligaarden Olav Skjelkvåle , Lund Mass Soldal , Refsdal Atle , Seehusen Fredrik , Stølen Ketil Source:2011 International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA), Williamsburg, VA, 26 Sept, 2011. (s. 1-10). IEEE Conference Proceedings. Type:Conference paper/Book chapter
2009 A Transformational Approach to Facilitate Monitoring of High Level Policies View reference Seehusen Fredrik , Lund Mass Soldal , Stølen Ketil Source:(SINTEF rapport) Type:Report
2009 A Method for Model-Driven Information Flow Security View reference Seehusen Fredrik , Stølen Ketil Source:(SINTEF rapport) Type:Report
2009 Model-Driven Security: Exemplified for information flow properties and policies View reference Seehusen Fredrik Source:Oslo: Unipub. Type:Book
2009 Specifying enforcable high level policies with UML sequence diagrams View reference Seehusen Fredrik Source:Telektronikk 105 (1), 126-134. Type:Journal article
2009 Information flow security, abstraction and composition View reference Seehusen Fredrik , Stølen Ketil Source:IET Information Security 3, 1, 9-33. Type:Journal article
2009 Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies View reference Seehusen Fredrik , Solhaug Bjørnar , Stølen Ketil Source:Journal of Software and Systems Modeling 8, 1, 45-65. Type:Journal article
2008 A transformational approach to facilitate monitoring of high-level policies View reference Seehusen Fredrik , Stølen Ketil Source:IEEE Workshop on Policies for Distributed Systems and Networks, 2008, POLICY 2008, Palisades, 2-4 June 2008. (s. 70-73). IEEE Computer Society. Type:Conference paper/Book chapter
2007 Maintaining information flow security under refinement and transformation View reference Seehusen Fredrik , Stølen Ketil Source:4th International Workshop on Formal Aspects in Security and Trust (FAST'06). (s. 143-157). Berlin: Springer. Type:Conference paper/Book chapter
2006 Information Flow Property Preserving Transformation of UML Intraction Diagrams View reference Seehusen Fredrik , Stølen Ketil Source: Type:Report
2006 Maintaining Information Flow Security under Refinement and Transformation View reference Seehusen Fredrik , Stølen Ketil Source: Type:Report
2006 Information flow property preserving transformation of UML interaction diagrams View reference Seehusen Fredrik , Stølen Ketil Source:Symposium on Access Control Models and Technologies : Proceedings of the eleventh ACM symposium on Access control models and technologies, Lake Tahoe, California, June 7-9, 2006. (s. 150-159). New York: ACM. Type:Conference paper/Book chapter