Skip to main content
Comunidades
Todo idUS
Estadísticas
Sobre idUS
Español
English
Iniciar sesión
Iniciar sesión
¿Nuevo Usuario? Regístrate.
¿Has olvidado tu contraseña?
Inicio
Investigación
Ingeniería y Arquitectura
Lenguajes y Sistemas Informáticos
Ponencias (Lenguajes y Sistemas Informáticos)
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models