TwoFactorAuthentication
|
|
appearance as argument number 1 |
(documentation TwoFactorAuthentication EnglishLanguage "A Attribute of account specifying that a TwoFactorLoggingIn action is required for access.") | ComputingBrands.kif 4368-4370 | |
(instance TwoFactorAuthentication AccountSecurityType) | ComputingBrands.kif 4367-4367 | TwoFactorAuthentication 是 AccountSecurityType 的 instance |
appearance as argument number 2 |
(contraryAttribute UserNamePasswordAuthentication TwoFactorAuthentication) | ComputingBrands.kif 4390-4390 | UserNamePasswordAuthentication 是 TwoFactorAuthentication 的相反 |
(termFormat EnglishLanguage TwoFactorAuthentication "two-factor authentication") | ComputingBrands.kif 4371-4371 |
antecedent |
(=> (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 |