Refinement Operators and Information Flow Security.
Annalisa BossiRiccardo FocardiCarla PiazzaSabina RossiPublished in: SEFM (2003)
Keyphrases
- information flow
- refinement operators
- information security
- flow analysis
- social networks
- logic programs
- inductive logic programming
- communication networks
- description logics
- supply chain
- information flows
- intrusion detection
- relational learning
- flow graph
- e government
- relational data
- xml documents
- information systems
- databases