Wyszukiwanie zaawansowane ?

Obiekt

Pobierz

Tytuł: Analysis of cryptographic protocols using logics of belief: an overview, Journal of Telecommunications and Information Technology, 2002, nr 4

Creator:

Monniaux, David

Date:

2002, nr 4

Resource Type:

artykuł

Description:

When designing a cryptographic protocol or explaining it, one often uses arguments such as “since this message was signed by machine B, machine A can be sure it came from B” in informal proofs justifying how the protocol works. Since it is, in such informal proofs, often easy to overlook an essential assumption, such as a trust relation or the belief that a message is not a replay from a previous session, it seems desirable to write such proofs in a formal system. While such logics do not replace the recent techniques of automatic proofs of safety properties, they help in pointing the weaknesses of the system. In this paper, we present briefly the BAN (Burrows-Abadi-Needham) formal system [10, 11] as well as some derivative. We show how to prove some properties of a simple protocol, as well as detecting undesirable assumptions. We then explain how the manual search for proofs can be made automatic. Finally, we explain how the lack of proper semantics can be a bit worrying.

Publisher:

Instytut Łączności - Państwowy Instytut Badawczy, Warszawa

Format:

application/pdf

Resource Identifier:

oai:bc.itl.waw.pl:677 ; ISSN 1509-4553, on-line: ISSN 1899-8852

DOI:

10.26636/jtit.2002.4.145

ISSN:

1509-4553

eISSN:

1899-8852

Source:

Journal of Telecommunications and Information Technology

Language:

ang

Rights Management:

Biblioteka Naukowa Instytutu Łączności

Temat i słowa kluczowe:

cryptographic protocols decidability BAN logics of belief GNY

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

25 lut 2026

Data dodania obiektu:

19 kwi 2010

Liczba wyświetleń treści obiektu:

235

Wszystkie dostępne wersje tego obiektu:

https://ribes-54.man.poznan.pl/publication/752

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Nazwa wydania Data
Monniaux, David, Analysis of cryptographic protocols using logics of belief: an overview, Journal of Telecommunications and Information Technology, 2002, nr 4 25 lut 2026

Obiekty Podobne
Is it possible to decide whether a cryptographic protocol is secure or not?, Journal of Telecommunications and Information Technology, 2002, nr 4

Shmatikov, Vitaly Comon, Hubert

2002, nr 4
artykuł
Process calculi and the verification of security protocols, Journal of Telecommunications and Information Technology, 2002, nr 4

Boreale, Michele Gorla, Daniele

2002, nr 4
artykuł
Wearable biosensing: signal processing and communication architectures issues, Journal of Telecommunications and Information Technology, 2005, nr 4

Verjus, Christophe Celka, Patrick Decotignie, Jean-Dominique Luprano, Jean Neuman, Victor Renevey, Philippe Vetter, Rolf Piguet, Christian

2005, nr 4
artykuł
Więcej
×

Cytowanie

Styl cytowania:

Dane kontaktowe

Adres

Instytut Łączności – Państwowy Instytut Badawczy ul. Szachowa 1 04-894 Warszawa

Telefon

(+48) 5128 696

E-Mail

biblioteka@il-pib.pl

Odwiedź nas!

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji