Quantitative model checking for assessing the energy impact of a MITM attack on EPONs

2021 ◽  
Author(s):  
Polyxeni Tsompanoglou ◽  
Sophia Petridou ◽  
Petros Nicopolitidis ◽  
Georgios Papadimitriou
Keyword(s):  
Model Checking ◽  
Quantitative Model ◽  
Energy Impact ◽  
Mitm Attack

scholarly journals Momba: JANI Meets Python

2021 ◽  
pp. 389-398
Author(s):  
Maximilian A. Köhl ◽  
Michaela Klauck ◽  
Holger Hermanns
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Programming Language ◽  
Quantitative Model ◽  
General Purpose ◽  
Ease Of Use ◽  
Formal Models ◽  
Interchange Format ◽  
Model Interchange ◽  
Interacting Automata

AbstractJANI-model [6] is a model interchange format for networks of interacting automata. It is well-entrenched in the quantitative model checking community and allows modeling a variety of systems involving concurrency, probabilistic and real-time aspects, as well as continuous dynamics. Python is a general purpose programming language preferred by many for its ease of use and vast ecosystem. In this paper, we present Momba, a flexible Python framework for dealing with formal models centered around the JANI-model format and formalism. Momba strives to deliver an integrated and intuitive experience for experimenting with formal models making them accessible to a broader audience. To this end, it provides a pythonic interface for model construction, validation, and analysis. Here, we demonstrate these capabilities.

Quantitative Model Checking for a Smart Grid Pricing

2017 ◽  
pp. 55-71 ◽  
Author(s):  
YoungMin Kwon ◽  
Eunhee Kim ◽  
Seonghwan Jeong ◽  
Arthur H. Lee
Keyword(s):  
Model Checking ◽  
Smart Grid ◽  
Quantitative Model
Sign in / Sign up

Export Citation Format

Share Document