Solving some modeling challenges when testing rich internet applications for security (0)

by S Choudhary, M E Dincturk, G von Bochmann, G-V Jourdan, I-V Onut, P Ionescu
Venue:in ICST, 2012