Babcock University Research Portal

Formal Methods in Information Security

Authors: AJAYI Adebowale , Niculae , Otusile Oluwabukola , & ABEL Samuel

Publication Type: Journal article

Journal: International Journal Of Computers & Technology

ISSN Number:

Downloads

Views

Abstract

Formal methods use mathematical models for analysis and verification at any part of the program life-cycle. The use of formal methods is admitted, recommended, and sometimes prescribed in safety-and security-related standards dealing, e.g., with avionics, railways, nuclear energy, and secure information systems.

This paper describes the state of the art in the industrial use of formal methods ininformation security with a focus on verification of security protocols. Given the vast scope of available solutions, attention has been focused just on the most popular and most representative ones, without exhaustiveness claims.

We describe some of the highlights of our survey by presenting a series of industrial projects, and we draw some observations from these surveys and records of experience. Based on this, we discuss issues surrounding the industrial adoption of formal methods in security protocol engineering.

Access to Documents

External Link
Download
Digital Object Identifier

Keywords

AJAYI,A. Niculae,G. Otusile,O. ABEL,S. . (2015). Formal Methods in Information Security, 14 (), 5621-5621.

AJAYI,A. Niculae,G. Otusile,O. ABEL,S. . "Formal Methods in Information Security" 14, no (), (2015): 5621-5621.

AJAYI,A. and Niculae,G. and Otusile,O. and ABEL,S. and . (2015). Formal Methods in Information Security, 14 (), pp5621-5621.

AJAYIA, NiculaeG, OtusileO, ABELS, . Formal Methods in Information Security. 2015, 14 ():5621-5621.

AJAYI,Adebowale , Niculae,Goga , Otusile,Oluwabukola , and ABEL,Samuel . "Formal Methods in Information Security", 14 . (2015) : 5621-5621.

A.Adebowale N.Goga O.Oluwabukola & A.Samuel , "Formal Methods in Information Security" vol.14, no., pp. 5621-5621, 2015.

Access to Documents

Keywords

About Us

Admissions

Contact Us

Policies

ALUMNI

STUDENT POPULATION