Wyszukiwanie zaawansowane ?

Obiekt

Pobierz

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

Autor:

Boreale, Michele ; Gorla, Daniele

Data wydania:

2002, nr 4

Typ zasobu:

artykuł

Opis:

Recently there has been much interest towards using formal methods in the analysis of security protocols. Some recent approaches take advantage of concepts and techniques from the field of process calculi. Process calculi can be given a formal yet simple semantics, which permits rigorous definitions of such concepts as “attacker”, “secrecy” and “authentication”. This feature has led to the development of solid reasoning methods and verification techniques, a few of which we outline in this paper.

Wydawca:

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

Format:

application/pdf

Identyfikator zasobu:

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

DOI:

10.26636/jtit.2002.4.147

ISSN:

1509-4553

eISSN:

1899-8852

Źródło:

Journal of Telecommunications and Information Technology

Język:

ang

Prawa:

Biblioteka Naukowa Instytutu Łączności

Temat i słowa kluczowe:

cryptographic protocols observational equivalence Dolev-Yao model spi calculus process calculi

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

28 maj 2024

Data dodania obiektu:

19 kwi 2010

Liczba wyświetleń treści obiektu:

137

Wszystkie dostępne wersje tego obiektu:

https://bc.itl.waw.pl/publication/750

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Nazwa wydania Data
Boreale, Michele; Gorla, Daniele, Process calculi and the verification of security protocols, Journal of Telecommunications and Information Technology, 2002, nr 4 28 maj 2024

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ł
Analysis of cryptographic protocols using logics of belief: an overview, Journal of Telecommunications and Information Technology, 2002, nr 4

Monniaux, David

2002, 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