A strand-based logic programming approach to analysis of authentication protocols | |
| Author | Nguyen Viet Anh |
| Call Number | AIT Thesis no.CS-02-15 |
| Subject(s) | Logic programming Computer networks protocols |
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Advanced Technologies |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. CS-02-15 |
| Abstract | Authentication protocols play an important role in any distributed system, especially in the Internet. However, it is surprisingly strange that most protocols do not achieve their goals despite the fact that they are carefully designed and examined. Hence, it is of great important to develop a formal method for checking the correctness of those protocols. So far, many such methods have been proposed. Of which, strand space model (SSM) is a simple and elegant way for reasoning about authentication protocols. The disadvantage of SSM is that the proofs are complex and in ad-hoc manner. In this thesis, we propose a strand based logic programming for automating the process of analyzing authentication protocols. The logic programs are executable via the general model generator smodels. |
| Year | 2002 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. CS-02-15 |
| Type | Thesis |
| School | School of Advanced Technologies (SAT) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung |
| Examination Committee(s) | Ho Dinh Duan ;Manukid Parnichkun |
| Scholarship Donor(s) | Vietnam Oil and Gas Corporation |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 2002 |