Boeken over Integration of analysis techniques in security and fault-tolerance