Sciweavers

619 search results - page 30 / 124

» IFIP

70

IFIP12
2009

73views Information Technology» more IFIP12 2009»

MSRS: Critique on its Usability via a Path Planning Algorithm Implementation

14 years 9 months ago

MSRS: Critique on its Usability via a Path Planning Algorithm Implementation

Download users.uom.gr

George Markou, Ioannis Refanidis

claim paper

Read More »

53

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

14 years 6 months ago

AnBx - Security Protocols Design and Verification

Download www.dsi.unive.it

Michele Bugliesi, Paolo Modesti

claim paper

Read More »

63

IFIP
2010
Springer

80views Programming Languages» more IFIP 2010»

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction

14 years 6 months ago

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction

Download www-sop.inria.fr

Clément Hurlin, Hélène Kirchn...

claim paper

Read More »

61

IFIP
2010
Springer

107views Programming Languages» more IFIP 2010»

Reasoning with Past to Prove PKCS#11 Keys Secure

14 years 6 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 »

68

IFIP
2010
Springer

114views Programming Languages» more IFIP 2010»

Formal Analysis of Key Integrity in PKCS#11

14 years 6 months ago

Formal Analysis of Key Integrity in PKCS#11

Download www.dsi.unive.it

Andrea Falcone, Riccardo Focardi

claim paper

Read More »

« Prev « First page 30 / 124 Last » Next »