Formella metoder, teori och stödjande verktyg kan underlätta utformning, analys och verifiering av säkerhetsrelaterade och kryptografiska protokoll som används över öppna nätverk och distribuerade system. De vanligaste metoderna för tillämpning av formella metoder för efterhandsanalys och verifiering av kryptografiska protokoll, som analysmetod, ses över, följt av granskning av robusthetsprinciper och tillämpningsbegränsningar. Moderna högnivåspecifika språk och verktyg kan användas för att automatiskt analysera kryptografiska protokoll. Det senaste forskningsarbetet fokuserar på förhandsanvändning av formella metoder i designskedet av nya säkerhetsprotokoll, som syntesmetoden. Slutligen presenteras en översikt över aktuella trender för användning av formella metoder för analys och verifiering av moderna komplicerade protokoll och protokoll för den verkliga kommersiella världen.
Formella kontrolltekniker kan användas för analys av antivirus- och säkerhetssystem REF.
Security Protocols over open networks and distributed systems: Formal methods for their Analysis, Design, and Verification
{'venue': 'Computer Communications', 'journal': None, 'mag_field_of_study': ['Computer Science']}