Sciweavers

9698 search results - page 86 / 1940
» models 2010
Sort
View
JCS
2010
64views more  JCS 2010»
15 years 4 months ago
Finite models for formal security proofs
Jean Goubault-Larrecq