SSG: a model-based development environment for smart, security-aware GUIs | IEEE Conference Publication | IEEE Xplore