Sciweavers

2 search results - page 1 / 1
» fosad 2005
Sort
View
132
Voted
FOSAD
2005
Springer
16 years 11 days ago
Security and Trust Requirements Engineering
Paolo Giorgini, Fabio Massacci, Nicola Zannone
FOSAD
2005
Springer
16 years 11 days 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