pdfreaders.org

Integration of Formal Methods and Testing for Model-Based Security Engineering

by Achim D. Brucker

We present a brief overview of various security testing works that range from applying off-the-shell tools (both dynamic tools as well as static program analysis) to theorem-prover based testing for ensuring the compliance of systems to high-level security policies.

Moreover, we report on the process of selecting the most appropriate (security) testing tools during product development derive open research questions based on our experience in developing, introducing, and applying (security) testing tools at SAP SE.

Keywords:
Categories:
Documents:

QR Code for talk:brucker:mbst:2014.Please cite this article as follows:
Achim D. Brucker. Integration of Formal Methods and Testing for Model-Based Security Engineering. NII Shonan Meeting Seminar 048 "Integration of Formal Method and Testing for Model-Based Systems Engineering", 01. dec. 2014.
(slides) (handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Talk{ talk:brucker:mbst:2014,
abstract = {We present a brief overview of various security testing works that range from applying off-the-shell tools (both dynamic tools as well as static program analysis) to theorem-prover based testing for ensuring the compliance of systems to high-level security policies.\\\\Moreover, we report on the process of selecting the most appropriate (security) testing tools during product development derive open research questions based on our experience in developing, introducing, and applying (security) testing tools at SAP SE.},
author = {Achim D. Brucker},
day = {01},
event = {NII Shonan Meeting Seminar 048 ``Integration of Formal Method and Testing for Model-Based Systems Engineering''},
handout = {https://www.brucker.ch/bibliography/download/2014/talk-brucker-mbst-2014-2x2.pdf},
isodate = {2014-12-01},
lecturer = {Achim D. Brucker},
location = {Shonan, Japan},
month = {dec},
slides = {https://www.brucker.ch/bibliography/download/2014/talk-brucker-mbst-2014.pdf},
title = {Integration of Formal Methods and Testing for Model-Based Security Engineering},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker-mbst-2014},
year = {2014},
}