Download malware? no, thanks: how formal methods can block update attacks.
Francesco MercaldoVittoria NardoneAntonella SantoneCorrado Aaron VisaggioPublished in: FormaliSE@ICSE (2016)
Keyphrases
- formal methods
- detect malicious
- malicious code
- detecting malicious
- formal analysis
- model checking
- attack scenarios
- formal specification
- knowledge based systems
- provably correct
- safety critical
- model checker
- artificial intelligence
- process algebra
- reactive systems
- malware detection
- reverse engineering
- watermarking algorithm
- static analysis
- watermarking scheme
- attack detection
- computer security
- security protocols
- security mechanisms
- security properties
- control flow
- database
- modeling language
- network traffic
- software engineering
- relational databases
- databases