IEEE transactions on dependable and secure computing - IEEE Computer Society. (IEEE Computer Society Publications Office, 2004)