TwoFactorLoggingIn
|
|
appearance as argument number 1 |
(documentation TwoFactorLoggingIn EnglishLanguage "A Process of LoggingIn to a Computer that has an extra identity verification step beyond just entering a userName and password.") | ComputingBrands.kif 4294-4296 | |
(subclass TwoFactorLoggingIn LoggingIn) | ComputingBrands.kif 4293-4293 | TwoFactorLoggingIn 是 LoggingIn 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage TwoFactorLoggingIn "two-factor login") | ComputingBrands.kif 4297-4297 |
antecedent |
(=> (instance ?TF TwoFactorLoggingIn) (exists (?DE ?DD) (and (subProcess ?DE ?TF) (instance ?DE DataEntry) (instance ?DD DigitalData) (objectTransferred ?DE ?DD) (not (instance ?DD ComputerPassword)) (not (instance ?DD UserName))))) |
ComputingBrands.kif 4299-4310 |
consequent |
(=> (and (attribute ?AC TwoFactorAuthentication) (loggedInDuring ?A ?AC ?T)) (exists (?TF) (and (instance ?TF TwoFactorLoggingIn) (agent ?TF ?A) (accountUsed ?TF ?AC) (earlier (WhenFn ?TF) ?T)))) |
ComputingBrands.kif 4373-4382 |