Proceedings of the 2006 international workshop on Software engineering for secure systems
ACM Digital Library