Result Details

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

OČENÁŠEK, P.; TRCHALÍK, R. Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison. Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006. p. 401-404. ISBN: 80-248-1066-2.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
Trchalík Roman, Mgr., Ph.D., DIFS (FIT)
Abstract

Weaknesses inauthentication protocols (AP) are hard to identify, as they can be the resultof subtle design flaws. The formal verification of authentication protocols maybe 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 providesa survey through the world of modal logics used in AP and gives a comparison ofdifferent variants of modal logics and their target areas of application.

Keywords

authentication protocol,modal logic, design, verification

URL
Published
2006
Pages
401–404
Proceedings
Proceedings of the 7th International Carpathian Control Conference
Conference
7th International Carpathian Control Conference: ICCC 2006
ISBN
80-248-1066-2
Publisher
VŠB-Technical University of Ostrava
Place
Ostrava
BibTeX 
@inproceedings{BUT22182,
  author="Pavel {Očenášek} and Roman {Trchalík}",
  title="Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison",
  booktitle="Proceedings of the 7th International Carpathian Control Conference",
  year="2006",
  pages="401--404",
  publisher="VŠB-Technical University of Ostrava",
  address="Ostrava",
  isbn="80-248-1066-2",
  url="http://www.icc-conf.cz/conference/iccc2006/RegForm/PaperFree.asp?Unit=3&IDPaper=1474"
}
Projects
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed
Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, start: 2005-01-01, end: 2007-12-31, completed
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top