Towards Language Support for Model-based Security Policy Engineering

Peter Amthor; Marius Schlegel

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Towards Language Support for Model-based Security Policy Engineering

Topics: Access Control; Formal Methods for Security; Secure Software Development Methodologies; Security and Privacy Policies; Security Engineering

In Proceedings of the 17th International Joint Conference on e-Business and Telecommunications SECRYPT - Volume 1, 513-521, 2020 , Lieusaint - Paris, France

Authors: Peter Amthor and Marius Schlegel

Affiliation: Technische Universität Ilmenau, Germany

Keyword(s): Software Engineering, Security Engineering, Security Policies, Security Models, Specification Languages, Domain-specific Languages, Automatic Translation.

Abstract: Software engineering for security-critical systems is based on manual translations between languages from different domains: an informal security policy is translated to a formally verifiable model, and further to actual source code. This is an error-prone task, put at the risk of losing hard-acquired correctness guarantees. To mitigate this problem, we argue for a methodical support by domain-specific languages and tools. We present ongoing work on two languages that substantiate this thesis, including their usage in a practical setting, and discuss the benefits from combining them with appropriate tool support.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.221.41.214

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Amthor, P. and Schlegel, M. (2020). Towards Language Support for Model-based Security Policy Engineering. In Proceedings of the 17th International Joint Conference on e-Business and Telecommunications - SECRYPT; ISBN 978-989-758-446-6; ISSN 2184-7711, SciTePress, pages 513-521. DOI: 10.5220/0009893205130521

@conference{secrypt20,
author={Peter Amthor. and Marius Schlegel.},
title={Towards Language Support for Model-based Security Policy Engineering},
booktitle={Proceedings of the 17th International Joint Conference on e-Business and Telecommunications - SECRYPT},
year={2020},
pages={513-521},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009893205130521},
isbn={978-989-758-446-6},
issn={2184-7711},
}

TY - CONF

JO - Proceedings of the 17th International Joint Conference on e-Business and Telecommunications - SECRYPT
TI - Towards Language Support for Model-based Security Policy Engineering
SN - 978-989-758-446-6
IS - 2184-7711
AU - Amthor, P.
AU - Schlegel, M.
PY - 2020
SP - 513
EP - 521
DO - 10.5220/0009893205130521
PB - SciTePress