Detail publikace

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

Originální název

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

Anglický název

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

Jazyk

en

Originální abstrakt

Weaknesses in authentication protocols (AP) are hard to identify, as they can be the result of subtle design flaws. The formal verification of authentication protocols may be done in two ways. One possibility is to use a modal logic of authentication. The other possibility is to use general purpose formal methods. This paper provides a survey through the world of modal logics used in AP and gives a comparison of different variants of modal logics and their target areas of application.

Anglický abstrakt

Weaknesses in authentication protocols (AP) are hard to identify, as they can be the result of subtle design flaws. The formal verification of authentication protocols may be done in two ways. One possibility is to use a modal logic of authentication. The other possibility is to use general purpose formal methods. This paper provides a survey through the world of modal logics used in AP and gives a comparison of different variants of modal logics and their target areas of application.

BibTex


@inproceedings{BUT22182,
  author="Pavel {Očenášek} and Roman {Trchalík}",
  title="Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison",
  annote="Weaknesses in authentication protocols (AP) are hard to identify, as they can be
the result of subtle design flaws. The formal verification of authentication
protocols may be done in two ways. One possibility is to use a modal logic of
authentication. The other possibility is to use general purpose formal methods.
This paper provides a survey through the world of modal logics used in AP and
gives a comparison of different variants of modal logics and their target areas
of application.",
  address="VŠB-Technical University of Ostrava",
  booktitle="Proceedings of the 7th International Carpathian Control Conference",
  chapter="22182",
  institution="VŠB-Technical University of Ostrava",
  year="2006",
  month="may",
  pages="401--404",
  publisher="VŠB-Technical University of Ostrava",
  type="conference paper"
}