ASILO: evaluar fronteras y efectos¶
Guía explicativa vigente de ASILO 0.1. Cada prueba identifica contrato, versión, entorno, configuración, escenario, resultado esperado, resultado observado y límite. No se declara seguridad completa por reunir una lista de pruebas favorables.
| Escenario | Comprobación ilustrativa |
|---|---|
| Dependencia prohibida | La comprobación detecta el vínculo, incluidos los caminos indirectos que cubra su alcance. |
| Entrada mal formada | Se rechaza sin producir la operación solicitada. |
| Entrada válida sin autoridad | El contrato válido no evita el rechazo del permiso. |
| Recurso o contexto diferente | Un permiso no se reutiliza fuera del ámbito declarado. |
| Vigencia o revocación | El punto pertinente rechaza la autoridad vencida o retirada según el contrato. |
| Uso único y concurrencia | El mecanismo respeta el número de usos y efectos declarados. |
| Datos guardados | Una respuesta desde caché no elude autorización vigente. |
| Trabajo diferido | Cola o reintento conserva o vuelve a comprobar la autoridad conforme al perfil. |
| Fallo posterior | Se distingue efecto realizado, fallo de respuesta y posible compensación. |
| Límite agotado | La parada conserva evidencia de lo ya realizado y no produce nuevos efectos prohibidos. |
| Código no confiable | Se explicita la frontera del entorno; módulos y tipos no acreditan aislamiento. |
Un resultado negativo puede revelar un defecto o una condición de aplicación mal definida. El informe conserva ambos y evita corregir el resultado esperado sólo para hacer pasar la prueba. Los riesgos residuales y los escenarios no inspeccionados siguen visibles.
Cuando se declaran requisitos ASILO, se cita el requisito y su condición de aplicación. MILPA puede organizar fuentes, autoridad y evidencia. Esta guía no amplía automáticamente el alcance de ninguno de los dos métodos.