uni.BouncyCastle-JCA.3.1.3.source-code.PasswordAuthentication.crysl Maven / Gradle / Ivy
The newest version!
SPEC java.net.PasswordAuthentication
OBJECTS
java.lang.String userName;
java.lang.String retUserName;
char[] password;
EVENTS
c1: PasswordAuthentication(userName, password);
Con := c1;
gp1: getPassword();
GetPassword := gp1;
gu1: retUserName = getUserName();
GetUserName := gu1;
ORDER
Con, (GetPassword | GetUserName)*
CONSTRAINTS
neverTypeOf[password, java.lang.String];
notHardCoded[password];
ENSURES
generatedPasswordAuthentication[this];