We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
The importance of cloud-based systems is increasing constantly
as they become crucial for completing tasks in an effective and
affordable manner. Yet, their use is affected by concerns about the security
of the data and applications provisioned through them. Security
certification provides a means of increasing confidence in such systems,
by establishing that they fulfil certain security properties of interest. Certification processes involve security property assessments against specific
threat models. These processes may be based on self-assessment, testing,
inspection or runtime monitoring of security properties, and/or combinations
of such methods (hybrid certification). One important question
for all such processes is whether they actually deliver what they promise.
This question is open at the moment and is the focus of our work. To address
it, we have developed an approach that formalises certification processes,
by translating them in the language of the Prism model-checker
and uses Prism to verify properties of interest on the model of the certification
process, under specific environmental assumptions
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.