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:

160

All available object's versions:

https://bc.itl.waw.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ł
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
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ł
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ł
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ł
The tactical Intranet IP Secsecurity concept, Journal of Telecommunications and Information Technology, 2003, nr 4

Bednarczyk, Mariusz Jarmakiewicz, Jacek Krygier, Jarosław

2003, nr 4
artykuł
The INTERSECTION Framework: Applied Security for Heterogeneous Networks, Journal of Telecommunications and Information Technology, 2011, nr 1

Romano, Simon Pietro Kowalczyk, Zbigniew Majewski, Mateusz Flizikowski, Adam Hołubowicz, Maria

2011, nr 1
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