Formal procedural security modeling and analysis.

Komminist Weldemariam Adolfo Villafiorita

Published in: CRiSIS (2008)

Keyphrases

formal analysis
statistical analysis
intrusion detection
neural network
formal model
real time
machine learning
information retrieval
software engineering
quantitative analysis
formal models