Sciweavers

619 search results - page 5 / 124
» IFIP
Sort
View
126
Voted
IFIP
2009
Springer
16 years 2 months ago
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
Sibylle B. Fröschle, Graham Steel
IFIP
2009
Springer
16 years 2 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim
154
Voted
IFIP
2007
Springer
16 years 1 months ago
Formal Modeling and Analysis of the Modbus Protocol
Bruno Dutertre
IFIP
2007
Springer
16 years 1 months ago
A Tool for Supporting Feature-Driven Development
Marek Rychlý, Pavlína Tichá