Advanced search ?

Object

Download

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

Creator:

Shmatikov, Vitaly ; Comon, Hubert

Date:

2002, nr 4

Resource Type:

artykuł

Description:

We consider the so called “cryptographic protocols” whose aim is to ensure some security properties when communication channels are not reliable. Such protocols usually rely on cryptographic primitives. Even if it is assumed that the cryptographic primitives are perfect, the security goals may not be achieved: the protocol itself may have weaknesses which can be exploited by an attacker. We survey recent work on decision techniques for the cryptographic protocol analysis.

Publisher:

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

Format:

application/pdf

Resource Identifier:

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

DOI:

10.26636/jtit.2002.4.149

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:

security cryptographic protocols decision procedures logic

Object collections:

Last modified:

Feb 25, 2026

In our library since:

Apr 19, 2010

Number of object content hits:

155

All available object's versions:

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

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Edition name Date
Comon, Hubert; Shmatikov, Vitaly, Is it possible to decide whether a cryptographic protocol is secure or not?, Journal of Telecommunications and Information Technology, 2002, nr 4 Feb 25, 2026

Objects Similar

2025, nr 3, JTIT-artykuły
2025, nr 3, JTIT-artykuły
Intelligent Secure Data Aggregation in WSNs, Journal of Telecommunications and Information Technology, 2025, nr 3

Semenova, Olena Kryvinska, Natalia Baraban, Serhii Prytula, Maksym Martyniuk, Volodymyr

2025, nr 3
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ł
L-SCANN: Logarithmic Subcentroid and Nearest Neighbor , Journal of Telecommunications and Information Technology, 2016, nr 4

Ahmad, Tohari Muchammad, Kharisma

2016, nr 4
artykuł
Introduction to Big Data Management Based on Agent Oriented Cyber Security, Journal of Telecommunications and Information Technology, 2017, nr 1

Raiyn, Jamal

2017, nr 1
czasopismo
Digital Fingerprinting Based on Quaternion Encryption Scheme for Gray-Tone Images, Journal of Telecommunications and Information Technology, 2014, nr 2

Rykaczewski, Roman Dzwonkowski, Mariusz Czaplewski, Bartosz

2014, nr 2
artykuł
Fuzzy logic classifier for radio signals recognition, Journal of Telecommunications and Information Technology, 2001, nr 2

Łopatka, Jerzy Pędzisz, Maciej

2001, nr 2
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ł
Evaluation of the Cyber Security Provision System for Critical Infrastructure, Journal of Telecommunications and Information Technology, 2015, nr 4

Jarmakiewicz, Jacek Maślanka, Krzysztof Parobczak, Krzysztof

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