Timing Aware Information Flow Security for a JavaCard-like Bytecode.
Daniel HedinDavid SandsPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- information flow
- smart card
- information security
- java card
- security requirements
- countermeasures
- communication networks
- information flows
- security analysis
- flow analysis
- functional modules
- supply chain
- multi threaded
- social networks
- security model
- reactive systems
- flow graph
- emergency management
- access control
- information systems