|
|
News
March 06, 2003
New protocol submitted by Thomas Genet:
SmartRight view-only,
a part of the SmartRight
system designed by Thomson for copy protection
for the Digital Video Broadcasting technology.
January 17, 2003
New protocol SK3,
a smard card based session key distribution protocol,
from Victor Shoup and Avi D. Rubin.
January 17, 2003
Another (claimed) attack on TMN,
based on algebraic assumptions on the method used for the protocol implementation,
published by Gustavus J. Simmons and submitted by Ralf Treinen.
January 16, 2003
New protocol submitted by Michael Roe:
the CAM protocol for Mobile IP, which was published in the April 2001 issue of Computer
Communications Review.
December, 2 2002
New protocols: KSL and Lowe modified KSL.
November, 21 2002
IMPORTANT NEWS! New URL: http://www.lsv.ens-cachan.fr/spore,
and also new name, new logo...
November, 20 2002
Comments added to Wide Mouthed Frog, Lowe modified Wide Mouthed Frog.
November, 18 2002
Following suggestions of Martin Abadi,
the section title Attack has been
renamed to Claimed attacks.
Also, Proofs becomes Claimed proofs.
We want to insist on the fact that we do not check
the correctness of the claims presented, we are just
trying to cite them accurately. See this important remark
for more information.
November, 15 2002
Opening of the first version of the library.
It contains 41 protocols and variants, most of them
taken from the Clark and Jacob survey.
|
