publicationentry of dblp:
(0)
This publication has not been reviewed yet.
rating distribution
average user rating
?
The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.
Verifying Second-Level Security Protocols.
by:In: TPHOLs, Vol. 2758Springer
(2003)
, p. 352-366.
Resources (URL, PDF, PS...)