Log Analysis Using Temporal Logic and Reconstruction Approach: Web Server Case.
Murat GunestasZeki BilginPublished in: J. Digit. Forensics Secur. Law (2016)
Keyphrases
- temporal logic
- web server
- log analysis
- log files
- model checking
- website
- web search engines
- web pages
- computation tree logic
- user behavior
- web users
- log data
- web logs
- end users
- linear temporal logic
- web search
- web usage mining
- mobile agents
- belief revision
- query logs
- information retrieval systems
- pattern discovery
- multimedia
- verification method
- search engine