Verified Password Generation from Password Composition Policies

Grilo, M; Campos, J; Ferreira, JF; Almeida, JB; Mendes, A

Ferreira, JF (通讯作者),Univ Lisbon, IST, Lisbon, Portugal.;Ferreira, JF (通讯作者),Univ Lisbon, INESC ID, Lisbon, Portugal.

INTEGRATED FORMAL METHODS, IFM 2022, 2022; 13274 (): 271