Tagged secure-by-design