Publikacja
Eksport metadanych
Zapisz ten adres...
Opis publikacji
Journal of Telecommunications and Information Technology, 2002, nr 4
-
Struktura publikacji:
-
-
2002, nr 4, JTIT - artykuły
-
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
-
Millen, Jonathan K.; Denker, Grit, CAPSL and MuCAPSL, Journal of Telecommunications and Information Technology, 2002, nr 4
-
Boreale, Michele; Gorla, Daniele, Process calculi and the verification of security protocols, Journal of Telecommunications and Information Technology, 2002, nr 4
-
Pointcheval, David, Asymmetric cryptography and practical security, Journal of Telecommunications and Information Technology, 2002, nr 4
-
Monniaux, David, Analysis of cryptographic protocols using logics of belief: an overview, Journal of Telecommunications and Information Technology, 2002, nr 4
-
Gore, Rajeev Prabhakar; Nguyen, Phuong The, CardS4: modal theorem proving on Java smart cards, Journal of Telecommunications and Information Technology, 2002, nr 4
-
Debbabi, Mourad; Tawbi, Nadia; Yahyaoui, Hamdi, A formal dynamic semantics of Java: an essential ingredient of Java security, Journal of Telecommunications and Information Technology, 2002, nr 4
