Sciweavers

2 search results - page 1 / 1
» fosad 2005
Sort
View
FOSAD
2005
Springer
13 years 10 months ago
Security and Trust Requirements Engineering
Paolo Giorgini, Fabio Massacci, Nicola Zannone
FOSAD
2005
Springer
13 years 10 months ago
Formal Methods for Smartcard Security
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
Gilles Barthe, Guillaume Dufay