Security of Cryptographic Protocols

Thread View: sci.crypt

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Armin Liebl Mon, 10 Aug 1992 15:06

#461

Author: Armin Liebl
Date: Mon, 10 Aug 1992 15:06

37 lines
1784 bytes

For my thesis I have some questions concerning the analysis
of the security of cryptographic protocols.

1. I know the work of Burrows, Abadi and Needham (BAN logic)
   and the enhancements made by Gong, Needham and Yahalom
   (GNY logic). Are these logics of authentication widely
   accepted or are other formal methods currently being
   developed.
2. There is some work that describes analyzing cryptographic
   protocols using finite automatons. This work concentrates on
   analyzing properties like completeness, deadlock freedom or
   termination of a protocols. Is it possible to use the
   automaton approach for analyzing security properties of a
   protocol?
3. Are there formal methods for analyzing zero knowledge
   protocols or cryptographic protocols with other goals
   than authentication?
4. Is it still desirable to have formal methods for analyzing
   cryptographic protocols when such things like Kerberos
   or SPX exist and are widely spread.

Many thanks for your help.

Armin Liebl

-------------------------------------------------------------------------

Armin Liebl
Technische Universitaet Muenchen
Institut fuer Informatik
Postfach 202420
W-8000 Muenchen 2

Email: liebla@informatik.tu-muenchen.de
Tel.:  45 05 52 24
Fax.:  45 05 52 22

Re: Security of Cryptographic Protocols

#482

Author: Don Alvarez
Date: Tue, 11 Aug 1992 13:57

13 lines
1002 bytes

In article <1992Aug10.150657.23937@Informatik.TU-Muenchen.DE> liebla@Informatik.TU-Muenchen.DE (Armin Liebl) writes:
>
>4. Is it still desirable to have formal methods for analyzing
>   cryptographic protocols when such things like Kerberos
>   or SPX exist and are widely spread.
       ^^^

Can someone post a pointer to SPX (reference article or what it stands
for or how it works or something like that)?  I'm familiar with MIT's
Kerberos, but not SPX.

thanks,
-don alvarez

Re: Security of Cryptographic Protocols

#487

Author: Dick Rawson
Date: Tue, 11 Aug 1992 21:27

10 lines
828 bytes

>Can someone post a pointer to SPX (reference article or what it stands
>for or how it works or something like that)?  I'm familiar with MIT's
>Kerberos, but not SPX.

Joseph J. Tardo, Kannan Alagappan:
"SPX:  Global Authentication Using Public Key Certificates".
Proc. of the 1991 IEEE Symposium on Research in Security and Privacy,
pp. 232-244, May 1991.

Dick Rawson

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads