polski   English  

Biblioteka

Wyniki wyszukiwania

Wyniki wyszukiwania: obiekty podobne

Zapytanie:
Podobne do wydania Boreale, Michele; Gorla, Daniele, Process calculi and the verification of security protocols, Journal of Telecommunications and Information Technology, 2002, nr 4
Wyniki:
  • - Znaleziono obiektów:   100
    • Wydania: 1
    • Publikacje: 99
Widok:
Prosty | Rozbudowany
1.  PDF Process calculi and the verification of security protocols, Journal of Telecommunications and Information Technology, 2002, nr 4 - Boreale, Michele []
Trafność: 100%
Słowa kluczowe: Dolev-Yao model , cryptographic protocols , observational equivalence , process calculi , spi calculus
Znajdź obiekty podobne do tego
2.  PDF 2002, nr 1, JTIT - artykuły []
Trafność: 88%
Znajdź obiekty podobne do tego
3.  PDF 2002, nr 2, JTIT - artukuły []
Trafność: 88%
Znajdź obiekty podobne do tego
4.  PDF 2002, nr 3, JTIT - artykuły []
Trafność: 73%
Znajdź obiekty podobne do tego
5.  PDF 2002, nr 4, JTIT - artykuły []
Trafność: 73%
Znajdź obiekty podobne do tego
6.  PDF 2014, nr 2, JTIT - artykuły []
Trafność: 49%
Znajdź obiekty podobne do tego
7.  PDF 2014, nr 1, JTIT - artykuły []
Trafność: 49%
Znajdź obiekty podobne do tego
8.  PDF Telekomunikacja i Techniki Informacyjne, 2002, nr 3-4 - artykuły []
Trafność: 44%
Znajdź obiekty podobne do tego
9.  PDF Telekomunikacja i Techniki Informacyjne, 2002, nr 1-2 - artykuły []
Trafność: 44%
Znajdź obiekty podobne do tego
10.  PDF 2000, nr 3-4, JTIT - artykuły []
Trafność: 40%
Znajdź obiekty podobne do tego
<<< Poprzednie  / 10 Następne >>>