IEEE Transactions on Dependable and Secure Computing (TDSC), 2(2):109-123, 2005.
...
This publication is accompanied by links to downloadable versions of this publication. These documents do not necessarily correspond exactly to the cited version. Instead, in most cases full or updated versions are provided. For access to the official version, follow the "Official version" link to the publishers site.