Toggle navigation
Metodología PMS
Descripción
Publicaciones
Recursos
Tests de validación
Herramienta de pre-procesado
Todos los recursos asociados a la experimentación de la metodología (sistema BiD del SID):
Diagramas UML:
Diagramas de clases del sistema
Diagrama de casos de uso
Diagramas de secuencia (representativos)
Diagramas de actividad por caso de uso
Diagrama de actividad completo
Redes de Petri:
Red de Petri del sistema para sesiones
Red de Petri del sistema para casos de uso
Imágenes:
Ejemplo de transformación de diagrama de actividad UML a Red de Petri
Estadísticas temporales del sistema analizado:
Estadísticas temporales del sistema analizado
Trazas de ataques obtenidas:
Ejemplos de trazas de ataque/amenazas obtenidas
"Cuellos de botella" y puntos débiles detectados:
Ejemplo de evento de recuperación de todas las publicaciones disponibles (gran carga del sistema)
Ejemplo de evento de generación de BibTeX (gran carga del sistema y vulnerabilidad)
Redes de patrones de ataque obtenidas:
Ejemplo de "Fuzzy Net" representando un patrón de ataque
Todas las imágenes disponibles:
Directorio de imágenes disponibles
