Sciweavers

80 search results - page 2 / 16

» ifip 2009

9

IFIP
2009
Springer

99views Programming Languages» more IFIP 2009»

Managing Innovation: A Multidisciplinary Scenario Development Approach

13 years 2 months ago

Managing Innovation: A Multidisciplinary Scenario Development Approach

Download www-staff.lboro.ac.uk

Esmond Urwin, Michael Henshaw

claim paper

Read More »

9

IFIP
2009
Springer

102views Programming Languages» more IFIP 2009»

Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data

13 years 11 months ago

Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data

Download www.lsv.ens-cachan.fr

Sibylle B. Fröschle, Graham Steel

claim paper

Read More »

10

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Integrating Automated and Interactive Protocol Verification

13 years 11 months ago

Integrating Automated and Interactive Protocol Verification

Download www.brucker.ch

Achim D. Brucker, Sebastian Mödersheim

claim paper

Read More »

9

IFIP
2009
Springer

98views Programming Languages» more IFIP 2009»

On Hard and Soft Models to Analyze Trust Life Cycle for Mediating Collaboration

13 years 9 months ago

On Hard and Soft Models to Analyze Trust Life Cycle for Mediating Collaboration

Download www.uninova.pt

Simon Samwel Msanjila, Hamideh Afsarmanesh

claim paper

Read More »

7

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

13 years 9 months ago

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

Download www-verimag.imag.fr

Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier

claim paper

Read More »

« Prev « First page 2 / 16 Last » Next »