Security Engineering and Tobias on Locks Two-Book Set: A Guide to Building Dependable Distributed Systems / Understanding and Preventing Design Vulnerabilities in Locks, Safes, and Security Hardware