Sciweavers

35 search results - page 2 / 7
» jcs 2006
Sort
View
JCS
2010
61views more  JCS 2010»
14 years 11 months ago
Formal security analysis of PKCS#11 and proprietary extensions
Stéphanie Delaune, Steve Kremer, Graham Ste...
81
Voted
JCS
2010
64views more  JCS 2010»
14 years 11 months ago
Finite models for formal security proofs
Jean Goubault-Larrecq
106
Voted
JCS
2008
98views more  JCS 2008»
15 years 18 days ago
Privacy policy enforcement in enterprises with identity management solutions
Marco Casassa Mont, Robert Thyne
69
Voted
JCS
2010
67views more  JCS 2010»
14 years 11 months ago
Assurance for federated identity management
Adrian Baldwin, Marco Casassa Mont, Yolanta Beres,...