scholarly journals Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols

2017 ◽  
Author(s):  
Bruno Blanchet
Keyword(s):  
Mechanized Verification

scholarly journals Mechanized verification of fine-grained concurrent programs

2015 ◽  
Vol 50 (6) ◽  
pp. 77-87 ◽  
Author(s):  
Ilya Sergey ◽  
Aleksandar Nanevski ◽  
Anindya Banerjee
Keyword(s):  
Concurrent Programs ◽  
Fine Grained ◽  
Mechanized Verification

Application of Verification Techniques to Security

2014 ◽  
pp. 61-70
Author(s):  
Florian Kammüller ◽  
Christian W. Probst ◽  
Franco Raimondi
Keyword(s):  
Model Checking ◽  
System Modeling ◽  
Security Analysis ◽  
Social Engineering ◽  
Current Case ◽  
Secure Systems ◽  
Insider Attack ◽  
Mechanized Verification ◽  
Verification Techniques

In this chapter, the authors give a short overview of the state of the art of formal verification techniques to the engineering of safe and secure systems. The main focus is on the support of security of real-world systems with mechanized verification techniques, in particular model checking. Based on prior experience with safety analysis—in particular the TWIN elevator (ThyssenKrupp) case study—the current case study ventures into the rising field of social engineering attacks on security. This main focus and original contribution of this chapter considers the security analysis of an insider attack illustrating the benefits of model checking with belief logics and actor system modeling.

Sign in / Sign up

Export Citation Format

Share Document