The Power of V&VA secure system ? especially a system that is used to provide security ? has to be trusted. But what underpins that trust? What proof do we have that the main components of our trusted system are implemented properly and won't fail at a critical moment?
Source:
The Power of V&V
