La visibilité de la transparence doit être conservée entre les méthodes de substitution et les méthodes qui sont substituées. ...

La visibilité de la transparence doit être conservée entre les méthodes de substitution et les méthodes qui sont substituées. Si la méthode virtuelle qui est substituée ou la méthode d'interface implémentée est critique sécurisée (security safe-critical) ou transparente de sécurité, la méthode de substitution doit également être soit critique sécurisée (security safe-critical) soit transparente de sécurité. De même, si la méthode substituée est critique de sécurité, la méthode de substitution doit être critique de sécurité.