Wyszukiwanie zaawansowane ?

Obiekt

Pobierz

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

Autor:

Shmatikov, Vitaly ; Comon, Hubert

Data wydania:

2002, nr 4

Typ zasobu:

artykuł

Opis:

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.

Wydawca:

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

Format:

application/pdf

Identyfikator zasobu:

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

Źródło:

Journal of Telecommunications and Information Technology

Język:

ang

Prawa:

Biblioteka Naukowa Instytutu Łączności

Temat i słowa kluczowe:

security cryptographic protocols decision procedures logic

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:

155

Wszystkie dostępne wersje tego obiektu:

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

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Nazwa wydania Data
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 25 lut 2026

Obiekty Podobne

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ł
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