Collection de recherches
#trace-comparison
Recherche avec le tag trace-comparison: explications, preuves, limites et liens entre articles.
1 résultats
Pourquoi certaines violations de finalité exigent de comparer les exécutions d’un agent
Une analyse formelle explique pourquoi les garde-fous limités à une action manquent les violations de finalité relationnelle et comment comparer deux exécutions les révèle.