AAU Student Projects - visit Aalborg University's student projects portal
A master's thesis from Aalborg University
Book cover


Modelling Java Card Applications With Defensive Measures In UPPAAL

Translated title

Moddelering af Java Card Applikationer Med Beskyttelsesmetoder I UPPAAL

Authors

;

Term

4. term

Education

Software, Master

Publication year

2015

Submitted on

Pages

73

Keywords

UPPAAL ; Smart Card ; Java Card ; Bitflip ; Control-flow ; Single-event Upsets

Documents

Download
View record in AAU Student Projects