JMODEX: Model extraction for verifying security properties of web applications.

Petru Florin Mihancea Marius Minea

Published in: CSMR-WCRE (2014)

Keyphrases

web applications
formal model
web services
data mining
website
case study
expert systems
end users
open source
operating system
security requirements