Abstract interpretation of operational semantics for secure information flow.
Roberto BarbutiCinzia BernardeschiNicoletta De FrancescoPublished in: Inf. Process. Lett. (2002)
Keyphrases
- information flow
- operational semantics
- abstract interpretation
- termination analysis
- static analysis
- formal semantics
- model checking
- mental states
- communication networks
- reasoning engine
- social networks
- supply chain
- active rules
- dynamic analysis
- data model
- active databases
- database management systems
- information security
- source code
- knowledge base
- artificial intelligence
- databases
- database systems
- speech acts
- data mining