Merkliste 
 1 Ergebnisse 
 
1

A Secret-Sharing Protocol Modelled in Maude:

Rodríguez, Dilia E.
Electronic Notes in Theoretical Computer Science.  71 (2004)  - p. 223-239 , 2004