A Formal Security Model of a Smart Card Web Server.

Pierre Neron, Quang-Huy Nguyen

Browse the full CARDIS paper archive.