(logic of authentication)
rachunek logiczny oparty na ustalonym zbiorze regul wnioskowania sluzacy do formalnego rozstrzygania o protokolach uwierzytelniania.
(logic of authentication)
rachunek logiczny oparty na ustalonym zbiorze regul wnioskowania sluzacy do formalnego rozstrzygania o protokolach uwierzytelniania.