Biometric Transaction Authentication Protocol: Formal Model Verification and “Four-Eyes” Principle Extension

2012 ◽  
pp. 88-103 ◽  
Author(s):  
Daniel Hartung ◽  
Christoph Busch
Keyword(s):  
Formal Model ◽  
Authentication Protocol ◽  
Model Verification

scholarly journals The MODUS Approach to Formal Verification

2014 ◽  
Vol 5 (1) ◽  
pp. 21-33
Author(s):  
Lukasz Brewka ◽  
José Soler ◽  
Michael Berger
Keyword(s):  
Embedded Systems ◽  
Formal Verification ◽  
Formal Model ◽  
Automated Analysis ◽  
Ease Of Use ◽  
Model Verification ◽  
Development Environment ◽  
Systems Quality ◽  
Solution Methods ◽  
Market Needs

Abstract Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality simultaneously required and closely in the process of providing competitive products Objectives: In relation to this, MODUS (Method and supporting toolset advancing embedded systems quality) project aims to provide small and medium-sized businesses ways to improve their position in the embedded market through a pragmatic and viable solution Methods/Approach: This paper will describe the MODUS project with focus on the technical methodologies that can assist formal verification and formal model checking. Results: Based on automated analysis of the characteristics of the system and by controlling the choice of the existing opensource model verification engines, model verification producing inputs to be fed into these engines. Conclusions: The MODUS approach is aligned with present market needs; the familiarity with tools, the ease of use and compatibility/interoperability remain among the most important criteria when selecting the development environment for a project

Foot and mouth disease model verification and ‘relative validation’ through a formal model comparison

2011 ◽  
Vol 30 (2) ◽  
pp. 527-540 ◽  
Author(s):  
R.L. SANSON ◽  
N. HARVEY ◽  
M.G. GARNER ◽  
M.A. STEVENSON ◽  
T.M. DAVIES ◽  
...  
Keyword(s):  
Model Comparison ◽  
Formal Model ◽  
Disease Model ◽  
Foot And Mouth Disease ◽  
Mouth Disease ◽  
Model Verification ◽  
Foot And Mouth

A modified method to design the LTE authentication protocol EPS-AKA algorithm using the query vector

2019 ◽  
Vol 15 (4) ◽  
pp. 784-794
Author(s):  
N.V. Kormil'tsev ◽  
◽  
A.D. Uvarov ◽  
A.A. Mikhailov ◽  
M.V. Tumbinskaya ◽  
...  
Keyword(s):  
Authentication Protocol ◽  
Modified Method
Sign in / Sign up

Export Citation Format

Share Document