Ir directamente a la navegación principal
Ir directamente a la búsqueda
Ir directamente al contenido principal
Pontificia Universidad Javeriana Inicio
Ayuda y preguntas frecuentes
El enlace se abre en una pestaña nueva
Español
English
Buscar contenido en Pontificia Universidad Javeriana
Inicio
Perfiles
Unidades
Productos
Proyectos
Laboratorios y Equipos
Cursos
Actividades
Premios
Medios
Conjuntos de datos
Impacto
Tesis
A framework for security assurance of access control enforcement code
Jaime A. Pavlich-Mariscal
, Steven A. Demurjian
, Laurent D. Michel
Universidad Católica del Norte
University of Connecticut
Producción
:
Contribución a una revista
›
Artículo
›
revisión exhaustiva
14
Citas (Scopus)
Información general
Huella
Huella
Profundice en los temas de investigación de 'A framework for security assurance of access control enforcement code'. En conjunto forman una huella única.
Clasificar por
Ponderación
Alfabéticamente
Keyphrases
Security Assurance
100%
Access Control
100%
Access Control Enforcement
100%
Access Control Policy
50%
Design Level
25%
Application Behavior
25%
Software Process
25%
Enforcement Mechanisms
25%
Aspect-oriented
25%
Security Level
25%
Code Level
25%
Labelled Transition Systems
25%
Simulation Relation
25%
Assurance Mechanism
25%
Control Code
25%
Application Codes
25%
Structural Semantics
25%
INIS
security
100%
control
100%
enforcement
100%
applications
50%
levels
25%
design
25%
policy
25%
modeling
12%
implementation
12%
computer codes
12%
simulation
12%
Computer Science
Security Assurance
100%
Access Control
100%
Access Control Policies
33%
Correctness
33%
Software Development
16%
Operational Semantics
16%
Aspect-Oriented
16%
Simulation Relation
16%
Transition System
16%
Essential Property
16%
Case Study
16%
Application Code
16%