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:

28 maj 2024

Data dodania obiektu:

19 kwi 2010

Liczba wyświetleń treści obiektu:

144

Wszystkie dostępne wersje tego obiektu:

https://bc.itl.waw.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 28 maj 2024

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