- Tytuł:
- On some specification languages of cryptographic protocols
- Autorzy:
-
Dudek, P.
Kurkowski, M. - Powiązania:
- https://bibliotekanauki.pl/articles/122012.pdf
- Data publikacji:
- 2010
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
cryptographic protocol
HLPSL language
VerICS system
protokół kryptograficzny
język HLPSL
system VerICS - Opis:
- A key element of the security systems in computer networks are cryptographic protocols (CP). These protocols are concurrent algorithms used to provide relevant system security goals. Their main purpose is, for example, amutual authentication (identification) of communicating parties (users, servers), distribution of new keys and session encryption. Literature indicates numerous errors in protocol constructions. Thus, there is a need to create methods for CP specification and verification. In this paper, we investigate a problem of CP specification. The paper discusses the so-called Common Language - the simplest language of CP specification and HLPSL - a specification language used in the European verification project Avispa. Finally, we introduce PTL - the new language developed for CP specification which allows fully automatic verification.
- Źródło:
-
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2010, 15; 121-130
2450-9302 - Pojawia się w:
- Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
- Dostawca treści:
- Biblioteka Nauki
Artykuł