Ensuring information security by using Haskell's advanced type system.
Matteo Di PirroMauro ContiRiccardo LazzerettiPublished in: ICCST (2017)
Keyphrases
- information security
- countermeasures
- security issues
- information systems
- intrusion detection
- computer security
- smart card
- information security management
- network security
- technical issues
- security requirements
- information assurance
- smart grid
- design theory
- risk assessment
- database
- risk analysis
- cyber defense
- privacy concerns
- programming language
- sensitive data
- e government
- critical infrastructure
- iso iec
- metadata
- learning algorithm
- security level
- security risks
- information retrieval
- machine learning
- databases