The Mobius modeling environment: recent developments

Courtney, T.; Derisavi, S.; Gaonkar, Shravan; Griffith, Mark R.; Lam, Vinh Vi; McQuinn, M.G.; Rozier, Eric W. D.; Sanders, William H.

doi:10.1109/qest.2004.1348051

Cited by 13 publications

(14 citation statements)

References 14 publications

(11 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is achieved using the Möbius tool [15][16][17]. In particular, the model is created in Möbius using the Stochastic Activity Networks formalism 5 .…”

Section: Simulating Critical Infrastructurementioning

confidence: 99%

Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure

Bloomfield

Buzna

Popov

et al. 2010

Critical Information Infrastructures Security

View full text Add to dashboard Cite

Abstract. An approach to Quantitative Interdependency Analysis, in the context of Large Complex Critical Infrastructures, is presented in this paper. A Discrete state-space, Continuous-time, Stochastic Process models the operation of critical infrastructure, taking interdependencies into account. Of primary interest are the implications of both model detail (that is, level of model abstraction) and model parameterisation for the study of dependencies. Both of these factors are observed to affect the distribution of cascade-sizes within and across infrastructure.

show abstract

“…This is achieved using the Möbius tool [15][16][17]. In particular, the model is created in Möbius using the Stochastic Activity Networks formalism 5 .…”

Section: Simulating Critical Infrastructurementioning

confidence: 99%

Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure

Bloomfield

Buzna

Popov

et al. 2010

Critical Information Infrastructures Security

View full text Add to dashboard Cite

show abstract

“…We use Mobius [2] to establish and simulate the CleanOS system using SAN models. We use one submodel for CleanOS and one submodel for fault injection.…”

Section: Evaluation Using Mobiusmentioning

confidence: 99%

Protecting Encryption Keys in Mobile Systems Against Memory Errors

Zhao¹,

Kemper²

2016

Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools

View full text Add to dashboard Cite

Beyond its use to encrypt data, an encryption key can be used as a mean to control access to data on a mobile device by leveraging a cloud service. This implies that a key is present in a mobile device only when it is on demand and authorized by the cloud, the key is evicted when it is not in use. CleanOS is an example system that is based on this concept. For security reasons, keys are stored only in DRAM memory during execution, which makes them susceptible to memory errors. In this paper, we identify scenarios where a memory error that damages a key can escalate to an unrecoverable data loss in a mobile system.

show abstract

“…For customers of class A, we want to measure the probability that their service takes place without failures and in a timely manner to accommodate certain service level agreements for quality of service. We do not provide further details of the timing because we will focus on debugging a corresponding simulation model which we develop with Möbius [6].…”

Section: An Example Dependability Modelmentioning

confidence: 99%