Some Modeling Challenges When Testing Rich Internet Applications for Security | IEEE Conference Publication | IEEE Xplore