Sciweavers

JCS
2010

Finite models for formal security proofs

14 years 7 months ago
Finite models for formal security proofs
Jean Goubault-Larrecq
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where JCS
Authors Jean Goubault-Larrecq
Comments (0)