Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Diego de Azevedo Oliveira"'
Publikováno v:
Rigorous State-Based Methods ISBN: 9783031331626
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7baff338a02afd66f90de9c99feb00dc
https://doi.org/10.1007/978-3-031-33163-3_11
https://doi.org/10.1007/978-3-031-33163-3_11
Publikováno v:
Rigorous State-Based Methods ISBN: 9783031331626
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c7043cb09b53207af640c61d2198622
https://doi.org/10.1007/978-3-031-33163-3_10
https://doi.org/10.1007/978-3-031-33163-3_10
Publikováno v:
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
ABZ
This paper describes the formalisation of SGAC access control policies using Z3 and then we compare the performance with ProB and Alloy. SGAC is an attribute-based, fine-grain access control model that uses acyclic subject and resource graphs to prov
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ea142a3bbbdebc544e52dceaa13a7e4
https://doi.org/10.1007/978-3-030-48077-6_15
https://doi.org/10.1007/978-3-030-48077-6_15
Publikováno v:
Tests and Proofs ISBN: 9783030311568
TAP@FM
TAP@FM
The argument of correctness in refinement-based formal software design often disregards source code analysis and code generation. To mitigate the risk of errors in these phases, certifications issued by regulation entities demand or recommend testing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d89f6c5d1385a8fe13bf0f167b9f3f9
https://doi.org/10.1007/978-3-030-31157-5_6
https://doi.org/10.1007/978-3-030-31157-5_6