CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product Lines

Applied Sciences (Switzerland) - Switzerland
doi 10.3390/app9245364
Full Text
Abstract

Available in full text

Date
Authors
Publisher

MDPI AG

Related search

Family-Based Deductive Verification of Software Product Lines

2012English

Verification of Software Product Lines With Delta-Oriented Slicing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing

Software and Systems Modeling
ModelingSoftwareSimulation
2015English

Towards a UML Profile for Software Product Lines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Mining Existing Assets for Software Product Lines

2000English

Granularity in Software Product Lines

2008English

Model-Driven Product Consolidation Into Software Product Lines

Softwaretechnik-Trends
2012English

Towards Statistical Prioritization for Software Product Lines Testing

2013English

Combinatorial Generation of Operation System Software Configurations

Proceedings of the Institute for System Programming of RAS
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy