Re: Security of Cryptographic Protocols

Article View: sci.crypt

Article #482

#482

From: 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

Technical Details

Message-ID: <1992Aug11.135753.10041@Princeton.EDU>

Path: arc1-ca.pugleaf.net!sparky!uunet!usc!sdd.hp.com!mips!darwin.sura.net!jvnc.net!princeton!athena!dla

References: <1992Aug10.150657.23937@Informatik.TU-Muenchen.DE>

Show Full Headers

Complete Article Headers

Newsgroups: sci.crypt
Path: arc1-ca.pugleaf.net!sparky!uunet!usc!sdd.hp.com!mips!darwin.sura.net!jvnc.net!princeton!athena!dla
From: dla@athena (Don Alvarez)
Subject: Re: Security of Cryptographic Protocols
Message-ID: <1992Aug11.135753.10041@Princeton.EDU>
Originator: news@nimaster
Sender: news@Princeton.EDU (USENET News System)
Nntp-Posting-Host: athena.princeton.edu
Organization: Princeton University
References: <1992Aug10.150657.23937@Informatik.TU-Muenchen.DE>
Date: Tue, 11 Aug 1992 13:57:53 GMT
Lines: 14

Reply to Parent Message