Browsing Ponencias (Lenguajes y Sistemas Informáticos) by Subject "Verification"
Now showing items 1-3 of 3
-
Presentation
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models
(Springer, 2016)Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple ...
-
Presentation
Advisory: vulnerability analysis in software development project dependencies
(ACM: Association for Computing Machinery, 2022)ecurity has become a crucial factor in the development of soft ware systems. The number of dependencies in software ...
-
Presentation
Definition and Verification of Security Configurations of Cyber-Physical Systems
(Springer, 2020)The proliferation of Cyber-Physical Systems (CPSs) is rais ing serious security challenges. These are complex systems, ...