Search Sciweavers | Sciweavers

25

click to vote

JCS
2010

61views more JCS 2010»

Formal security analysis of PKCS#11 and proprietary extensions

13 years 9 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

28

click to vote

JCS
2010

58views more JCS 2010»

Computationally sound analysis of protocols using bilinear pairings

13 years 9 months ago

Download www.lsv.ens-cachan.fr

Steve Kremer, Laurent Mazaré

claim paper

Read More »

21

click to vote

JCS
2010

64views more JCS 2010»

Finite models for formal security proofs

13 years 9 months ago

Download www.lsv.ens-cachan.fr

Jean Goubault-Larrecq

claim paper

Read More »

37

click to vote

JCS
2008

98views more JCS 2008»

Privacy policy enforcement in enterprises with identity management solutions

13 years 10 months ago

Download www.hpl.hp.com

Marco Casassa Mont, Robert Thyne

claim paper

Read More »

20

click to vote

JCS
2010

67views more JCS 2010»

Assurance for federated identity management

13 years 9 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