Journal of Telecommunications and Information Technology - Tom nr 4 (2002) - BazTech - Yadda

Powiadomienia systemowe

Sesja wygasła!

Tom - szczegóły

Tytuł artykułu

nr 4

Czasopismo

Journal of Telecommunications and Information Technology

Wydawca

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

Rocznik

2002

Identyfikatory

Zawartość wolumenu

nr 4
- artykuł: Is it possible to decide whether a cryptographic protocol is secure or not? (Comon H., Shmatikov V.), s. 5-15
- artykuł: CAPSL and MuCAPSL (Millen J.K., Denker G.), s. 16-27
- artykuł: Process calculi and the verification of security protocols (Boreale M., Gorla D.), s. 28-39
- artykuł: Asymmetric cryptography and practical security (Pointcheval D.), s. 41-56
- artykuł: Analysis of cryptographic protocols using logics of belief: an overview (Monniaux D.), s. 57-67
- artykuł: CardS4: modal theorem proving on Java smart cards (Gore R.P., Nguyen P.T.), s. 68-80
- artykuł: A formal dynamic semantics of Java: an essential ingredient of Java security (Debbabi M., Tawbi N., Yahyaoui H.), s. 81-120

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.