Shahabuddin Muhammad

Running critical applications, such as e-commerce, in a distributed environment requires assurance of the identities of the participants communicating with each other. Providing such assurance in a distributed environment is a di The Distributed Temporal Protocol Logic (DTPL) pr…