Skip to main content
  • Conference proceedings
  • © 1996

Advances in Cryptology - ASIACRYPT '96

International Conference on the Theory and Applications of Crypotology and Information Security, Kyongju, Korea, November 3 - 7, 1996, Proceedings

Conference proceedings info: ASIACRYPT 1996.

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (37 papers)

  1. Front Matter

  2. Discrete time process algebra with abstraction

    • J. C. M. Baeten, J. A. Bergstra
    Pages 1-15
  3. A duration calculus with infinite intervals

    • Zhou Chaochen, Dang Van Hung, Li Xiaoshan
    Pages 16-41
  4. A delegation-based object calculus with subtyping

    • Kathleen Fisher, John C. Mitchell
    Pages 42-61
  5. Model-checking for real-time systems

    • Kim G. Larsen, Paul Pettersson, Wang Yi
    Pages 62-88
  6. From a concurrent λ-calculus to the π-calculus

    • Roberto M. Amadio, Lone Leth, Bent Thomsen
    Pages 106-115
  7. Rewriting regular inequalities

    • Valentin Antimirov
    Pages 116-125
  8. Processes with multiple entries and exits

    • J. A. Bergstra, Gh. Ştefaonescu
    Pages 136-145
  9. Efficient rewriting in cograph trace monoids

    • Michael Bertol
    Pages 146-155
  10. Effective category and measure in abstract complexity theory

    • Cristian Calude, Marius Zimand
    Pages 156-170
  11. About planar cayley graphs

    • Thomas Chaboud
    Pages 171-180
  12. On condorcet and median points of simple rectilinear polygons

    • Victor D. Chepoi, Feodor F. Dragan
    Pages 181-190
  13. Fast algorithms for maintaining shortest paths in outerplanar and planar digraphs

    • Hristo N. Djidjev, Grammati E. Pantziou, Christos D. Zaroliagis
    Pages 191-200
  14. r-Domination problems on homogeneously orderable graphs

    • Feodor F. Dragan, Falk Nicolai
    Pages 201-210
  15. Growing patterns in 1D cellular automata

    • Bruno Durand, Jacques Mazoyer
    Pages 211-220
  16. Dummy elimination: Making termination easier

    • M. C. F. Ferreira, H. Zantema
    Pages 243-252

Other Volumes

  1. Advances in Cryptology — ASIACRYPT '96

About this book

This book constitutes the strictly refereed proceedings of the International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT '96, held in Kyongju, Korea, in November 1996.
The 31 revised full papers presented together with three invited contributions were carefully selected from a total of 124 submissions. The papers are organized in topical sections on discrete log based systems, efficient algorithms, hash functions and block cyphers, cryptographic protocols, signature and identification, visual secret sharing, key distribution, Boolean functions, electronic cash, special signatures, stream ciphers, and hard problems.


  • Boolean function
  • algorithm
  • algorithms
  • cryptology
  • data security
  • information
  • information security
  • algorithm analysis and problem complexity

Bibliographic Information

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)