Search Results - Advances in Science, Technology and Engineering Systems Journal

Results (2)

Search Parameters:

Keyword: Model Checking

A Novel Way to Design ADS-B using UML and TLA+ with Security as a Focus

by Pranay Bhardwaj, Carla Purdy and Nawar Obeidat

Advances in Science, Technology and Engineering Systems Journal, Volume 5, Issue 6, Page # 1657–1665, 2020; DOI: 10.25046/aj0506197

Abstract:

Automatic Dependent Surveillance-Broadcast (ADS-B) is the future of aviation. It is a vast system that provides situational awareness for the aviator and regulator at a very low cost and does so with the aid of multiple disparate systems working closely together and communicating with one another. ADS-B uses the Global Navigation Satellite System (GNSS/ GPS)…

Framework for the Formal Specification and Verification of Security Guidelines

by Zeineb Zhioua, Rabea Ameur-Boulifa and Yves Roudier

Advances in Science, Technology and Engineering Systems Journal, Volume 3, Issue 1, Page # 38–48, 2018; DOI: 10.25046/aj030106

Abstract:

Ensuring the compliance of developed software with general and application-specific security requirements is a challenging task due to the lack of automatic and formal means to lead this verification. In this paper, we present our approach that aims at integrating the formal specification and verification of security guidelines in early stages of the development lifecycle…