TwoFactorLoggingIn - Sigma Knowledge base Browser

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	Two-factor login is a subclass of logging in

appearance as argument number 2

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