An Automated Analyzer for Financial Security of Ethereum Smart Contracts.
Wansen WangWenchao HuangZhaoyi MengYan XiongFuyou MiaoXianjin FangCaichang TuRenjie JiPublished in: CoRR (2022)
Keyphrases
- smart grid
- security issues
- information security
- risk analysis
- statistical databases
- semi automated
- security policies
- security requirements
- human operators
- security problems
- security systems
- access control
- cyber security
- supply chain
- security management
- financial data
- computer security
- information assurance
- principal agent
- security mechanisms
- functional requirements
- fully automated
- network security
- decision making
- sensitive data
- smart environments
- intrusion detection
- security measures
- e government