Advanced search ?

Object

Download

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

Creator:

Boreale, Michele ; Gorla, Daniele

Date:

2002, nr 4

Resource Type:

artykuł

Description:

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.

Publisher:

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

Format:

application/pdf

Resource Identifier:

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

Source:

Journal of Telecommunications and Information Technology

Language:

ang

Rights Management:

Biblioteka Naukowa Instytutu Łączności

Subject and keywords:

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

Object collections:

Last modified:

May 28, 2024

In our library since:

Apr 19, 2010

Number of object content hits:

123

All available object's versions:

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

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Edition name Date
Boreale, Michele; Gorla, Daniele, Process calculi and the verification of security protocols, Journal of Telecommunications and Information Technology, 2002, nr 4 May 28, 2024

Objects Similar
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ł
More
×

Citation

Citation style:

Contact details

Address

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

Phone

(+48) 5128 696

E-Mail

biblioteka@il-pib.pl

Visit us!

This page uses 'cookies'. More information