You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Birmingham City University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Birmingham City University

Return to search Previous output Next output

Output 12 of 30 in the submission

Article title

Formal_Modelling of PKI based Authentication

Type

D - Journal article

DOI

10.1016/j.entcs.2009.03.005

Title of journal

Electronic Notes in Theoretical Computer Science

Article number

Volume number

235

Issue number

N/A

First page of article

ISSN of journal

1571-0661

Year of publication

2009

URL

http://www.sciencedirect.com/science/article/pii/S157106610900084X

Number of additional authors

Additional information

<10> This paper presents a formal state based model of PKI based authentication as a logical combination of several simpler components. It also systematically derives an equivalent event based interactive version of the model. This research contributed to the capture of formal specification and development of a critical software toolkit, Application Hosting Environment (AHE), that has been used by several international e-science groups to securely control computational applications on grid resources. Dr Haidar led the security architecture, design and implementation of usable “PKI certificate” based version of AHE.

Interdisciplinary

Cross-referral requested

Research group

1 - Cyber Security

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract