The society relies more and more on interconnected computers systems and distributed applications. This dissertation considers security in such systems, focusing on how to break the security. Online banking, wireless systems ...