Formalne metody analizy kryptograficznych protokołów uwierzytelniania przy zastosowaniu kolorowych sieci Petriego

• Autorzy: Jakubowska, G. , Pejaś, J.

Warianty tytułu

EN

Formal methods of analyzing cryptographic protocols for authentication using Coloured Petri Nets

• Konferencja: Automatyzacja procesów dyskretnych/krajowa konferencja (XII ; 13-16.09.2000 ; Zakopane)
• Języki publikacji: PL

Abstrakty

PL

W artykule została przedstawiona propozycja zastosowania kolorowanych sieci Petri do opisu modeli protokołów uwierzytelniania, oraz modeli intruzów, atakujących analizowany protokół. Narzędzia będące rezultatem ich zastosowania wymagają jednak aktywnej współpracy weryfikatora, który na ich podstawie jest w stanie ocenić stopień bezpieczeństwa protokołu oraz budować bazę wiedzy intruza.

EN

In this paper we present an approach to model authenticating protocols and intruders inside analyzing system using Coloured Petri Nets. However, tools based on the CP-Nets need active human-verifier assistance, who can estimate a degree of security of analyzing protocol and build intruder's database of knowledge.

Słowa kluczowe

PL

protokół kryptograficzny; protokół uwierzytelniania; kolorowane sieci Petriego; protokół Needhama-Schroedera

• Czasopismo: Zeszyty Naukowe. Automatyka / Politechnika Śląska
• Rocznik: 2000
• Tom: z. 130
• Strony: 53-64
• Opis fizyczny: Bibliogr. 16 poz.

Twórcy

autor

Jakubowska, G.

autor

Pejaś, J.

• Politechnika Szczecińska