Ebenezer Paintsil

Learn More
This paper integrates run-time verification enablers in the feedback adaptation loop of the ASSET adaptive security framework for Internet of Things (IoT) in the eHealth settings and instantiates the resulting framework with Colored Petri Nets. The run-time enablers make machine-readable formal models of a system state and context available at run-time. In(More)
Identity management system(s) (IDMS) do rely on tokens in order to function. Tokens can contribute to privacy or security risk in IDMS. Specifically, the characteristics of tokens contribute greatly to security and privacy risks in IDMS. Our understanding of how the characteristics of token contribute to privacy and security risks will help us manage the(More)
Currently, risk assessment methods for identity management systems (IDMSs) are lacking. This makes it difficult to compare IDMSs based on how they enhance privacy and security of system stakeholders. This article proposes the executable model-based risk assessment method (EM-BRAM) with the aim of addressing this challenge. The EM-BRAM identifies risk(More)
Ebenezer Paintsil is currently a researcher at Norwegian Computing Center (NR). He received MSc and LLM from University of Oslo and begun his PhD 2010. He worked on privacy and security risks analysis in identity management systems and was part of the Norsk Regnesentral (Norwegian Computing Center, NR) is a private, independent, non-profit foundation(More)
  • 1