Sciweavers

82 search results - page 3 / 17

» ifip 2010

10

IFIP
2010
Springer

114views Programming Languages» more IFIP 2010»

Formal Analysis of Key Integrity in PKCS#11

13 years 1 months ago

Formal Analysis of Key Integrity in PKCS#11

Download www.dsi.unive.it

Andrea Falcone, Riccardo Focardi

claim paper

Read More »

13

IFIP
2010
Springer

94views Programming Languages» more IFIP 2010»

Match It or Die: Proving Integrity by Equality

13 years 1 months ago

Match It or Die: Proving Integrity by Equality

Download www.dsi.unive.it

Matteo Centenaro, Riccardo Focardi

claim paper

Read More »

6

IFIP
2010
Springer

116views Programming Languages» more IFIP 2010»

The Variable Nature of Trust in Sustainable Collaborative Ventures

13 years 4 months ago

The Variable Nature of Trust in Sustainable Collaborative Ventures

Download www.uninova.pt

Ronald C. Beckett, Michael Jones

claim paper

Read More »

8

IFIP
2010
Springer

89views Programming Languages» more IFIP 2010»

Informedness in Collaborative Networks through Active Information Provisioning

13 years 4 months ago

Informedness in Collaborative Networks through Active Information Provisioning

Download www.uninova.pt

Heiko Thimm, Karsten Boye Rasmussen

claim paper

Read More »

13

IFIP
2010
Springer

107views Programming Languages» more IFIP 2010»

Reasoning with Past to Prove PKCS#11 Keys Secure

13 years 1 months ago

Reasoning with Past to Prove PKCS#11 Keys Secure

Download csd.informatik.uni-oldenburg.de

Sibylle B. Fröschle, Nils Sommer

claim paper

Read More »

« Prev « First page 3 / 17 Last » Next »