The 5𝑡ℎ International workshop on software engineering for secure systems (SESS'09) | IEEE Conference Publication | IEEE Xplore