Huy Nguyen Quang

Discipline

Sciences de l'information et de la communication (1)

Type de document

Colloques et conférences (1)

Co-auteur

Pierre Neron

Date

Source

HAL-SHS : sciences de l'information, de la communication et des bibliothèques (1)

Mot-clé

monde (1) logiciel (1) spectacle (1) science (1) politique (1) papier (1) modèle (1) information (1) analyse (1) abords (agglomération) (1) Software (1) Smart cards (1) Science (1) Paper (1) Gifts (1) Example (1) Evidence (1) Properties (1) Analysis (1) Science (1)

Documents écrit par Huy Nguyen Quang (1) | parle de Huy Nguyen Quang (0)

A Formal Security Model of a Smart Card Web Server

Pierre Neron et al. (14 sept. 2011)