Checking Secure Information Flow of CoCoME using UPPAAL

Model of the CoCoME case study for the UPPAAL model checker. Also includes auto-generated verification models for checking the information flow security of CoCoME, and the corresponding verification properties.

Tags
Data and Resources
To access the resources you must log in

This item has no data

Identity

Description: The Identity category includes attributes that support the identification of the resource.

Field Value
PID https://www.doi.org/10.5281/zenodo.2559473
PID https://www.doi.org/10.5281/zenodo.2559472
URL http://dx.doi.org/10.5281/zenodo.2559473
URL https://zenodo.org/record/2559473
URL http://dx.doi.org/10.5281/zenodo.2559472
URL https://figshare.com/articles/Checking_Secure_Information_Flow_of_CoCoME_using_UPPAAL/7699283
Access Modality

Description: The Access Modality category includes attributes that report the modality of exploitation of the resource.

Field Value
Access Right Open Access
Attribution

Description: Authorships and contributors

Field Value
Author Gerking, Christopher, 0000-0001-5531-9607
Publishing

Description: Attributes about the publishing venue (e.g. journal) and deposit location (e.g. repository)

Field Value
Collected From Zenodo; figshare; Datacite
Hosted By Zenodo; figshare
Publication Date 2019-02-07
Publisher Figshare
Additional Info
Field Value
Language UNKNOWN
Resource Type Dataset
system:type dataset
Management Info
Field Value
Source https://science-innovation-policy.openaire.eu/search/dataset?datasetId=dedup_wf_001::f9a6949c60aa93e6f690bed07e8613fb
Author jsonws_user
Last Updated 7 January 2021, 10:20 (CET)
Created 7 January 2021, 10:20 (CET)