Formal Modelling of PKI Based Authentication
Haidar, Ali Nasrat and Abdallah, Ali E. (2009) Formal Modelling of PKI Based Authentication. Electronic Notes in Theoretical Computer Science, 235. pp. 55-70. ISSN 15710661
Full text not available from this repository.Abstract
One of the main aims of certificate based Public Key Infrastructure (PKI) is to provide authentication in distributed systems. Through its functions, PKI authentication can be viewed as a re-usable component that can be integrated with other systems to offer strong authentication, scalability, and mobility, particularly for large organizations. PKI has been used to describe authentication in various types of applications ranging from e-commerce and web services applications to large scale systems such as Grid computing. This paper presents a formal approach for modeling certificate based PKI authentication. The approach makes use of two complementary models: one is state-based, described in Z, and the other is event-based, expressed in the Process Algebra of Hoare’s Communicating Sequential Processes (CSP). The former will be used to capture the state of PKI key components used in the authentication process, the relationships between them, and model “back-end” operations on these components. Whereas the latter, CSP, will be used to model behavior, and in particular, “front-end” interactions and communications. Only when this authentication mechanism is properly formulated, reasoning about its correctness, vulnerabilities and usability can be scrutinized and possibly aided by automation.
| Item Type: | Article | ||||
|---|---|---|---|---|---|
| Additional Information: | Submitted to REF 2014, UoA 11, Ali Abdallah | ||||
| Identification Number: | https://doi.org/10.1016/j.entcs.2009.03.005 | ||||
| Dates: |
|
||||
| Subjects: | CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - computer science CAH11 - computing > CAH11-01 - computing > CAH11-01-03 - information systems |
||||
| Divisions: | Faculty of Computing, Engineering and the Built Environment Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology |
||||
| Depositing User: | Users 18 not found. | ||||
| Date Deposited: | 06 Jun 2016 09:20 | ||||
| Last Modified: | 22 Mar 2023 12:02 | ||||
| URI: | https://www.open-access.bcu.ac.uk/id/eprint/237 |
Actions (login required)
 |
View Item |
Tools
Tools