I detta dokument presenteras en ny metod för att specificera och analysera kryptografiska protokoll. O u r metod erbjuder flera fördelar jämfört med tidigare metoder. O u r teknik är den första att tillåta resonemang om icke-monotoniska protokoll, som behövs för system som förlitar sig på radering av information. Tltere är ingen idealisering av protokoll; vi specificerar på en nivå som är nära det faktiska genomförandet. Vi visar hur vår metod avslöjar kända p a w i Needham och Schroeder protokollet. Vi höjer sedan metoden till vår khat protokoll. TILE analys reveluls en allvarlig, tidigare oupptäckta brister i våra icke-monotoniska protokoll f o r lång-ruitning jobb.
Det är en av de första tillvägagångssätten för att tillåta resonemang om icke-monotoniska protokoll REF.
Nonmonotonic cryptographic protocols
{'venue': 'Proceedings The Computer Security Foundations Workshop VII', 'journal': 'Proceedings The Computer Security Foundations Workshop VII', 'mag_field_of_study': ['Computer Science']}