Quantitative Security Analysis for Multi-threaded Programs.

Tri Minh Ngo Marieke Huisman

Published in: QAPL (2013)

Keyphrases

security analysis
multi threaded
smart card
information flow
security requirements
operating system
public key
multi core processors
computer architecture
multithreading
encryption scheme
user authentication
real time
information systems
data model
access control policies