Abstrakt. Detta dokument beskriver verifieringen av Secure Electronic Transaktion (SET), ett e-handelsprotokoll av VISA och MasterCard. Huvuduppgiften är att förstå den skriftliga dokumentationen, att ta fram en korrekt formell modell, att identifiera specifika protokollmål, och slutligen att bevisa dem. De största hindren är protokollets komplexitet ( delvis på grund av dess användning av digitala kuvert) och dess ovanliga mål som inbegriper partiellt informationsutbyte. Våra kontrollinsatser visar att protokollet inte helt uppfyller sina mål, även om bristerna är små. Det främsta resultatet av projektet är erfarenhet av verifiering av enorma och komplicerade protokoll. I detta dokument sammanfattas projektet – detaljerna visas på annat håll [11-13] – med fokus på frågorna och slutsatserna.
REF utarbetade en korrekt formell modell för att identifiera SET-protokollets mål och sedan bevisa dem.
An overview of the verification of SET
{'venue': 'International Journal of Information Security', 'journal': 'International Journal of Information Security', 'mag_field_of_study': ['Computer Science']}