scholarly journals An approach to the pervasive formal specification and verification of an automotive system

2005 ◽  
Author(s):  
Tom In der Rieden ◽  
Steffen Knapp
Keyword(s):  
Formal Specification ◽  
Formal Specification And Verification ◽  
Specification And Verification ◽  
Automotive System

scholarly journals Formal Specification and Verification of Self-Adaptive Concurrent Systems

IEEE Access ◽  
2018 ◽  
Vol 6 ◽  
pp. 34790-34803 ◽  
Author(s):  
Muhammad Ilyas Fakhir ◽  
Syed Asad Raza Kazmi
Keyword(s):  
Formal Specification ◽  
Concurrent Systems ◽  
Formal Specification And Verification ◽  
Specification And Verification ◽  
Self Adaptive

scholarly journals Enhancing formal specification and verification of e-commerce protocol

2017 ◽  
Vol 6 (1) ◽  
pp. 13
Author(s):  
Hasan Al-Refai ◽  
Khaldoun Batiha
Keyword(s):  
Formal Specification ◽  
Electronic Payment ◽  
Complex Phase ◽  
Transaction Process ◽  
Protocol Performance ◽  
Formal Specification And Verification ◽  
Security Properties ◽  
Set Protocol ◽  
Specification And Verification

Lots of work have been attempted to enhance the SET protocol performance special attention is on E-payment phase. This paper thoroughly analyzes recent works on payment phase; it has been found that this subject requires considerable enhancements, since there are areas, which require further study such as: E-payment phase in SET protocol.E-payment phase is vast and complex phase it has long series of steps. The behavior of environment is assumed by the phase and is restricted to the rules built by their proposed protocol. This paper will follow Ph-Spi calculus for formalizing and analyzing enhanced payment phase of SET protocol by reducing the number of transactions with many additional operators.A new agent controller will be formally modeled, which we can rely upon to make automated decisions during interaction with a dynamic protocol environment. So, this agent controller is used to terminate the transaction process in any case of fraud or attack. This paper is conjunction between our previous works of E-payment phase in SET protocol and other works in Ph-Spi calculus in purpose of analyzing and proving the main security properties: authentication and privacy to evaluate the efficiency of the enhanced security of electronic payment phase for SET protocol (E-SET) using Ph-Spi calculus.

Formal Specification and Verification of Design Patterns

2011 ◽  
pp. 94-108 ◽  
Author(s):  
Jing Dong ◽  
Paulo Alencar ◽  
Donald Cowan
Keyword(s):  
Formal Specification ◽  
Design Pattern ◽  
Design Patterns ◽  
Formal Specifications ◽  
Formal Specification And Verification ◽  
Behavioral Aspects ◽  
Specification And Verification

This chapter introduces our approaches to formal specification of the structural and behavioral aspects of Design patterns. We investigate the logic-based formalisms in our specification methods and demonstrate the applications of these methods in examples. Our formal specifications methods not only help for rigorous, precise, and unambiguous descriptions of Design patterns, but also allow us to verify the consistencies of Design pattern applications and compositions.

Sign in / Sign up

Export Citation Format

Share Document