Security analyzing and designing GUI with the resources model | IEEE Conference Publication | IEEE Xplore