sign in · help · news · about · deen

BibSonomy ::  publication ::

The blue social bookmark and publication sharing system.
entry 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.
(0.0 of 5.0 based on 0 reviews)

Verifying Second-Level Security Protocols.

by: Giampaolo Bella, Cristiano Longo, and Lawrence C. Paulson
In: TPHOLs, Vol. 2758Springer (2003) , p. 352-366.
Citation format (all formats):

Resources (URL, PDF, PS...)

BibTeX record

Endnote record

a gripper