Tatra Mountains Mathematical Publications
Zoznam článkov
Volume 25, 2002, No. 3
ISSN 1210-3195 (print)
ISSN 1338–9750 (online)
Obsah:
- Jenčušová, E. - Jirásek, J.: Formal methods of analysis of security protocols. (s. 1)
- Magliveras, S.: Secret- and public-key cryptosystems from group factorizations. (s. 11)
- Vasco, M. - Steinwandt, R.: Obstacles in two public key cryptosystems based on group factorizations. (s. 23)
- Čanda, V. - Tran Van Trung, .: Scalable block ciphers based on Feistel-like structure. (s. 39)
- Kula, M.: A cryptosystem based on double exponentiation. (s. 67)
- Grošek, O. - Herrera-Garcia, S. - Nemoga, K. - Satko, L.: A sharp proof of unicity distance for Markoff sources. (s. 81)
- Vajda, I.: Extraction of random bits for cryptographic purposes. (s. 91)
- Vojvoda, M.: A survey of security mechanisms in mobile communication systems. (s. 109)
- Schmidmeier, M.: Ring units in iterated cyclic extensions, and in NTRU. (s. 127)
- Duchoň, M.: Book review: Nievergelt, Y.: Foundations of Logic and Mathematics. Applications to Computer Science and Cryptography, Birkhäuser, Boston 2002, xii, 415 p. EUR 90.00; sFR. 136.00, ISBN 0-8176-4249-8. (s. 137)
- Duchoň, M.: Book review: Krantz, S. G.: Handbook of Logic and Proof Techniques for Computer Science. Birkhäuser, Springer, Boston-New York 2002, 245. EUR 60.75, ISBN 0-8176-4220-X.. (s. 139)