Keyphrases
- lecture notes
- computer science
- safety analysis
- lecture notes in artificial intelligence
- security systems
- network security
- model checking
- springer verlag
- artificial intelligence
- information security
- proceedings of the th international conference
- international conference
- knowledge discovery and data mining
- distributed systems
- formal methods
- selected papers
- reliability analysis
- machine learning
- computer society
- data mining