Bjørnar Solhaug

Positions

• PhD student at the Department of Information Science and Media Studies, University of Bergen and SINTEF ICT, Department of Cooperative and Trusted Systems.
• Part-time researcher at SINTEF.

Office

Address

• Email: Bjornar.Solhaug . . . sintef.no
• Personal information posted at Department of Information Science and Media Studies, University of Bergen

Academic Background

Research Interests

• Policy specification
• Trust
• Security
• Logics
• Formal languages
• Formal modeling and formal specification

Research Project

ENFORCE: Tool supported methodology for the formalization, analysis and enforcement of policies within trust management.

My personal task within the multi-disciplinary ENFORCE project is to develop a formal language for the specification of trust management policies.

Supervisors

• Principal supervisor: Dag Elgesem, professor at the Department of Information Science and Media Studies, University of Bergen.
• Assisting supervisor: Ketil Stølen, chief scientist at SINTEF, professor at the Department of Informatics, University of Oslo.

Publications

• Conference Papers
  • Bjørnar Solhaug, Dag Elgesem and Ketil Stølen:
    Specifying Policies Using UML Sequence Diagrams - An Evaluation based on a Case Study.
    In the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), pp. 19-28, IEEE Computer Society, 2007.
    [Abstract]
  • Bjørnar Solhaug, Dag Elgesem and Ketil Stølen:
    Why Trust is not proportional to Risk.
    In The 2nd International Conference on Availability, Reliability and Security (ARES 2007), pp. 11-18, IEEE Computer Society, 2007.
    [Abstract]
  • Bjørnar Solhaug and Arild Waaler:
    Logical Spaces in Multi-agent Only Knowing Systems.
    In Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, Revised Selected and Invited Papers. LNCS 3900, pp. 77-95, Springer, 2006.
    [Abstract]
  • Arild Waaler and Bjørnar Solhaug:
    Semantics for Multi-Agent Only Knowing (Extended Abstract).
    In Proceedings of Theoretical Aspects of Rationality and Knowledge, TARK X, pp. 109-125, National University of Singapore, 2005.
    [Abstract]
  
  
• Technical Reports
  • Bjørnar Solhaug, Dag Elgesem and Ketil Stølen:
    Specifying Policies Using UML Sequence Diagrams - An Evaluation based on a Case Study.
    Technical report A1230, SINTEF ICT, 2007.
    [Abstract][Full text (pdf)]
  • Tom Lysemose, Tobias Mahler, Bjørnar Solhaug, Jon Bing, Dag Elgesem and Ketil Stølen:
    ENFORCE Conceptual Framework.
    Technical report A1209, SINTEF ICT, 2007.
    [Abstract][Full text (pdf)]
  
  
• Abstracts
  • Bjørnar Solhaug and Ketil Stølen:
    Refinement, Compliance and Adherence of Policies in the Setting of UML Interactions.
    In Proceedings of the 19th Nordic Workshop on Programming Theory, NWPT, pp. 90-92. Research Report 366, Department of Informatics, University of Oslo, 2007.
    [Full text (pdf)]
  • Tom Lysemose, Tobias Mahler, Bjørnar Solhaug, Jon Bing, Dag Elgesem and Ketil Stølen:
    A Conceptual Framework for Trust Management.
    In Proceedings of Nordic Workshop and Doctoral Symposium on Dependability and Security, NODES 07. Reports on Computer Science & Mathematics, Ser. B. No 37, 2007, Åbo Akademi, 2007.
    [Full text (pdf)]
  
  
• Public Deliverables
  • Irem Aktug et al.:
    User-level and intermediate-level contract and policy languages.
    S3MS Deliverable D2.1.2, Public Report, 2007.
  • Fredrik Vraalsen and Tobias Mahler (eds.):
    Legal risk management for Virtual Organisations.
    TrustCoM Deliverable 17, Public Report, 2006.
  • Tobias Mahler (ed.):
    Report on Legal Issues.
    TrustCoM Deliverable 15, Public Report, 2005.
  
  
• Miscellaneous
  • Bjørnar Solhaug:
    Logical Spaces in Multi-Modal Only Knowing Logics.
    Department of Linguistics, University of Oslo, 2004. Thesis submitted in partial fulfillment of the degree of Cand. Philol.
    [Summary] [Full text (pdf)].