Geahča maid: Security engineering : a guide to building dependable distributed systems