Detecting Logic Vulnerabilities in E-commerce Applications.
Fangqi SunLiang XuZhendong SuPublished in: NDSS (2014)
Keyphrases
- multi valued
- information security
- modal logic
- logic programming
- electronic commerce
- automatic detection
- countermeasures
- classical logic
- neural network
- personal information
- proof theory
- deontic logic
- epistemic logic
- defeasible logic
- computational properties
- probabilistic logic
- automated reasoning
- multi agent
- machine learning