Search Sciweavers | Sciweavers

13

click to vote

JCS
2010

61views more JCS 2010»

Formal security analysis of PKCS#11 and proprietary extensions

13 years 3 months ago

Download www.lsv.ens-cachan.fr

Stéphanie Delaune, Steve Kremer, Graham Ste...

claim paper

Read More »

8

click to vote

JCS
2010

58views more JCS 2010»

Computationally sound analysis of protocols using bilinear pairings

13 years 3 months ago

Download www.lsv.ens-cachan.fr

Steve Kremer, Laurent Mazaré

claim paper

Read More »

9

click to vote

JCS
2010

64views more JCS 2010»

Finite models for formal security proofs

13 years 3 months ago

Download www.lsv.ens-cachan.fr

Jean Goubault-Larrecq

claim paper

Read More »

13

click to vote

JCS
2008

98views more JCS 2008»

Privacy policy enforcement in enterprises with identity management solutions

13 years 4 months ago

Download www.hpl.hp.com

Marco Casassa Mont, Robert Thyne

claim paper

Read More »

9

click to vote

JCS
2010

67views more JCS 2010»

Assurance for federated identity management

13 years 3 months ago

Download www.hpl.hp.com

Adrian Baldwin, Marco Casassa Mont, Yolanta Beres,...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers