Instruction-level security analysis for information flow in stack-based assembly languages.

Nicoletta De Francesco Luca Martini

Published in: Inf. Comput. (2007)

Keyphrases

information flow
security analysis
information security
security requirements
smart card
information flows
public key
high security
communication networks
user authentication
flow graph
database systems
social networks
access control policies
supply chain
authentication protocol
case study
data mining