https://rbisysadmin.com/2013/02/security-engineering-a-guide-to-building-dependable-distributed-systems/