| Author | Le Minh Trung |
| Call Number | AIT Thesis no.CS-05-25 |
| Subject(s) | Computer network protocols
|
| Note | A thesis submitted in partial fulfillment of the requirements for the
degree of Master of Science, School of Advanced Technologies |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. CS-05-25 |
| Abstract | Nowadays, group communication is becoming more important with many practical applications like teleconference, e learning, chatting ... The problem of group communication arises whenever a user leaves/joins the group. We must ensure the forward/backward confidentiality. In this thesis, we recommend a model to design and prove the correctness of group communication protocols. This is a high level model including abstract acts and types of act. We can design group protocols at the abstract level, which conforms to given standards. Because of the soundness of model and automatic interpreter, the protocol will run correctly when it is translated into lower layer messages exchanging. Our language is associated with a logic named Protolog. Protolog has many axioms, formulas and rules, which are used to express mental states of users and to reason the logic. To test the operational semantic of model, we use strand space. The theorem of soundness of model semantic states that if a formula holds in logic, it will hold in operational model |
| Year | 2005 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. CS-05-25 |
| 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) | Guha, Sumanta;Haddawy, Peter; |
| Scholarship Donor(s) | Ministry of Educational and Training, Vietnam; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 2005 |