Estados de autenticação NS (Network Security).
Transição para o estado associado.
Transição para o estado nulo.
Transição para o estado autorizado.
Transição para uma sessão online efêmera.
Transição reflexiva, apenas para verificar o conjunto de shadow/share.
Description
Estados de autenticação NS (Network Security).
Property
Transição para o estado associado.
Property
Transição para o estado nulo.
Property
Transição para o estado autorizado.
Property
Transição para uma sessão online efêmera.
Property
Transição reflexiva, apenas para verificar o conjunto de shadow/share.