You are about to access our book library "Workshop on Software Engineering for Secure Systems (SESS'05): Building Trustworthy Applications full version" .