Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

34

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer-Verlag

3540530002

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Comparison of block ciphers

Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science ◽

10.1007/bfb0030362 ◽

2006 ◽

pp. 207-220 ◽

Author(s):

Helen Gustafson ◽

Ed Dawson ◽

Bill Caelli

Keyword(s):

Download Full-text

Continued fractions and the Berlekamp-Massey algorithm

Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science ◽

10.1007/bfb0030347 ◽

2006 ◽

pp. 23-31 ◽

Author(s):

Zongduo Dai ◽

Kencheng Zeng

Keyword(s):

Continued Fractions

Download Full-text

A note on strong Fibonacci pseudoprimes

Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science ◽

10.1007/bfb0030371 ◽

2006 ◽

pp. 311-317

Author(s):

Rudolf Lidl ◽

Winfried B. Müller

Download Full-text

On the formal analysis of PKCS authentication protocols

Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science ◽

10.1007/bfb0030355 ◽

2006 ◽

pp. 105-121 ◽

Author(s):

Klaus Gaarder ◽

Einar Snekkenes

Keyword(s):

Formal Analysis ◽

Authentication Protocols

Download Full-text

K-M sequence is forwardly predictable

Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science ◽

10.1007/bfb0030349 ◽

2006 ◽

pp. 37-38

Author(s):

Yang Yi Xian

Keyword(s):

Download Full-text

On the significance of the directed acyclic word graph in cryptology

Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science ◽

10.1007/bfb0030372 ◽

2006 ◽

pp. 318-326 ◽

Author(s):

Cees J. A. Jansen ◽

Dick E. Boekee

Download Full-text

Formal specification and verification of secure communication protocols

Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science ◽

10.1007/bfb0030352 ◽

2006 ◽

pp. 58-73

Author(s):

Svein J. Knapskog

Keyword(s):

Formal Specification ◽

Secure Communication ◽

Communication Protocols ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Solving equations in sequences

Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science ◽

10.1007/bfb0030373 ◽

2006 ◽

pp. 327-332 ◽

Author(s):

Kencheng Zeng ◽

Minqiang Huang

Keyword(s):

Solving Equations

Download Full-text

Record encryption in distributed databases

Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science ◽

10.1007/bfb0030377 ◽

2006 ◽

pp. 386-395

Author(s):

Thomas Hardjono

Keyword(s):

Distributed Databases

Download Full-text

A (non-practical) three-pass identification protocol using coding theory

Advances in Cryptology — AUSCRYPT '90 - Lecture Notes in Computer Science ◽

10.1007/bfb0030367 ◽

2006 ◽

pp. 265-272 ◽

Author(s):

Marc Girault

Keyword(s):

Download Full-text