A library for light-weight information-flow security in haskell.
Alejandro RussoKoen ClaessenJohn HughesPublished in: Haskell (2008)
Keyphrases
- information flow
- lightweight
- information security
- flow analysis
- social networks
- flow graph
- communication networks
- information systems
- communication infrastructure
- information flows
- functional modules
- rfid tags
- programming language
- multi threaded
- intrusion detection
- emergency management
- supply chain
- information propagation
- knowledge discovery
- multi context systems
- software engineering
- reactive systems
- wireless sensor networks