Proceedings of the 2005 workshop on Software engineering for secure systemsbuilding trustworthy applications
ACM Digital Library