טולפלה דירוג וסיכום
- מערכות הפעלה:
- Windows XP / 2003 / Vista / 7
טולפלה תגים
טולפלה תיאור
טולפלה פותחה להיות שפת מפרט חדשה לכתיבת תיאורים בדיקת מכונה של פרוטוקולי אבטחה מבוססי סבון ומאפיינים שלהם. טולפלה מבוססת על חשבון PI (לכתיבת אוספים של מעבדי סבון פועל במקביל), בתוספת תחביר XML (כדי להביע הודעות סבון), לוגי לוגי (לבנות ולסנן הודעות סבון), ותביעות התכתבויות (כדי לציין מטרות אימות של פרוטוקולים ). היישום שלנו compiles tulafale לתוך חשבון PI להחיל, ולאחר מכן מפעילה אימות פרוטוקול ברזולוציה של Blanchet. לפיכך, אנו יכולים לאמת באופן אוטומטי אימות וסודיות של פרוטוקולי סבון. מהדורה זו כוללת סקריפטים, תיעוד ומדיניות לדוגמה מהעיתונים האחרונים שלנו "מפגשים מאובטחים לשירותי אינטרנט" ו"אימות אבטחה מבוססת מדיניות לשירותי אינטרנט ".
טולפלה תוכנה קשורה