An abstract semantics tool for secure information flow of stack-based assembly programs.
Cinzia BernardeschiNicoletta De FrancescoGiuseppe LettieriPublished in: Microprocess. Microsystems (2002)
Keyphrases
- information flow
- flow analysis
- information flows
- communication networks
- graphical representation
- social networks
- flow graph
- supply chain
- information security
- high level
- dynamic aspects
- multi threaded
- method invocation
- multi context systems
- functional modules
- process management
- stable models
- information propagation
- answer sets
- information systems
- database