גילוי סטיה מהפרוטוקול
דרך אפשרית לאיתור סטיה מהפרוטוקול היא על ידי מעקב אחר התנהלות האינטראקציה באמצעות מודל המתאר התנהלות
תקינה. הסטיה מתגלית על ידי בדיקת התאמת הארועים הנקלטים למצב המכלול על פי המודל. את המודל אפשר לתאר בעזרת תרשים מעברי
מצבים, או באמצעות state charts. במערכת ממוחשבת, אפשר לייצג את המודל
באמצעות תרשים זרימת מצבים, הכולל את מצבי כל המכלולים זה בצד זה, ואת ההודעות בין המכלולים אפשר לתאר כארועים הרלבנטים
למצבי המערכת המוכללת. מעבר המצבים מיוצגים על ידי ארועים הגורמים לשינויי המצב.
|
לא מצאת את מבוקשך? 
יש לך הערות או השגות לגבי תוכן האתר, העיצוב או המימוש?