On the power of nonuniformity in proofs of security.
Kai-Min ChungHuijia LinMohammad MahmoodyRafael PassPublished in: ITCS (2013)
Keyphrases
- power consumption
- information security
- security policies
- intrusion detection
- security requirements
- network security
- infrared
- security issues
- security problems
- computer security
- statistical databases
- power grid
- data security
- functional requirements
- security management
- access control
- information assurance
- formal proofs
- data sets
- electric power systems
- security systems
- critical infrastructure
- intrusion detection system
- distributed systems
- low cost
- information systems