1
TÍTULO: JCSI: A tool for checking secure information flow in Java Card applications  Full Text
AUTORES: Marco Avvenuti; Cinzia Bernardeschi; Nicoletta De Francesco; Paolo Masci ;
PUBLICAÇÃO: 2012, FONTE: Journal of Systems and Software, VOLUME: 85, NÚMERO: 11
INDEXADO EM: Scopus DBLP CrossRef: 3