Seventh international workshop on software engineering for secure systems (SESS 2011)