Logiciel de surveillance des Exigences en matière de Sécurité à l'aide de Instrumentation de Code
par William N. Robinson
Nous présentons un cadre de suivi des exigences de logiciel en cours d'exécution. Le cadre est générale, et permet la prise en charge automatisée. Dans ce papier, nous avons présenté le cadre, et de montrer comment le code Java peut être instrumentés et suivis par un modèle de contrôleur. Nous illustrons notre actuelle de la prise en charge automatisée en utilisant le problème de la Manger Philosophes. À partir de ce modèle, nous vous suggérons la façon dont l'approche peut être appliquée à solutionner les problèmes de sécurité, tels que ceux qui surviennent lors de transactions d'e-commerce.
Date de publication: